IL.H.11

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