IL.K.01 همچنین شناخته شده با: اندرهازش یک انگاشته معرفی یک فرض برابر انگلیک (انگلیسی): IL.K.01 Introduction of an assumption دیسهای 𝜙 → (𝜓 → 𝜙)𝜙 → (𝜓 → 𝜙)