命题逻辑
更新时间:-- | 阅读量: 96

亦称命题演算。指处理复合命题及其逻辑关系,并将所有的重言式(其值党真的命题,如P∨&#8...与谓词逻辑不同，命题逻辑在研究和考查逻辑形式时，将一个命题只分析到其中所含的命题成分为止，而不再把一个简单命题进一步分析为非命题成分例如个体词、 ...

搜索到与“ 命题逻辑”相关的文献共 1条

二重命题逻辑系统■
本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界...

《逻辑研究专辑》 2001年00期关键词: "二重逻辑"," 公理系统"," 可能世界语义学"," 可靠性"," 完全性" 收藏