5形式逻辑-第五章 复合命题及其推理(上)
形式逻辑学 第四版(华东师大版)课后习题参考答案

练习答案第一章形式逻辑的对象和意义(P13-14)一、1、逻辑学;客观规律。
2、思维规律。
3、客观规律。
4、某种理论、观点、看法。
二、1、(b)。
2、(b)第二章概念(P43-49)二.(1)单独、集合;(2)普遍、非集合;(3)普遍、集合;(4)普遍、非集合;(5)普遍、非集合;(6)普遍、集合。
三.字母ABCD分别表示先后出现的概念(见下页)六.全部错误。
理由:1、使用了否定;2、循环定义;3、定义过窄;4、循环定义;5、隐喻;6、定义过宽;7、定义过窄;8、定义过宽。
1、2、3、4、5、6、7、8、orA BBDDCABCDAABCCABBCDACBAB CAA BC七、全部错误。
理由:1、是分解;2、混淆根据、子项相容;3、不是划分;4、子项相容、划分不全、混淆根据;5、混淆根据、子项相容;6、是分解;7、多出子项;8、划分不全。
九、1、内涵、外延。
2、交叉、反对。
3、不相容(全异)、同一。
4、(略)。
5、定义过窄。
6、真包含(同一)、不相容(全异)。
7、限制、概括。
8、多出子项、划分不全。
十、a c d d(c) c d a c第三章简单命题及其推理(上)(P77-81)一、(3)、(5)直接表达判断。
二、A A A E O I A(a) E三、1、不能,能。
2、能,能。
3、(略)六、(3)正确。
七、1、SOP。
2、真包含于。
3、全同、真包含于。
4、真假不定。
5、特称、肯定。
6、SI P 真。
八、c d d d c d九、de de bc bc十、SIP、SOP取值为真,SIP可换位:SIP PIS。
十一、推导一:ABC三句话分别是性质命题SAP、SaP、SEP,a与E是反对关系,必有一假,所以根据题意SAP必真,所有学生懂计算机,班长必然懂计算机。
推导二:A句与C句是反对关系,不可同真,必有一假,所以B句真,B句真则C句假,所以A句亦真,所有学生懂计算机,班长必然懂计算机。
十二、推导:SIP与SOP是下反对关系,不能同假,必有一真,所以POS必假,P真包含于S或与S全同,即S真包含P或与P全同,而前者使AB两句话均真,不合题意,所以S 与P全同。
形式逻辑 5复合命题及其推理

二、联言命题及其推理
(一) 联言命题(合取命题)
联言命题就是同时反映多种事物情况的
复合命题。 例如,
6
1.
胡适是新文化运动的主将,并且曾是 北京大学校长。 公民的职责是批评和监督政府,不 是拍马屁和唱赞歌。 不求与人相比,但求超越自己。
威武不能屈,富贵不能淫,贫贱不能 移。
7
2.
p, q├ p∧q
17
2. 分解式 联言推理分解式就是指,前提为联言 命题,结论为它的部分联言支的联言
推理。
例如,由“业精于勤,而荒于嬉”,
可以推出“业精于勤”。
18
包含两个联言支的联言推理分解式,其
推理形式如下: p并且q 或者 p并且q 所以,q
所以,p
其符号化公式是:
p∧q├ p
说(science fiction)《我,机器人》(I,
Robert) 中,他提出著名的“机器人三大
定律”。
3
定律Ⅰ:机器人不能伤害人类,或者不能
袖手旁观而使人类受到伤害。
定律Ⅱ:机器人必须服从人类的命令,
除非该命令与定律Ⅰ相冲突。
定律Ⅲ:机器人必须保护自己的存在,只
要不与定律Ⅰ或定律Ⅱ相冲突。
• 乙想,甲不可能两只眼睛都是假的,否
则他就是瞎子!而他显然不是瞎子。于 是,乙又赌上100元。甲取下假牙咬了 咬自己的右眼。乙又输了。
38
(二) 选言推理
选言推理就是根据选言命题的特征而进 行了复合命题推理。
选言推理包括相容选言推理和不相容选
言推理。
39
1. 相容选言推理
相容选言推理,就是根据相容选言命题 的特征而进行的选言命题推理。 相容选言推理有两种有效式:否定肯定 式和附加式。
第五章 复合命题及其推理

