真假推理矛盾关系和反对关系
真假推理矛盾关系和反对关系如下:
1、矛盾关系
在对当关系图中,矛盾关系有三组:某个是和某个不是、所有是和有的不是、有的是和所有不是,它们之间既不能同真,也不能同假,因而必有一真,必有一假。例如:“张三是男性”为真,“张三不是男性”为假。“有的天鹅不是白色的”为真,“所有天鹅都是白色”为假。
“有的哺乳动物是卵生的”为真,“所有哺乳动物都不是卵生的”为假;在一个直言命题的矛盾关系前加否定词“并非”,表达的逻辑内容与该直言命题一致,它们的真假性也是一致的。例如:“所有是”= 并非“有的不是”“所有不是”= 并非“有的是”。
2、上反对关系
指“所有是”和“所有不是”的关系,它们之间不能同真,至少一假,可以同假。因此,如果一个为真,则另一个一定为假;如果一个为假,则另一个真假不能确定。例如:“所有的学生都是男生”为真,“所有的学生都不是男生”为假。
3、下反对关系
指“有的是”和“有的不是”的关系,它们之间至少一真,可以同真,但不能同假。因此,如果一个为假,则另一个一定为真;如果一个为真,则另一个真假不能确定。例如:“有的考生是共产党员”为假,则“有的考生不是党员”为真。
“有的考生是共产党员”为真,则“有的考生不是党员”是真是假不能确定。要格外注意:在直言命题中的“有的”表示“至少有些,至多全部”,因而不像日常思维那样,“有些”仅仅表示“部分是”。