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


تاربرگ‌های پیموده‌شده در این نشست: Jakarta ⟩ Non-monotonic logic ⟩ Unix ⟩ Theory of Computation ⟩ Reflexivity ⟩ provability