آشنایی با Axiom KP چیست؟ آشنایی با اصل KP چیست؟ آشنایی با بنداشت KP چیست؟

بنداشت KP

همچنین شناخته شده با: اصل KP
برابر انگلیک (انگلیسی): Axiom KP
دیسه‌ای
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)