命题逻辑的一些推理规则

1、分离法则：

p->q

p

∴q

2、逆否命题法则：(~表示非)

p->q

∴~q->~p

3、拒取法则：

p->q

~q

∴~p

4、链规则（三段论法则）

p->q

q->r

∴p->r

5、析取推理法则

p∨q

~p

∴q

 

p∨q

~q

∴p

6、双重否定法则

~(~p)

∴p

7、德摩根法则

~(p∧q)

∴~p∨~q

 

~(p∨q)

∴~p∧~q

8、简化法则

p∧q

∴q

 

~(p∨q)

∴q

9、合取法则

p

q

∴p∧q

10、析取附加法则

p

∴p∨q

11、合取辩论法则

p

∴~q

 

q

∴~p