Axiom KP
دیسه‌ای
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)


تاربرگ‌های پیموده‌شده در این نشست: Aristotle’s Logic ⟩ Axiom of Empty set ⟩ antisymmetric ⟩ associativity ⟩ A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology ⟩ Axiom of Foundation