رده‌ها completeness

Syntactical completeness
دیسه‌ای
∀𝜙 ∈ ℒ𝒮 ⇒ ⊢𝒮 𝜙 𝑜𝑟 ⊢𝒮 ~𝜙
∀𝜙 ∈ ℒ𝒮 ⇒ ⊢𝒮 𝜙 or ⊢𝒮 ~𝜙


تاربرگ‌های پیموده‌شده در این نشست: Finite model property ⟩ George Boole ⟩ Avicenna ⟩ invertibility ⟩ Zur Logik der Modalitäten ⟩ Axiom of Replacement