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。