第三章简单命题(三段论)课题.pptVIP

二、关系推理 (一)定义:前提中至少有一个关系命题的推理。 (二)种类: 1．对称关系推理 根据对称关系的逻辑性质，由一个关系命题推出另一个关系命题的直接推理。 其逻辑形式： aRb→bRa [例] 某甲和某乙在同一个单位工作， 所以，某乙和某甲在同一个单位工作。 上例中，“同一个单位”关系为对称关系。 2．反对称关系推理 反对称关系推理是根据反对称关系的逻辑性质，由一个关系命题推出另一个关系命题的直接推理。 其逻辑形为：aRb →-(bRc) [例] 甲方案优于乙方案， 所以，乙方案不优于甲方案。 上例中“优于”关系为反对称关系。 3．传递关系推理 根据传递关系的逻辑性质，由两个关系命题推出另一个关系命题的间接关系推理。 其逻辑形式是： aRb bRc ∴aRc [例] 甲和乙的血型相同， 乙和丙的血型相同， 所以，甲和丙的血型相同。 上例中，“相同”关系为传递关系 4．反传递关系推理 反传递关系推理是根据反传递关系的逻辑性质，由两个关系命题推出另一个关系命题的间接关系推理。 其逻辑形式是： aRb bRc ∴ -(aRc) [例] 老张是大张的父亲， 大张是小张的父亲， 所以，老张不是小张的父亲。 注意 不要把非对称关系或非传递关系，作为推理的逻辑依据，因