论文部分内容阅读
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析,认为:命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词,是与具体的命题逻辑形式系统联系在一起的;指出:公理数有限、有代入规则的命题逻辑公理系统具有语法完全性;证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性.