浙江师范大学《普通逻辑学》PPT整理

合集下载

普通逻辑学讲义

普通逻辑学讲义

– 上述例一是AAA式,例二则是AOO式
– 三段论旳大小前提和结论都可能是四种命题之一,不同组合形式 共可有4X4X4=64种,但并非都是有效式,如EEE违反规则四,所以 根据三段论规则,去掉非有效式后,共有11个符合规则旳有效式: AAA、AAI、AEE、AEO、AII、AOO、EAE、EAO、EIO、IAI、OAO
• 记忆口诀:中一周延概念三,大项小项不扩展, 一特得特否得否,否特成双结论难。
8
第五节 直言三段论推理
• 练习:将下列三段论形式补充完整
(M)E(P) S A(M) S(E)P
(M)A P (S)I(M)
SIP
(P)A(M) S(E)M SEP
P(I)M (M)A (S)
SIP
(P)A(M) M (A) P
(2)O与O前提:根据规则(四),不能得出结论;
(3)I与O前提:前提四个项只有一种项周延,据规则(五)有一 种否定前提结论必否定,所以结论大项P周延,根据规则(三)在 前提中也必周延,则中项M无法周延,违反了规则(二);假如 中项(M)周延,则前提P不周延而在结论中周延,违反规则(三)
SIM(不周延) M(不周延)OP(周延) ∴SOP(周延)

所以,全部宗教都不是唯物论
(小前提否定)
(大前提否定)
补充-2:两个肯定旳前提不能得出否定旳结论
5
第五节 直言三段论推理
(六)从两个特称旳前提不能得出结论 – 此规则也称导出规则,从前述五项规则能够推导出来
– 特称判断作前提,共三种情况:I与I、O与O、I与O,推导如下:
(1)I与I前提:前提四个项都不周延,违反规则(二);
– 第三格:只能得出特称旳结论,所以常被用来辩驳全称旳命题, 所以也称“例证格”或“辩驳格”

普通逻辑pdf

普通逻辑pdf

普通逻辑串讲主讲:丹宁老师普通逻辑判断推理论证演绎推理归纳推理、类比推理架构图:简单判断复合判断科目: 普通逻辑主编: 杜国平代码: 00024出版社:高等教育出版社考试题型第一部分:选择题(35分)单项选择题 15*115%双向选择题 10*220%第二部分:非选择题(65分)填空题 10*110%图表题 1*4 、1*610%分析题 5*525%证明题 1*88%综合题 2*612%第二部分推理 论证第四部分目录 判断第三部分第一部分逻辑第一部分 逻辑第一节 逻辑学的研究对象一、什么是逻辑(一)思维规律(二)客观规律(三)看问题的特殊方法或者视角(四)一门研究推理的规律和方法的学问,即逻辑学。

二、什么是逻辑学1、逻辑学是研究推理有效性的学问。

推理是思维的基本形式之一。

一个完整的推理由若干判断构成,作为推理出发点的判断称为推理的前提,作为推理结果的判断称为推理的结论。

一个完整的判断由若干概念构成的,包括判断的主项、谓项和联项。

若干推理又可以构成一个论证或者反驳。

2、逻辑学按其不同发展阶段,分为:传统逻辑、现代逻辑。

传统逻辑研究的内容:概念、判断、推理、论证等。

现代逻辑研究推理的有效性问题。

传统逻辑 自然语言现代逻辑 形式语言核心都是研究推理的有效性问题。

逻辑学传统逻辑现代逻辑概念判断 推理 论证三、逻辑学的研究对象逻辑学主要研究推理的有效性问题。

所谓推理的有效性,指的是推理的形式有效性。

(填空题)1、什么是推理的形式所谓推理的形式,指的是推理的前提和结论在形式上的联系方式。

(填空题)例:如果9是6的倍数,那么它能被2整除,所以,如果9不能被2整除,那么它不是6的倍数。

