摘要：1.命题符号化及联结词 简单命题，命题常项，命题变项，复合命题。 否定联结词，合取联结词，析取联结词，蕴涵联结词，等价联结词 2.命题公式及分类 命题公式，永真式，永假式，可满足式 3.等值演算 若等价式A<->B是重言式，则称A与B是等值的。 24个重要的等值式。 阅读全文