IL.H.06

برابر انگلیک (انگلیسی): IL.H.06
دیسه‌ای
[𝜙 ∧ (𝜙 → 𝜓)] → 𝜓
[𝜙 ∧ (𝜙 → 𝜓)] → 𝜓