IL.K.02

برابر انگلیک (انگلیسی): IL.K.02 PL.FL.2
دیسه‌ای
(𝜙 → 𝜓) → ((𝜙 → (𝜓 → 𝜃)) → (𝜙 → 𝜃))
(𝜙 → 𝜓) → ((𝜙 → (𝜓 → 𝜃)) → (𝜙 → 𝜃))