FARZANEGI
درونشد
هموندی
Encyclopedia
Philosophy
Logic
Mathematics
Computing
Ontology
Persian Translator
Logic Lab
Hall of Fame
Library
Dictionary
About
ردهها
completeness
Syntactical completeness
دیسهای
∀𝜙 ∈ ℒ
𝒮
⇒ ⊢
𝒮
𝜙 𝑜𝑟 ⊢
𝒮
~𝜙
∀𝜙 ∈ ℒ
𝒮
⇒ ⊢
𝒮
𝜙 or ⊢
𝒮
~𝜙