推理形式: 如果p,那么q,所以,如果非q,那么非p。

2、什么是推理的形式有效性指的是对于一个推理形式假设其前提是真的,则其结论一定也是真的。

例:如果8大于5,那么8大于4,所以,如果8大于4,那么8大于5。

推理形式: 如果p,那么q, 所以,如果q,那么p。

逻辑学全部PPT

逻辑学全部PPT

山东财政学院 — 山财人文艺术学院

四、交叉关系 A
B
A学生 B团员
全同关系、真包含关系、真包含于关系、 交叉关系——相容关系
五、全异关系 A (不相容关系)
B A电脑 B月亮 A金属 B非金属
A黑色 B红色
两种特殊的全异关系:
C
矛盾关系: A B
A金属 B非金属
A、B 全异 A+B=C 对立无中
基于以上事实,下列那个判断为真?
A、w是甲队球迷。 B、w不是甲队球迷。
C、 w是乙队球迷。 D、 w不是乙队球迷。
税务局发现这个公司有些职工偷漏税。

如果上述判断为真,则以下三个判断中:
1、该公司没有职工不偷漏税。
2、该公司有些职工没有偷漏税。
3、该公司所有的职工都没有偷漏税。
不能确定真假的是:A、仅1。
所有 M是P
所有S 是M
所有S是P
思维的逻辑形式有两部分构成:
逻辑常项:
表示逻辑关系,起联结作用的语词。 它具有固定的意义,是逻辑形式中固定不 变的部分,它决定思维逻辑形式构的类型。
逻辑变项: 逻辑形式中可变的部分,可
以带入不同的内容。
只有p ,才q 所有S是P
所有 M是P 所有S 是M 所有S是P
李某的行为是犯罪行为,
所以,李某的行为是违法行为。
(5)如果物体摩擦,那么物体发热;物体没 有发热,所以,物体没有摩擦。
第二章 概 念
第一节 概念概述 第二节 概念的种类 第三节 概念间的关系 第四节 定义 第五节 划分 第六节 限制与概括
第一节 概念概述
一、什么是概念
概念是反映对象 特有属性或本质属性的思维形式。

普通逻辑第九、十讲【VIP专享】

普通逻辑第九、十讲【VIP专享】

充分必要条件假言判断真值表
P
q
p←→q












p q p q p q p q p q p q (p q) (p q) 真真 真 假 假 假 假 假 假 真假 假 假 真 真 真 假 真 假真 假 真 假 真 假 真 真 假假 真 真 真 假 假 假 假
五、准确把握负判断的等值判断,正确进行
判断之间的否定应注意的问题
不能把负判断与它的等值判断混为一谈, 尽管负判断与它的等值判断的真假值是相等 的,但是,从判断的逻辑形式来看,它们属 于不同类型的判断。
p
q
p∧q












p q pq p
q pq pq
真真真假假假假
真假假假真真真
假真假真假真真
假假假真真真真
(二)选言判断的负判断及其等值判断 1.相容选言判断的负判断及其等值判断 并非(P或q) ←→ 非P且非q 即: P q P q
并非王老师或者教英语,或者教政治。 ←→ 王老师既不教英语,又不教政治。
(二)复合判断的负判断
1.联言判断的负判断:并非(p并且q)。 p q 2.选言判断的负判断 (1)相容选言判断的负判断:并非(p或者q)。p q (2)不相容选言判断的负判断:并非(要么p,要么 q)。 pq 3.假言判断的负判断 (1)充分条件假言判断的负判断:并非(如果p,那 么q)。 p q (2)必要条件假言判断的负判断:并非(只有p,才 q)。 p q (3)充分必要条件假言判断的负判断:并非(当且 仅当p,才q)。 p q

逻辑学(完整)ppt课件

逻辑学(完整)ppt课件

