語義完全性

經典命題演算的語義完全性是指，一切重言式皆是命題演算中的定理；經典謂詞演算的語義完全性是指，一切普遍有效公式皆是謂詞演算中的定理。經典命題演算和經典謂詞演算都具有語義完全性。