IL.H.11
دیسه‌ای
[(𝜙 → 𝜓) ∧ (𝜙 → ¬𝜓)] → ¬𝜙
[(𝜙 → 𝜓) ∧ (𝜙 → ¬𝜓)] → ¬𝜙


تاربرگ‌های پیموده‌شده در این نشست: IL.H.07 ⟩ Principle of Explosion