亚里士多德被称为逻辑之父,他的三段论是一种蕴涵式,即以大前提和小前提作为前件,以结论作为后件所构成的充分条件假言命题形式,如果只从命题推理的角度来分析,三段论的一般形式就是:
如果p并且q,那么r
三段论作为一种正确的推理形式,当前提都真时,结论不可能假,如果结论假则说明前提至少有一个是假的。这就是反三段论的基本思想。用公式来表示就是:
如果p并且q,那么r;
非r;
所以,并非(p并且q)。
所以,非p或者非q。
P;
所以,非q。
例如,如果甲和乙都是小偷,那么丙是小偷,现已查明丙不是小偷,所以,甲和乙中至少有一个不是小偷,即甲不是小偷或者乙不是小偷。如果又知道其中的甲是小偷的话,那么就可以进一步推出乙不是小偷了。
如果小张考试及格并且大田考试不及格,则小娜考试一定不及格。
如果以上命题是真的,那么再加上什么前提,可以得出结论:大田考试及格了。
A. 小张考试及格而大田考试不及格
B. 小张与小娜考试都不及格
C. 小张考试不及格而小娜考试及格
D. 小张与小娜考试都及格了
解析:正确选项是D. 题干整个来说是一个充分条件假言命题。 要否定前件,首先需要一个小前提“小娜考试及格”否定后件。再考虑前件是一个联言命题“并且”,要否定它,即它是假的,必须指出,“并且”的前边部分假或者后边部分为假。现在要推出的结论是“大田考试及格”,即“并且”的后边部分一定是假的,则必须在前边部分为真(小张考试及格了)的前提下才能推出。
5. 全异关系
全异关系是两个概念在外延上没有任何部分相重合的关系。
需要注意的是,全异关系中有两种特殊情况,即矛盾关系和反对关系。
概念间的矛盾关系是指两个具有全异关系的概念的外延和等于一个共同属概念的外延。
概念间的反对关系是指两个具有全异关系的概念的外延和小于一个共同属概念的外延。
例如,“学生”和“非学生”为矛盾关系,“学生”和“工人”为反对关系。
概念间的全异关系也叫不相容关系,概念间的同一关系,真包含关系,真包含于关系,交叉关系也成概念间的相容关系。
联系客服