标签：析取 等价 简单 重要 公式 符号化 逻辑 复合 分类
1.命题符号化及联结词
简单命题，命题常项，命题变项，复合命题。
否定联结词，合取联结词，析取联结词，蕴涵联结词，等价联结词
2.命题公式及分类
命题公式，永真式，永假式，可满足式
3.等值演算
若等价式A<->B是重言式，则称A与B是等值的。
24个重要的等值式。
命题逻辑
原文地址：https://www.cnblogs.com/ciel12138/p/10702994.html
