逻辑学选言判断及其推理..
2、逻辑特征 从真值表看相容选言判断的逻 辑特征。 p q 要么 p要么q T T F T F T F T T F F F
由此表可以看出,不相容选言判 断当其肢判断仅有一个真时为真, 其他情况下为假。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
(二)不相容选言判断推理(简称 不相容选言推理) 两种有效式: 1、否定肯定式: 要么P要么Q ┑P ∴Q 例如: 某住宅着火,要么是有人纵火,要 么是失火; 不是失火; 所以,某住宅着火是有人纵火。
选 言 推判 理断 及 其
其逻辑形式是:p或者q 也可表示为:p∨q,读作:p相 容析取q 在自然语言中,这种判断的联 结词,除了或者外,还可以用 “也许……也许”,“可 能……可能”等来表达。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
2、相容选言判断的逻辑特征 从真值表看相容选言判断的逻辑特 征。
(二)种类 选言判断断定若干事物情况中至少有一种存在, 这其中又有两种情形。其一,所断定的若干事 物情况中仅有一种情况存在;其二,若干事物 情况中有存在的,且若干事物情况可以同时存 在。据此,选言推理可以区分为两类:相容选 言推理、不相容选言推理。
选 言 推判 理断 及其推理 (一)相容选言判断 1、什么是相容选言判断 相容选言判断是断定若干事物情况中有 存在的,而且可以同时存在。如: (1)某案办错,或由于事实认定失实, 或者由于适用法律不当。 (2)这种服装销路不好,或因其价格太 高,或因其质地太次,或因其式样陈旧。
p T T F F
q T F T F
p∨q T T T F
由上可知,(1)相容选言判断,当且 仅当其肢判断都假时才假,其他情况下 都真。(2)当一个相容选言判断真时, 如果一个肢判断为假,那么剩下的一个 肢判断必真;如果一个为真,另一真假 不定。
选 言 推判 理断 及 其
选言判断与联言判断是不同的,但实际 中混淆这两类判断的现象很常见: (1)进出校门要出示学生证和工作证。 (2)凡出售的商品,必须在商品和包 装上标明企业名称或地址。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
选 言 推判 理断 及 其
选 言 推判 理断 及 其
(二)相容选言判断的推理 有效推理形式: P∨Q ┑P ∴Q 如:一个人学习成绩好,或由于其聪明, 或由于其刻苦;此人不聪明;所以,此 人一定刻苦。
选 言 推判 理断 及 其
如果大前提是三个选言肢,那么应是这 样: P∨Q∨r ┑P ┑Q ∴r 或者: P∨Q∨r ┑P ∴Q∨r 如:某种服装销路不好,或因其价格太 高,或因其质地太次,或因其款式陈旧; 不是价格太高;所以,或是质地太次, 或是款式陈旧。
选 言 推判 理断 及 其
相容选言推理的推理规则,这就是: 否定一部分选言肢就要肯定剩下的 (肯定的方式有两种);但肯定一 部分选言肢不能否定另一部分。
三、不相容选言判断及其推理
选 言 推判 理断 及 其
(一)不相容选言判断 1、定义 所谓不相容选言判断就是断定若干 事物情况中有真的,且仅有一真。 如:医院里降生一个婴儿,要么是 男的,要么是女的。
选 言 推判 理断 及 其
当大前提是三个以上肢判断时,推理形 式是: 要么P要么Q要么R ┑P ┑Q ∴R 或: P∨Q∨R ┑P ∴Q∨R 如:犯罪现场遗留的头发,要么是拔下 的,要么是割下的,要么是脱落的;不 是拔下的;所以,要么是割下的,要么 是脱落的。
欢迎进入逻辑之门
选 言 判 断 及 其 推 理
第三节 选言判断及其推理
一、选言判断 (一)定义 选言判断是断定若干事物情况中,至少有一种 存在的判断。如: (1)在前进的道路上,要么迎着困难上,要 么畏惧退缩。 (2)他学习成绩好,或者由于其聪明或者由 于其刻苦。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
不相容选言判断的逻辑形式是: 要么p要么q 或者: p∨q 读作:p不相容析取q。 在自然语言中,也可以以下列 词语做不相容选言判断的逻辑联结 词,如,“不是……就是”,“或 者……或者……二者不可兼得”, “或……或……二者必居其一”。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
实际中,如何进行选言推理? (1)选言推理的大前提从哪里来: 把握所研究现象总体有几种可能情 况;成就一种现象的若干要件…… (2)选言大前提要真,——防止 先入为主,遗漏选言肢。
选 言 推判 理断 及 其
选 言 推判 理断 及 其
选 言 推判 理断 及 其
选 言 推判 理断 及 其
2、肯定否定式: P∨Q P ∴┑Q 如: 医院里降生一个婴儿,要么是男的,要 么是女的;该婴儿是男的;所以,该婴 儿肯定不是女的。 当大前提是三个以上肢判断时,同此。
选 言 推判 理断 及 其
不相容选言推理的推理规则: 第一,肯定一个选言肢,就可 否定其他的任何一个选言肢。 第二,否定一部分选言肢就可 肯定剩下的,但肯定的方式有 两种。