1.命题符号化及联结词
简单命题，命题常项，命题变项，复合命题。
否定联结词，合取联结词，析取联结词，蕴涵联结词，等价联结词
2.命题公式及分类
命题公式，永真式，永假式，可满足式
3.等值演算
若等价式A<->B是重言式，则称A与B是等值的。
24个重要的等值式。
转载于:https://www.cnblogs.com/ciel12138/p/10702994.html
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！