“只有努力学习,才能取得好成绩。”可转换为 “只有没有取得好成绩,才没有努力学习。”
要领 否定式:调换否定前后件,不换联结词。
四、充分条件、必要条件假言命题和选言命题 间的转换
联言命题一般用并列、递进、转折、顺承 关系的复句表达,有时也用单句。 郭沫若是历史学家和文学家。 苏步青和华罗庚都是数学家。 和平和发展是中印两国人民的共同愿望。
2、构成
①联言支:即构成联言命题的支命题。 ②联言联项:即联结联言肢的联结词 二肢联言命题的逻辑形式:p并且q或 p∧q 联项有时可以省略
2、构成 ①选言支:即构成选言命题的支命题。 ②选言联项:即联结选言支并确定选言支之 间关系的联结词。 一个人的死,或重于泰山,或轻于鸿毛。 不是鱼死,就是网破。 他也许是数学家,也许是哲学家。
(二)选言命题的种类
1、相容选言命题 ①什么是相容选言命题 是反映若干可能的对象情况中至少有一种 存在的复合命题。 这场球赛失败的原因或者是队员技术水 平不高,或者是队员之间配合不好。 这场战争的失败或因兵力弱,或因指挥 失误。
二、假言命题的种类
(一)充分条件假言命题 1、什么是充分条件和充分条件假言命题 ①什么是充分条件 在情况p和q之间,有p必有q;无p未 必无q,这时p是q的充分条件。 A、p:摩擦 q:生热 B、p:x等于2 q:x的平方等于4 ◆“有之必然,无之未必不然”的条 件。
②什么是充分条件假言命题
就是反映一事物情况存在是另一事物 情况存在的充分条件的假言命题。
(二)复合命题推理的种类 联言推理、选言推理、假言推理和负 命题等值关系推理四种基本类型。
第二节
联言命题和选言命题
一、联言命题 (一)联言命题及其构成 1、什么是联言命题 是反映若干事物情况同时存在的复合 命题。
逻辑学第五章 复合命题及其推理(上) 第四节

经典故事2: 经典故事 :铁齿铜牙纪晓岚 人物: 人物:纪晓岚 乾隆皇帝 只有皇上是昏君,我才跳河去死, 只有皇上是昏君,我才跳河去死, 现在皇上圣明(不是昏君), 现在皇上圣明(不是昏君), 所以,我不能跳河去死. 所以,我不能跳河去死.
(2)肯定后件式 ) 可由肯定后件得出肯定前件. 可由肯定后件得出肯定前件. 只有深山解冻,野兔才会在村庄出没; (C)只有深山解冻,野兔才会在村庄出没; 野兔在村庄出没了; 野兔在村庄出没了; 所以深山解冻了. 所以深山解冻了. p←q q ∴p [或(p←q)∧q →p] ) ]
三,必要条件假言命题及其推理
(一)什么是必要条件假言命题 1.含义 . 必要条件假言命题, 必要条件假言命题,是断定前件是后件的必要条 件的复合命题. 件的复合命题. ①只有了解学生,才能教育学生. ②只有控制人口增长,才能解决资源短缺问题. ③退一步才能进两步.
2 联结词 主要有"只有……才……","必须 主要有"只有 才 , 必须…… 就不……"等. 才……" ,"不……就不 就不 等 不刻苦学习,就不能取得好成绩. 不刻苦学习,就不能取得好成绩. 只有刻苦学习,才能取得好成绩. 只有刻苦学习,才能取得好成绩. 诸葛亮:非淡泊无以明志,非宁静无以致远. 诸葛亮:非淡泊无以明志,非宁静无以致远.
(2)否定后件式 ) 春天一到,桃花就会开放; 春天一到,桃花就会开放; 桃花未开放; 桃花未开放; 所以春天未到. 所以春天未到. p→q q ∴p [或(p→q)∧q → p] ) ]
典故: 典故: 王戎七岁,尝与诸小儿游, "王戎七岁,尝与诸小儿游,道边李树多 子折枝,诸儿竟走取之.唯戎不动.人问之, 子折枝,诸儿竟走取之.唯戎不动.人问之, 答曰: 树在道边而多子,此必苦李. 答曰:'树在道边而多子,此必苦李.'取之 信然. 王戎有一个假言推理, 信然."——王戎有一个假言推理,可整理为: 王戎有一个假言推理 可整理为: 如为甜李,则它不会长在道边而且多子, 如为甜李,则它不会长在道边而且多子, 此树长在道边而多子; 此树长在道边而多子; 故此树必为苦李. 故此树必为苦李.
第五章 复合判断及其演绎推理(一)

