命题逻辑

1.命题符号化及联结词

　　简单命题，命题常项，命题变项，复合命题。

　　否定联结词，合取联结词，析取联结词，蕴涵联结词，等价联结词

2.命题公式及分类

　　命题公式，永真式，永假式，可满足式

3.等值演算

　　若等价式A<->B是重言式，则称A与B是等值的。

　　24个重要的等值式。