《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
和推理
是计算
的思想
批判了形式
而成为 现代逻 辑的先 驱。
揭示了思维的辩
逻辑,研究 了辩证思维, 构造了辩证 逻辑的体系。
证矛盾。
现代归纳逻辑的发展有两个方向 : “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创,流行于50~80年代初期的 贝叶斯运动。20世纪中叶以来,美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出,支持度可列为不同 的等级,不同等级的支持度, 就是证据给予假设不同等级 的必然性, 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言? 观 点 研究推理?
思维的逻辑形式
结论:逻辑学 是研究思维的 形式结构及其 规律的科学, 中心任务是研 究推理及其有 效性标准。或 者最简单的: 逻辑学是研究 推理的科学。
逻辑形式:具有不同内容的思维(命题和推理)所共同具有的形式或结构
所有团员都不是青年 所有商品都不是劳动产品
但它们有共同的逻辑形式
所有S不是P
与这些逻辑形式属于同类的还有
有的S是P
有的S不是P
如:有的人是团员
还有另外一类命题
p
有的人不是大学生 q
如果一个物体摩擦, 那么这个物体生热 如果你能办成这件事,那么我从4楼跳下去
按照操作定义,得出它们的逻辑形式是 其中替换内容的字母用了小写的p、q等
要么p要么q要么p要么q要么p要么q要么p要么q这商品品质好而且价格低小张学习好而且品德高尚qq或者p或者q或者p或者q或者p或者q或者p或者q或者老张是导演或者老张是演员他或者吃米饭或者吃面条并非p并非p并非p并非p并非人是由石头变来的并非人人有自知之明推理的逻辑形式推理由命题组成如果用相同的字母替换相同的具体内容就可得到推理的逻辑形式所有团员是青年所以有的青年是团员所有m是p所有s是m所以所有s是p所有s是p所以有的p是s不同类型的命题可组成不同类型的推理如果一个人患肺炎p那么他发烧q小张不发烧非q所以他未患肺炎非p如果p那么q所以非p要么你交钱p要么你交命q你交了钱p所以你不用交命非q要么p要么q所以非q以上均为演绎推理的逻辑形式还有归纳推理形式可参阅教科书p9任何一个逻辑形式都包括

逻辑学课件(完整)

逻辑学课件(完整)

逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言? 观 点 研究推理?
思维的逻辑形式
结论:逻辑学 是研究思维的 形式结构及其 规律的科学, 中心任务是研 究推理及其有 效性标准。或 者最简单的: 逻辑学是研究 推理的科学。
逻辑形式:具有不同内容的思维(命题和推理)所共同具有的形式或结构
证明了狭谓词演算的 有效公式皆可证;如 果一个初等数论的形 式系统一致,则它是 不完全的;这种系统 的一致性在本系统中 不能证明,更不能用 有穷方法证明。他的 这些工作正面或反面 地,或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题
把概率作为 一个逻辑概 念来处理, 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
2.1 概 述
命题、判断、语句、命题函数
命题逻辑把命题分析为构 成复合命题的成分即简单命 题,简单命题的真值组合决 定整个复合命题的真值。
命题(proposition ):通过语句反映事物情况的思维形式。特征: 有真假=真值
判断(judgment ):被断定了的命题。特征:主观断定。 语句(sentence ):表示事物情况的声音或笔画。
辑理论方面作出了重要贡
献。他们对“故”、
“理”、“类”古代逻辑
的三个基本范畴下了明确
的定义,并对“名”、
“辞”、“说”作了深入
研究。论述了“辟”(比
印度因明 从古代论辩术发展而来。
先是五支论式,后发展为三支论式(宗、 因、喻)。在分析正确论证和推理的同 时,十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发 展。
所有团员是青年 所以,所有青年是团员。
该推理前提真而结论假。因此,原推理形式无效。

普通逻辑ppt课件

.
判断与语句的关系 任何判断都必须用语句来表达, 但并非所有的语句都表示判断
同一判断可以用不同的语句来表达
不同判断也可以用同一语句表达
.
判断的种类和作用
断判
非模态判断
模态判断
简单判断
性质判断 关系判断
联言判断
复合判断
选言判断
假言判断
负判断 可能模态判断
必然模态判断
判断的作用:判断是人们认识事物 的工具;判断是推理的基本要素。
充分条件, 是指有两个分别 为P、q的事物 情况,如果有P, 就必然有q,而 没有P是否有q 不能确定。这样, P就是q的充分 条件。
假如有风,那么树就动
充分条件假言判断的逻 辑联结项一般用“如果…那 么…”、“只要…便…”、 “一旦(假如)…就…”等表 示。
.
充分条件假言 判断的逻辑形式
如果p,那么q 或 p→q
3.3 关系判断
关系判断是断定 对象与对象之间关系 的一种判断,它也是 一种简单判断。
三班所有的同学都比二班的同学个子高
量项
关系者项(a、b)
关系项(R)
二项的关系判断公式: R(a,b) 或 aRb 三项的关系判断公式: R(a,b,c)
.
关系的性质
性关 系 的 对 称
对称关系:在特定的论域里,如果 aRb真,那么bRa也一定真



















假真



.
3.8 模态判断
模态判断就是断定事物情 况的必然性或可能性的判断。 就是在判断中包含有“必 然”、“可能” 等模态词的 判断

普通逻辑学资料包(全)第7章


2021/8/5
16
相容宣言推理形式可用如下公式表示:
❖ 或者p或者q; 非p 所以,q
❖ 也可以用符号表示如下: [(p∨q)∧┐p]→q
2021/8/5
17
(二)不相容选言推理
❖ 不相容选言推理是前提中有一个不相容选言判断 的选言推理。不相容选言判断的逻辑性质是选言 肢不能共存,即一个真的不相容选言判断必须有 ,而且只能有一个选言肢是真的,否则就是假的 。
❖ 例如: 要么社会存在决定人的意识,要么是人的意识决 定社会存在; 不是人的意识决定社会存在, 所以,社会存在决定人的意识。
2021/8/5
19
(2)否定肯定式:
❖ 小前提否定选言判断一部分选言肢,结论肯定余下 的一个选言肢。
❖ 其推理形式可用公式表示为: 要么p,要么q 非P 所以,┐q 这类推∨理. 形式也可以用符号表示如下: [(p q)∧┐p)]→┐q
2021/8/5
27
(2)否定后件式:
❖ 小前提否定假言判断的后件,结论否定假言判断 的前件,其推理形式可用公式表示为:
❖ 如果p,那么q 非q 所以,非p 也可以写作: [(p→q)∧┐q)]→┐p
❖ 例如: 在社会主义社会中,如果你要享受民主权利,那 么你首先必须尊重别人的民主权利, 你不尊重别人的民主权利, 所以,你就不配享受民主权利。
❖ 在实际思维中,选言推理常采用省略形式, 或省略大前提,或省略小前提,或省略结 论。
2021/8/5
21
第三节 假言推理
2021/8/5
22
一、什么是假言推理
❖ 假言推理是由一个或几个假言判断为前提, 并根据假言判断的逻辑性质推出结论的演 绎推理。
❖ 例如: 如果没有一个安定团结的政治局面,那么 就不能安下心来搞建设; 如果不能安下心来搞建设,那么四个现代 化就难以实现; 所以,如果没有一个安定团结的政治局面, 那么现代化就难以实现。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第一章引论第一节传统逻辑与现代逻辑逻辑的语源学:逻各斯、Logic、名学、辩“逻辑”的多义性:(1)客观规律;(2)思维规律、规则;(3)看问题的视角、方法;(4)逻辑学一、传统逻辑的产生传统逻辑发源地:古代中国、印度、希腊先秦名辩名学和辩学的合称。

主要指先秦诸子关于名和辩的逻辑思想和理论,泛指中国古代的逻辑思想。