(一)充分条件假言判断及其真值 1、定义:是断定某一思维对象情况是另一思维对象情况的充分 条件的假言判断。 如果有思维对象情况p,就必然有思维对象情况q,而没有思 维对象情况p,则是否有思维对象情况q并不确定,这样p就是q的 充分条件。
2、逻辑形式:如果p,那么q。p→q。 例: 如果你不努力学习,你就不会取得好成绩。 如果张三贪污,那么他就犯了法。 如果得了肺炎,你就要发烧。 如果植物缺乏水分,那么它就会死亡。 3、真值情况: 充分条件假言判断的真假,当且仅当其前件真而后件假时,则 这个充分条件假言判断是假的。
例:
1、当且仅当一个三角形是等边的,则它是等角的。 2、当且仅当一个人触犯法律,他才应受到法律处罚。
2、逻辑形式:当且仅当p,则q。 p q。 ( p→q )∧( p←q )。 3、真值情况: 充分必要条件假言判断的真假,当且仅当前件真而后件假、或 者前件假而后件真,则该充分必要条件假言判断就是假的。
例:
胡鞍钢和孙冶芳都是经济学家
所以,胡鞍钢是经济学家
(二)联言推理的合成式 (p,q)→(p ∧ q)。 如: 周强是127031班学生 徐翔是127031班学生
所以,周强、徐翔是127031班学生 中国共产党是伟大的党 中国共产党是光荣的党 中国共产党是正确的党 所以,中国共产党是伟大、光荣、正确的党
这些句子虽然表达的语法结构不同,有些表达方式在 语气方面存在着明显的差异,表现了说话者的某些倾向和 情感因素等等.但它们的逻辑结构却是一样的,即都具有 p∧q的形式。因为逻辑研究只是对语言材料一种形式的 抽象,它关注的是断定的意义而不是语句在其他表达上的 意义。以上这些语句有一个共同点,都是同时断定几个情 况成立,因而都表达联言判断。
《黄河》的导演要么姓白,要么姓孙。 不姓孙。 所以,姓白。(否定肯定式)
逻辑学第五章 复合命题及其推理(上 )第五节 负命题

(二)构成 负命题由否定联结词和一个支命题组成. 负命题由否定联结词和一个支命题组成. 负命题的支命题称为否定支, 负命题的支命题称为否定支,否定支可以是简单命 也可以是复合命题. 题,也可以是复合命题.
①并非所有的外商都是怀有诚意的. 并非所有的外商都是怀有诚意的. 并非语言或是上层建筑,或是经济基础. ②并非语言或是上层建筑,或是经济基础.
类似地,
¬SEP←→SIP ¬SIP←→SEP ¬SOP←→SAP 例1:"并非所有作品都不是杰作" : 并非所有作品都不是杰作" ←→"有的作品是杰作". "有的作品是杰作" 例2:"并非有的人是长生不老的" : 并非有的人是长生不老的" ←→"所有的人都不是长生不老的". "所有的人都不是长生不老的" 例3:"并非有的结果不是有原因的" : 并非有的结果不是有原因的" ←→"所有的结果都是有原因的". "所有的结果都是有原因的"
课堂练习
某案的两名凶手在A, , , , 五 某案的两名凶手在 ,B,C,D,E五 人之中,在下列条件下凶手是谁? 人之中,在下列条件下凶手是谁? (1)只有A是凶手,B才是凶手. )只有 是凶手, 才是凶手. 是凶手 才是凶手 不是凶手, 就不是凶手 就不是凶手. (2)只要 不是凶手,C就不是凶手. )只要D不是凶手 是凶手, 是凶手. (3)或B是凶手,或C是凶手. ) 是凶手 是凶手 没有E为帮凶 (4)D没有 为帮凶,就不会作案. ) 没有 为帮凶,就不会作案. 没有作案时间. (5)E没有作案时间. ) 没有作案时间
�
第五节 负命题及其推理
华东师范大学版形式逻辑课后题答案

