1.命题符号化及联结词

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

SRE实战 互联网时代守护先锋，助力企业售后服务体系运筹帷幄！一键直达领取阿里云限量特价优惠。

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

2.命题公式及分类

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

3.等值演算

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

　　24个重要的等值式。

扫码关注我们
微信号：SRE实战
拒绝背锅 运筹帷幄