导图社区 三段论逻辑
三段论逻辑思维导图。该导图内容包含有三段论的基本特征、三段论规则、三段论的格与式以及三段论有效性的检验等。
这是一篇针对于山东专升本计算机考试的思维导图,具体内容包括:第一章 信息技术与计算机文化,第二章 计算思维(CT)...,相信我这是一张你能在市面上看到的物超所值的专升本计算机思维导图,已将第一章张开,请据此决定是否进一步的了解,此外祝您考试顺利,万事顺遂Thanks♪(・ω・)ノ
《勾践灭吴》是中国古代战国时期的一段历史故事,讲述了越国君主勾践为复仇,最终成功灭掉了强大的吴国。这个思维导图将《勾践灭吴》的故事情节、主要人物、背景、策略和结果等要点清晰地展示了出来,有助于理解和记忆这段历史故事的关键信息。同时也突出了其中蕴含的战略智慧和政治手段,对于历史研究和领导者智慧的探讨具有重要意义。
根据最新版教材组织内容,适用于考前的知识点回顾和速读记忆。经济发展促进社会进步,卧薪尝胆终就一代霸主。最后,祝愿广大学子能在今后的考试中取得优异的成绩。
社区模板帮助中心,点此进入>>
安全教育的重要性
个人日常活动安排思维导图
西游记主要人物性格分析
17种头脑风暴法
如何令自己更快乐
头脑风暴法四个原则
思维导图
第二职业规划书
记一篇有颜又有料的笔记-by babe
伯赞学习技巧
基本三段论
三段论是一种谓词逻辑 三段论涉及简单命题内部的词项之间的逻辑关系
三段论的基本特征
由三个直言命题组成,其中两个直言命题是前提,另一个直言命题是结论
就主项和谓项而言,三段论包含三个不同的词项,每个词项在两个命题中各出现一次
三段论规则
中项至少在一个前提中周延
如果一个词项在结论中周延,那么它必须在前提中周延
至少一个前提是肯定的
结论是否定的,当且仅当,有一前提是肯定的
如果两个前提都是全称的,那么结论不能是特称的
三段论的格与式
三段论的格
由于中项位置不同而形成的各种三段论的形式
第一格
善的格
第二格
第三格
第四格
恶的格
三段论的式
三段论任何一格都有64个式,四个格共有256个式
三段论的式一共有256个,只有15个是有效的
三段论有效性的检验
用韦恩图检验三段论的有效性
直观但不方便
注意事项
当一个三段论有一个全称前提和一个特称前提时,我们最好先画出全称前提,然后再画出特称前提
在日常语言里,全称命题有主项存在的含义,在文恩图方法里,全称命题没有主项存在的含义
判断
在三个彼此相交的圆中,画出两个直言命题的前提,若图中画出了结论,则该推论有效;若未画出,则该推论无效
用规则检验三段论的有效性
方便但不直观
全称命题的主项是周延的
特称命题的主项是不周延的
肯定命题的谓项是不周延的
否定命题的谓项是周延的
基本直言命题
四种形式
A:全称肯定命题
所有S是P
E:全称否定命题
所有S不是P
I:特称肯定命题
有S是P
O:特称否定命题
有S不是P
项
主项
S
谓项
P
联项
联结S与P的词项
肯定联项
是
否定联项
不是
量项
用来表示主项在外延方面的数量
全称量项
所有
特称量项
有
词项
分类
小项(S
作为结论的主项的词项
大项(P)
作为结论的谓项的词项
中项(M)
在两个前提中都出现的词项
概念
一个命题中的一个词项是周延的,当且仅当,这个命题断定了这个词项的全部外延
补词项
一个词项的补指称该词项的外延以外的任何事物
任何一个词项“P”的补记为“非P”
“P”与“非P”互为补词项
直言命题之间的关系
命题A与O之间的关系
“所有S是P”等值于“并非有S不是P”
“有S不是P”等值于“并非所有S是P”
命题E与I之间的关系
“所有S不是P”等值于“并非有S是P”
“有S是P”等值于“并非所有S不是P”
换质法
性质判断换质推理,又叫换质法,是通过改变已知性质判断的“质”而得出一个新判断的推理
两个具有相同主项的直言命题可以相互置换:它们的联项相反,谓项互为补词项
换质法所遵循的规则
主项和量项不变,联项“是”改为“不是”,“不是”改为“是”
谓项改为与其相矛盾的概念
换位法
性质判断换位推理,又叫换位法,是通过改变已知性质判断的主项和谓项的位置而得出一个新判断的推理
主项和谓项交换位置的两个E命题可以相互置换;主项和谓项交换位置的两个I命题可以相互置换
换位法所遵循的规则
不改变联项,主项与谓项的位置互换
前提中不周延的项换位后不能周延
矛盾关系
SAP,|-~(SOP)
SEP,|-~(SIP)
强化三段论
定义
有主项存在含义的三段论叫强化三段论
强化直言命题
组成强化三段论的直言命题,都有主项存在的含义,这样的直言命题叫做强化直言命题
梗概
在传统三段论逻辑中,强化直言命题之间的逻辑关系被归结为一个“逻辑方阵”
三段论
大前提
包含大项的前提
小前提
包含小项的前提
结论
特殊化陈述符合一般性原则的结论
判定命题逻辑有效的方法
真值表(长、短真值表)
推演
命题逻辑的规则
八条整推规则
十条置换规则
条件证明规则
间接证明规则
假设的引入和撤出