整个先秦逻辑思想就是一个以正名为重点,包括名、辞、说、辩在内的古代逻辑学说。

《墨经之《小取》,是中国古典逻辑的一个纲要,比较集中完整地讨论了逻辑的基本内容。

后期墨家在逻辑理论方面作出了重要贡献。

他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义,并对“名”、“辞”、“说”作了深入研究。

论述了推理的形式。

这些思想,在中国古代逻辑史上占有重要地位。

印度因明从古代论辩术发展而来。

先是五支论式,后发展为三支论式(宗、因、喻)。

因明于唐代传入我国并得到发展。

古代希腊是逻辑学的主要诞生地亚里士多德是西方逻辑学创始人。

《工具论》奠定了逻辑的基础。

主要贡献是对三段论的系统研究。

“词项逻辑”二、传统逻辑的发展斯多葛学派于三段论(“词项逻辑”)之外,研究了命题逻辑。

17世纪培根的《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。

三表法。

康德揭示了思维的辩证矛盾,首次使用《形式逻辑》一词。

约翰·穆勒提出寻求因果关系的“穆勒五法”三、现代逻辑的兴起和发展十七世纪末,莱布尼兹现代逻辑的先驱。

十九世纪数理逻辑出现(布尔),二十世纪初完善。

(罗素等)批判了形式逻辑,研究了辩证思维,构造了辩证逻辑的体系。

现代归纳逻辑的发展归纳方法与统计概率方法相结合,运用数理逻辑工具。

代表人物:J.M.凯因斯、F.P.拉姆齐、P.J.科恩以及赖兴巴赫、卡尔纳普等第二节普通逻辑的对象一、认识与思维感觉概念实践——感性认识知觉理性认识判断}思维形式思维的特征:概括性、间接性二、逻辑形式与逻辑规律1、逻辑形式:具有不同内容的思维(命题和推理)所共同具有的形式或结构操作定义:用抽象字母代换命题或推理中的具体内容所得到的东西命题的逻辑形式所有S 都是P 还有另外一类命题如果一个物体摩擦, 那么这个物体生热如果你能办成这件事,那么我从4楼跳下去 按照操作定义,得出它们的逻辑形式是 如果p,那么q 推理的逻辑形式推理由命题组成,如果用相同的字母替换不同的具体内容,就可得到推理的逻辑形式 所有团员是青年,所以,有的青年是团员 所有S 是P , 所以,有的P 是S任何一个逻辑形式都包括: 逻辑常项 和 变项逻辑常项:逻辑形式中不变的部分,即在同一逻辑形式中都存在的部分,它是区分不同种类的逻辑形式的唯一依据变项:是指逻辑形式中可变的部分,即在逻辑形式中可以表示任一具体内容的部分,变项中不管代入何种具体内容,都不会改变其逻辑形式。

2、逻辑规律:同一律、矛盾律、排中律。

3、逻辑方法:定义、划分、限制、概括等 思维的逻辑形式 普通逻辑的对象 逻辑的基本规律 简单逻辑方法 三、有效性与可靠性有效性和可靠性是评价推理标准的概念。

推理;必然性、或然性有效的:当其前提为真,结论必定为真(或不可能为假)时,一个推理形式是有效的;否则,便是无效的。

所有S 是P , 所以,有的P 是S这个推理形式可以保证,无论将S 或P 代以何种具体内容,前提为真时,结论不可能假。

换言之,你构造不出一个实例,使得具有这一形式的推理拥有真的前提和假的结论。

这实例叫该形式的反例。

所有S 是P , 所以,所有P 是S这个推理形式是有反例的。

即,用具体内容代换变项S 和P 后,即使前提为真,结论也是可能为假的。

试以团员代换S ,青年代换P ,就有:所有团员是青年 所以,所有青年是团员。

该推理前提真而结论假。

因此,原推理形式无效。

我们所能确定的只是两点:1.前提真而结论假,则推理无效;2.前提真,推理有效,则结论必真。

