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