形式逻辑答案第一章形式逻辑的对象和意义(P13-14)一、1、逻辑学;客观规律。
2、思维规律。
3、客观规律。
4、某种理论、观点、看法。
二、1、(b)。
2、(b)第二章概念(P43-49)二.(1)单独、集合;(2)普遍、非集合;(3)普遍、集合;(4)普遍、非集合;(5)普遍、非集合;(6)普遍、集合。
三.字母ABCD分别表示先后出现的概念六.全部错误。
理由:1、使用了否定;2、循环定义;3、定义过窄;4、循环定义;5、隐喻;6、定义过宽;7、定义过窄;8、定义过宽。
七、全部错误。
理由:1、是分解;2、混淆根据、子项相容;3、不是划分;4、子项相容、划分不全、混淆根据;5、混淆根据、子项相容;6、是分解;7、多出子项;8、划分不全。
九、1、内涵、外延。
2、交叉、反对。
3、不相容(全异)、同一。
4、(略)。
5、定义过窄。
6、真包含(同一)、不相容(全异)。
7、限制、概括。
8、多出子项、划分不全。
十、a c d d(c) c d a c第三章简单命题及其推理(上)(P77-81)一、(3)、(5)直接表达判断。
二、A A A E O I A(a) E三、1、不能,能。
2、能,能。
3、(略)六、(3)正确。
七、1、SOP。
2、真包含于。
3、全同、真包含于。
4、真假不定。
5、特称、肯定。
6、SI P 真。
八、c d d d c d九、de de bc bc十、SIP、SOP取值为真,SIP可换位:sip pis 。
十一、推导一:ABC三句话分别是性质命题SAP、SaP、SEP,a与E是反对关系,必有一假,所以根据题意SAP必真,所有学生懂计算机,班长必然懂计算机。
推导二:A句与C句是反对关系,不可同真,必有一假,所以B句真,B句真则C句假,所以A句亦真,所有学生懂计算机,班长必然懂计算机。
十二、推导:SIP与SOP是下反对关系,不能同假,必有一真,所以POS必假,P真包含于S或与S全同,即S真包含P或与P全同,而前者使AB两句话均真,不合题意,所以S 与P全同。
逻辑学·第5章 复合命题及其推理