可靠的:当前提为真,结论较大可能为真时,一个推理形式是可靠的;否则,是不可靠的。

有效性主要适用于演绎推理的评估;可靠性适用于归纳推理和类比推理的评估。

第三节逻辑与语言一、逻辑形式与语言形式研究逻辑形式都通过语言形式进行区别:不同的语言形式可表达同一逻辑形式;同一语言形式也可表达不同的逻辑形式二、自然语言与人工语言自然语言:历史发展过程中形成的、日常使用的语言,如汉语、英语等。

特点:语义的丰富性和模糊性。

人工语言:人为构造的表意符号系统,即符号语言。

特点:语义的单一性和精确性。

传统逻辑用自然语言,现代逻辑用人工语言,如所有S都是P∀x(Sx→Px)对象语言与元语言对象语言:作为讨论对象的那种语言。

对象语言一般指称客观事物。

元语言:用来讨论对象语言的那种语言。

常指称语言本身。

现代逻辑十分重视对象语言与元语言的区别第四节学习普通逻辑的意义一、普通逻辑的性质和作用工具性,普遍性,抽象性,非政治性二、学习逻辑的意义1,为人们探求新知识提供必要的逻辑工具2,有助于准确地、严密地表达和论证思想3,有助于人们反驳谬误、揭露诡辩4,有助于学习、理解和掌握其它各门科学知识三、学习普通逻辑的方法1.明确学习的目的,提高学习的自觉性和积极性。

2.下功夫理解和掌握基本的逻辑概念和逻辑理论。

3.注意多练、多用。

第二章复合命题及其推理第一节命题和推理概述一、命题与判断、语句1、命题:通过语句反映事物情况的思维形式。

特征:有真假=真值逻辑值2、判断:被断定了的命题。

特征:主观断定3、语句:表示事物情况的声音或笔画。

命题和语句的关系:内容与表达形式。

1)任何命题都通过语句表达;2)但并非一一对应:有些语句不表达命题(一般疑问、祈使、感叹等);同一命题可以用不同的语句表达;同一语句可以表达不同的命题。

二、命题形式及其种类1.命题的逻辑形式。

命题形式:命题的逻辑形式=命题形式命题分类:根据命题本身是否包含其它命题,分为简单命题和复合命题性质命题简单命题(变项=概念)关系命题联言命题复合命题选言命题(肢命题+联结词)假言命题(变项=命题)负命题另一种分类模态命题(带有“必然”、“可能”等)非模态命题三、推理以及推理的分类1.推理的概念及其组成。

推理:从一个或几个已知命题推出一个新命题的思维形式。

例,有的大学生是男性,所以,有的男性是大学生。

结构前提P 推理标志词结论Q2.推理的分类。

根据前提和结论之间是否有蕴涵关系区分为:简单命题推理必然性推理(演绎推理)复合命题推理或然性推理(归纳推理、类比推理)第二节联言命题及其推理一、什么是联言命题定义:反映若干事物情况同时存在结构:联言肢(若干情况)联结词(并且)公式:p并且q p∧q (合取式)自然语句:虽然,但是;既,又;不仅,而且;尽管,可是;逗号、句号、分号二、联言命题的逻辑值普通逻辑的联言命题与数理逻辑的合取式的区别三、联言命题的省略形式1.复合谓项联言命题。

2.复合主项联言命题。

3.复合主谓项联言命题。

四、联言推理定义:前提或结论为联言命题的推理推理形式:(一)联言推理的分解式1.分解式的公式表示。

依据合取式定义反过来p并且q所以p符号表示(p∧q)→p2.分解式的意义。

(二)联言推理的组合式1.组合式的公式表示。

Pqr所以,p并且q并且r符号:(p,q,r )→p∧q ∧r2.组合式的意义。

运用联言命题要注意的问题1、要正确理解联言命题的真假与它的肢命题真假的关系一个联言命题,只有当它的每一个肢命题都为真时,它才是真的;如果它的肢命题全部为假或者部分为假,那么它就是假的。

