2015年GCT逻辑辅导第五六章:关系/模态命题及其推
第五章关系命题及其推理所谓关系命题是断定事物与事物之间关系的命题。
1.对称性关系
对称性关系包括三种：对称关系、非对称关系和反对称关系。
2.传递性关系
传递性关系包括三种：传递关系，非传递关系和反传递关系。
第六章 模态命题及其推理
“必然p”、“不可能p”(必然非p)、“可能p”和“可能非p”之间的真假关系，类似于直言命题A、E、I、O之间的真假关系，也可用一个对当逻辑方阵来表示：
“◇P” “□p”((我们用“◇ ”表示“可能”模态词，“□”表示“必然”模态词，下同)。
Ⅰ、根据模态命题矛盾关系的直接推理
1.必然p,推出并非可能非p;
2.并非必然p，推出可能非p;
3.可能非p，推出并非必然p;
4.并非可能非p，推出必然p;
5.必然非p，推出并非可能p;
6.并非必然非p，推出可能p;
7.可能p，推出并非必然非p;
8.并非可能p，推出必然非p;
Ⅱ、根据模态命题反对关系的直接推理
1.必然p，推出并非必然非p。
2.必然非p，推出并非必然p。
Ⅲ、根据模态命题下反对关系的直接推理
1.并非可能p，推出可能非p。
2.并非可能非p，推出可能p。
Ⅳ、根据模态命题差等关系的直接推理
1.必然p，推出可能p;
2.并非可能p，推出并非必然p;
3.必然非p，推出可能非p;
4.并非可能非p，推出并非必然非p。
页:
[1]