在日常语言中,表达联言判断的语句也常采用
合并或省略形式。
例如:“你我都是可怜人。” “他分不清是非。” “我起了床,叠了被。”
三、联言命题的逻辑值
1、联言命题的逻辑性质(共存性)
一个联言命题真,当且仅当其联言支都真;
如果联言支有假,则联言命题为假。
例如:“矛盾既有同一性,又有斗争性”
如果并且只有“同一性”和“斗争性”都存 在着,这一判断才是真的。
定义:充分条件假言命题是断定一事物情况存在,
另一事物情况就存在的假言判断。 (前件是后件的充分条件)
例如:“如果发生摩擦,物体就会生热”
“如果天下雨,那么路面湿”
联结词的语言表达: 在日常语言中,应当化归为“如果…那么…” 的语言形式有: “假使…就…” “倘若…则…” “只要…就…” “要是…就…” “当…便…” 等
例如:“他又肥胖又消瘦” “他的作品既是长篇小说又是短篇小说”
第三节 选言命题及其推理
一、选言命题概述
1、选言命题的定义
选言命题是反映若干对象情况至少有一种情况 存在或只能有一个情况存在的命题。 “析取关系”
例如:“小张学习成绩差或者因为不够努力或者因 为方法不对。”
选言命题的构成:
支命题 联结词
第二节 联言命题及其推理
一、联言命题的定义 联言命题是反映若干对象情况共同存在命题。
联言命题的基本特性在于对象情况的共存性。
例如:“矛盾既有同一性,又有斗争性”
联言命题的结构: 联言支、联结项 联言支可以是两个或两个以上, 联结项一般应化归为“并且”
例如:“矛盾既有同一性,又有斗争性”化归后为 联结项 “矛盾有同一性并且矛盾有斗争性” 联言支
联言命题的公式: p并且q 或 p∧q
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
必要条件假言命题前后件之间逻辑关 系的特点是:
“ 无之必不然,有之未必然。”
“ 无p必无q,有p未必有q。” 例如:一个人只有年满18岁,他才
有选举权。
必要条件反映的是某一种情况的存在对 另一种情况的存在或出现所具有的必不 可少的作用。即如果没有前件,就必定 没有后件。但前件只是后件的不可缺少 的条件之一,还须由其他条件的配合才 能共同导致后件的情况存在或出现。
常见联言命题连接词:……而且 (并且)……;不但……而 且…… ;……也……;又…… 又…… ;既……又…… ;虽 然……但是……;
注意:日常语言中的“不但┅而且 ┅”和“虽然┅但是┅”在形式逻 辑中只表达“并且”的涵义。
可用如下公式表示联言命题的结构:
p并且q; p∧q。
联言命题的真假取决于其联言肢的 真假。
第五章 复合命题及其推理(上)
复合命题即包含其他命题的命题。构成复合命题的 命题称为肢命题。将肢命题联接为复合命题的词 项称为命题联结词( ﹁ , ∧,∨,→, )。
命题联结词是区别各种类型复合命题的唯一根据。 复合命题的真假取决于其肢命题的真假或条件关系,
即命题联结词的逻辑涵义。 以复合命题为前提或结论的推理称为复合命题推理,
相容选言命题常用的连接词:或 者……或者……;也许……也许……; 或许……或许……;可能……可能……。
p
q
p∨q
T
T
T
T
F
T
F
T
T
F
F
F
当且仅当p与q同假,p ∨q才假。
⑵不相容的选言命题,即断定思维对象 的几种可能情况中至少有一种并且只有 一种情况是存在的命题。不相容选言命 题由选言肢和联结项两部分所组成。它 的联结项“要么…要么…” (符号 ∨·,读作“强析取”)。结构公式: 要么p,要么q; p ∨· q
p→q, p; ∴q。
p→q, 式”和“肯定后件式”。
公式:
p←q,
p←q,
非p;
q;
∴非q。
∴p。
⑶充要条件假言推理。
“肯定前件式”、“否定前件式”、 “肯定后件式”和“否定后件式”。
充要条件假言命题常用连接词:“只要而且只有……,
才……;若……必……;若不……则不……;当且仅当……,
则……. ”等等。用符号“”(读作“等值”)来表示, 充分必要假言命题的结构可表示为如下公式:
当且仅当p,才q; pq (等值式)
充要条件假言命题的逻辑含义是:有p就一定有q,没 有p 就一定没有q。即前件的存在是后件存在或出现的 唯一条件。
充分条件假言命题的常用的联结词有:
“如果…那么… ;只要…就… ;假 使…那末… ;倘若…则… ;若…必…;” 等等。
用符号“→”(读作“蕴涵”)表 示,其命题结构为如下公式:如果p, 那么q; p→q(称为“蕴涵式”)
充分条件假言命题的逻辑含义是:当 前件p所断定的情况成立,那么后件q 所断定的情况就一定成立。但是,当 前件p所断定的情况不成立,后件q所 断定情况是否成立,充分条件假言命 题未作出任何断言。
⑴分解式,公式为: p∧q, ∴p(或者q)。
⑵组合式,其公式为: p, q,
∴p∧q。
(3)否定式,公式为: 非p, ∴并非(p∧q)
联言推理在人们思维过程中发挥 着重要作用。
二、选言命题及其推理
1.选言命题
选言命题即断定思维对象若干种可能情 况的命题。
例如:这批商品滞销或者由于质量低劣, 或者由于价格太高,或者由于营销策略有 问题。
④纯假言推理(假言连锁推理):
p→q 如果没有雄厚的经济实力,就没有 强大的国防力量;
q→r 如果没有强大的国防力量,国家的安 全就没有保障;
r→s 如果国家的安全就没有保障,我国 现代化的宏伟目标就不能实现;
p→s 如果没有雄厚的经济实力,我国 现代化的宏伟目标就不能实现。
p←q 只有刻苦学习,才能掌握现 代科学技术;
选言命题的肢命题称为选言肢,至少有 两个,至多不限。选言肢要尽量穷尽所有 可能的情况。
选言命题的基本逻辑特征:在若 干种可能情况中至少有一种情况是 存在的。选言命题的真假取决于其 选言肢的真假。
根据选言命题所断定的若干种可 能情况是否能够同时并存,选言命 题可分为相容和不相容的两种。
⑴ 相容的选言命题,即断定思维对象的 几种可能情况中至少有一种存在也可能 同时并存的命题。相容选言命题由选言 肢和联结项两部分组成。其联结项“或 者…或者…” (符号∨,读作“析取”)。 结构公式:p或者q; p∨q
必要条件假言命题的常用联结词有“只 有…才…;不…不…;没有…没有… ; 除非…否则不…”等等。用符号“←” (读作“逆蕴涵”)表示,其命题结构 可表示为如下公式:
只有p,才q; p←q (称作“反蕴涵 式”)
必要条件假言命题的逻辑含义是:当前 件p所断定的情况不出现,那么后件q所 断定的情况就一定不存在。但是,当前 件p所断定的情况出现,后件q所断定情 况是否存在,对此,必要条件假言命题 未作出任何断言。
假言命题的真假取决于它的前 后件之间是否确实存在某种条件 关系
(1)如果他一定有作案时间, 那么他是作案人。
(2)只有产品能适销对路, 才能断定他掌握了市场信息。
这些假言命题就是假命 题。
⑴充分条件假言命题
如果有两个思维对象A和B, 每当A出现 的时候,B就一定会存在或随之出现,那 么A和B之间就存在着充分条件关系。反映 思维对象之间这种条件关系的命题就是充 分条件假言命题。
充分条件假言命题前后件之间逻辑 关系的特点是:
“ 有之必然,无之未必不然。”
“ 有p必有q,无p未必无q。”
例如:如果天下雨,那么地就会 湿。
充分条件反映是事物之间的多条件联系, 即事物存在的众多条件中任何一个都分别 可单独导致某一相同后果的条件联系。
p
rq
s
充分条件指事物存在的众多条件中是可 以缺少的条件,即没有这个条件,这一事 物情况也会发生。
一个联言命题只有在它的所有联言 肢都是真的时候,它才是真的;只要 其中一个肢命题是假的,整个命题便 是假的。联言命题的“真值表”如 下∶
p
q
p ∧q
T
T
T
T
F
F
F
T
F
F
F
F
当且仅当p与q同真, p∧q才为真。
2.联言推理
联言推理即前提或结论中包含联 言命题、并且根据联言命题的逻辑特 性进行的推理。有三种形式:
★必要条件和充分条件假言命题具 有密切的内在联系:
如果前件是后件的充分条件,那么 后件就构成前件的必要条件;
如果前件是后件的必要条件,那么 后件就构成前件的充分条件。
等值转换关系式:
①充分与必要条件等值转 换∶(p→q)(q←p)
例:“如天下雨,则地湿” 等于“只有地湿,才天下雨”
②假言易位: (p→q)(┐q→┐p)
⑵ 不相容选言推理有两种有效式: A.否定肯定式:
要么p要么q 非p(非q)
q(p) 亦可横写为: (p∨·q)∧﹁p→q 或(p∨·q)﹁q→p
B.肯定否定式∶ 要么p要么q
p(q ) 非q(非p)
亦可横写为: (p∨·q)∧p→﹁q 或(p∨·q)∧q→﹁p
由此得到不相容选言推理的两条规则:
p
q
pq
T
T
T
T
F
F
F
T
F
F
F
T
当且仅当p与q等值,p q真
2.假言推理
假言推理就是以假言命题为前提、 并且根据假言命题的逻辑特性进行 的推理。与假言命题有三种形式一 样,假言推理也有三种不同的形式。
⑴充分条件假言推理,就是以充分条 件假言命题为前提进的推理。
“肯定前件式”和“否定后件式”。
q←r 只有掌握现代科学技术,才 能有所发明创造;
┐p→┐r 所以,不刻苦学习,就 不能有所发明创造。
⑶充要条件假言命题
如果有两个思维对象A和B,每当A出现,B就随之出 现,每当A不出现,B也就不出现,那么A就构成B的充 要条件。即前件是既后件充分又必要的条件。反映思维 对象之间这种条件关系的命题就是充要条件假言命题。
不相容选言命题常用的连接词: 要么……要么;不是……就是……;或 者……或者……不可兼而有之。
p
q
p ∨· q
T
T
F
T
F
T
F
T
T
F
F
F
当且仅当p与q同值,p ∨· q才假。
2.选言推理 选言推理即以选言命题为前提、并且根
据选言命题的逻辑特性进行的推理。选言 推理也有两种形式。
⑴ 相容选言推理的有效式为“否定肯定 式”:
(1)肯定一个选言肢,就要否定其余 的选言肢;
(2)否定一个选言肢以外的选言肢, 就要肯定未被否定的那个选言肢。
应用“否定肯定式” (不论相容, 还是不相容)进行推理应注意选言肢穷 尽的问题。
三、假言命题及其推理
1.假言命题
假言命题是断定思维对象 情况之间存在条件关系的命题, 即断定某种情况存在或不存在是 另一种情况存在或不存在的条件 的复合判断。又称“条件命题”。
充要条件假言命题的前后件逻辑关系的特点是:
“ 有之必然,无之必不然。”
“ 有p必有q,无p必无q。”
例如:人不犯我,我不犯人;人若犯我,我必犯人。
充要条件假言命题的真假取决于其前后件之间是否存 在充要条件关系。对充要条件假言命题而言,只有在 其前后件同真同假的时候,它才是真的,否则它便是 假的。充要条件假言命题真假情况的真值表:
p∨q, 非q(或非p); 所以 p(或q)。
亦可横写为: (p∨q) ∧ ﹁ p→q或(p∨q) ∧﹁ q →p