Deduction theorem
(1920)
دیسه‌ای
Γ, 𝜙 ⊦ 𝜓 ⇒ Γ ⊦ 𝜙⊃𝜓
Γ, 𝜙 ⊦ 𝜓 ⇒ Γ ⊦ 𝜙⊃𝜓


تاربرگ‌های پیموده‌شده در این نشست: Negative Free Logic ⟩ Peano arithmetics ⟩ Logic R ⟩ Contingentism ⟩ idempotency ⟩ Modal Axiom 5