本章知识总结

本章知识总结

1.复合判断推理

(1)逆否命题

(A→B)＝(┐B→┐A)。

(2)德摩根定律

①┐(A∧B)＝(┐A∨┐B)。

②┐(A∨B)＝(┐A∧┐B)。

③┐(A∀B)＝(┐A∧┐B)∀(A∧B)。【此处也可以写为:┐(A∀B)＝(┐A∧┐B)∨(A∧B)】

(3)箭头与或者的互换公式

①箭头变或者:(A→B)＝(┐A∨B)。

②或者变箭头:(A∨B)＝(┐A→B)＝(┐B→A)。

(4)箭头+德摩根定律

A∧B→C,等价于:┐C→┐(A∧B),等价于:┐C→┐A∨┐B。

A∨B→C,等价于:┐C→┐(A∨B),等价于:┐C→┐A∧┐B。

A→B∧C,等价于:┐(B∧C)→┐A,等价于:┐B∨┐C→┐A。

A→B∨C,等价于:┐(B∨C)→┐A,等价于:┐B∧┐C→┐A。

2.串联推理

(1)箭头使用的6大原则总结

(2)串联推理的解题步骤

(3)“有的A是B”的5个易错点

3.二难推理

4.真假话推理

5.关系推理(综合推理)

续表

【注释】

[1]华东师范大学哲学系逻辑学教研室.形式逻辑[M].第五版.上海:华东师范大学出版社,2016:4.