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