IL.H.11

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


تاربرگ‌های پیموده‌شده در این نشست: درآمدی نو به گویایی سویی پنداره‌ی هستومندی اندرهازش ∨ IL.H.08 IL.H.09 Modal System S4