离散数学--命题逻辑

 1.命题

 例子

 2.命题联结词

①否定

 ②合取

 ③析取

 ④蕴涵

 ⑤等价

 优先顺序

 例子

 

 3.命题公式及其赋值

 例子

 1）重言式或永真式

2）矛盾式或永假式

3）可满足式

4.等值式

常见等值式

 

 例子

 例子2

5.析取范式与合取范式

 例子

 

6.主析取范式与主合取范式

极小项与极大项

 

 

  主析取范式与主合取范式

 例子

？？？

例子

 例子

7.联结词的完备集

 

 

8.推理的相关公式

 

 

  例子

 

9.自然推理系统p