当我们断定了一个联言命题为真时,就等于断定了它的每一个肢命题都是真的;而当我们断定了一个联言命题为假时,并不等于就断定了它的每一个肢命题也为假。

2、要注意弄清楚肢命题之间的意义联系,避免在表达中弄错了它们的关系或先后倒置、轻重倒置。

案例:(1)曾国藩的自责奏书:“臣屡战屡败”和“臣屡败屡战”。

(2)法官的判词:“情有可原,理无可恕”和“理无可恕,情有可原”。

又如:(3)“事出有因,查无实据”和“查无实据,事出有因”。

再看:(4)我们班虽然输了球,但是在比赛中打得很出色。

(5)你们班虽然在比赛中打得很出色,但是毕竟输了。

第三节选言命题及其推理一、选言命题的种类及其逻辑值1.选言命题及其种类。

定义:反映若干可能事物情况至少有一种存在结构:选言肢(若干可能情况)联结词(至少有一存在)根据选言肢是否相容,区分为相容的选言命题和不相容的选言命题2.相容的选言命题及其公式表示和逻辑值。

定义:选言肢可同真结构:p或者q p∨q(∨为相容析取)自然语句:或,或;可能,也可能;也许,也许例“3.不相容的选言命题及其公式表示和逻辑值。

定义:选言肢不同真结构:选言肢(可能情况)联结词(不能同时存在)要么p,要么q p q(为不相容析取)自然语句:不是,就是;或,或,二者不可兼得等二、选言肢穷尽问题选言命题是否反映了事物的全部情况选言肢穷尽的命题一定是真命题,但一个真的选言命题不一定是选言肢穷尽的三、选言推理选言推理及其分类前提中有一个是选言命题,并且根据选言命题选言肢间的关系而推出结论的推理。

分类:相容的选言推理不相容的选言推理(一)相容的选言推理1.相容的选言推理及其公式表示。

依据p∨q 的性质,至少有一支真,否定肯定式或p,或q非p所以q符号:((p∨q)∧¬p)→q2.相容的选言推理的规则。

(1)否定一部分选言肢,就要肯定另一部分选言肢。

(2)肯定一部分选言肢,不能否定另一部分选言肢。

(二)不相容的选言推理1.肯定否定式及其公式表示。

要么p,要么qp所以非q((p q )∧p)→¬q2.否定肯定式及其公式表示。

要么p,要么q非p所以q((p q)∧¬p)→q3.推理的规则。

(1)肯定一个选言肢,就要否定其它的选言肢。

(2)否定一个选言肢以外的选言肢,就要肯定余下的那个选言肢。

第四节假言命题及其推理一、假言命题的种类及其推理(一)假言命题及其组成定义:反映一事物情况是另一事物情况的存在条件的命题组成:前件后件联结词如果一个人患了肺炎,那么这个人就发烧关键是前后件关系是否反映两种情况之条件关系充分条件、必要条件、充分必要条件假言命题(二)假言命题的种类及其逻辑值1.充分条件假言命题(1)充分条件假言命题的概念。

定义:反映一事物情况是另一事物情况的存在的充分条件命题有p必有q,无p未必无q(2)充分条件假言命题的公式表示如果p,那么q符号:p → q “→蕴涵”自然语句:假使,那么;倘若,则;只要,就;要是,就;当,便;一旦,就;如果,则 (3)充分条件假言命题的真值表 情况组合 符号 命题真假1.摩擦 , 生热 p, q 真 t2.摩擦, 不生热 p,¬q 假 f3.不摩擦,生热 ¬p,q 真 t4.不摩擦,不生热 ¬p, ¬q 真 t真值:前(件)真而后(件)假,则→ 假 前(件)假,或后(件)真,则→真 2.必要条件假言命题(1)必要条件假言命题的概念。

相关文档
最新文档