本章知识总结

本章知识总结

1.三种条件关系

续表

2.箭头的使用原则

3.三类特殊句式

4.并且、或者、要么的含义

5.并且、或者、要么的真值表

6.或者、要么与箭头的关系

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

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

③要么推箭头:

A∀B可推出:

A→┐B;

B→┐A;

┐A→B;

┐B→A。

7.假言判断的真值表

8.性质判断的四种对当关系

9.模态判断的四种对当关系

10.负判断

续表

11.关系的对称性

12.关系的传递性