规则逻辑
篇一:逻辑基础划分的分类与规则
逻辑基础划分的分类与规则
划分是通过把一个概念所反映的对象,分为若干个小类,来揭示这个概念外延的逻辑方法。如:人可分为老年人、中年人、青年人、少年儿童和婴儿。今天,老师对逻辑划分的分类及规则进行如下分析介绍。
1.划分的组成也包括三个部分:
划分的母项。划分的母项必须是普遍概念,不能是单独概念。
划分的子项。
划分的标准(也称划分的依据)。
划分与分解不同:
①划分是根据概念的属种关系,把一个大类(属)分成许多小类(种);分解是把一个整体事物分成各个组成部分。
②划分后的种概念具有属概念的属性;分解后组成部分不具有整体事物的属性。
③划分后的子项可以用母项的名称去指称,而分解后的部分则不能用整体的名称去指称。
比如:A 人有男人与女人。B 人有手、脚、头、胸、腹、腰等。
2.划分也是有规则的,否则逻辑上就不成立。划分的规则也就成为了考试的内容。划分时至少要遵守下面三条规则:
(1)划分必须相应相称
违反规则会犯的逻辑错误:
多出子项:文学作品包括小说、诗歌、散文、戏剧、音乐、雕塑。
划分不全:刑罚的主刑可分为管制、有期徒刑、无期徒刑、死刑。
(2)划分的标准必须同一
违反规则会犯的逻辑错误:
多标准划分:文学有中国文学、外国文学、古代文学。
(3)划分后的各子项必须互相排斥
违反规则会犯的逻辑错误:
子项相容:跨考学员有来自北方的、南方的、浙江的,还有杭州的。
例:概念A与概念B之间有交叉关系,当且仅当,(1)存在对象x,x既属于A又属于B;(2)存在对象y,y属于A但不属于B;(3)存在对象z,z属于B但不属于A。根据上述定义,以下哪项中加线的两个概念之间有交叉关系?
(A)国画按题材分主要有人物画、花鸟画、山水画等等;按技法分主要有工笔画和写意画等等。
(B)《盗梦空间》除了是最佳影片的有力争夺者外,它在技术类奖项的争夺中也将有所斩获。
(C)洛邑小学30岁的食堂总经理为了改善伙食,在食堂放了几个意见本,征求学生们的意见。
(D)在微波炉清洁剂中加入漂白剂,就会释放出氯气。
(E)高校教师包括教授、副教授、讲师和助教等。
解析:参考答案是A。题干对概念的交叉关系进行了定义,然后要求找到交叉关系的具体实例,A选项对国画用不同的标准进行了划分,从划分的角度看,用不同的标准对国画划分,不同的标准分出的子项一定会交叉,所以划线的两个概念“人物画”和“工笔画”有交叉关系,A就是正确选项。B的两个概念或者真包含于关系或者不相容关系,C和D的划线概念不相容关系,E的划线概念是真包含关系。
小提示:
2017考研开始准备复习啦,早起的鸟儿有虫吃,一分耕耘一分收获。加油!
篇二:逻辑学规则归纳
逻辑学中规则归纳
第二章 概念
定义的规则:
1.
2.
3. 定义项与被定义项在外延上必须全同 定义项不得直接或简介地包含被定义项 定义必须清楚明确
划分的规则:
1.
2.
3. 划分所得各子项外延之和应等于母项的外延 划分所得各子项应当互相排斥 每次划分必须按同一标准进行
4.
第四章 简单判断及其推理
三段论的规则
关系判断:
不能以非对称关系判断作为前提进行推理
不能以非传递关系判断作为前提进行推理
混合关系推理:
1.
2.
3.
4.
5. 前提中的性质判断必须是肯定推理 前提中两个相同项(相当于中项)至少有一个项是周延的 在前提中不周延的项,在结论中也不得周延 前提中关系判断是肯定的,则结论中的关系判断也必须是肯定的 前提中的关系判断是否定的,则结论中的关系判断也必须是否定的
6.
真值判断
在逻辑演算中,先列出小括号中的逻辑式,再列出中括号中的逻辑形式
当且仅当所有联言肢为真时,联言判断为真;当;联言判断为真时,所有联言肢为真
全部选言肢中只要有一个为真,则相容选言判断为真;只有当全部选言肢为假时,相容选言判断才是假的
相容选言推理只有一个正确的推理形式,即否定肯定式
相容选言推理规则是:
1、否定一部分选言肢,就要肯定另一部分选言肢
2、肯定一部分选言肢,不能否定另一部分选言肢
不相容选言推理规则是:
1、否定一部分选言肢,就要肯定另一部分选言肢
2、肯定一部分选言肢,就要否定另一部分选言肢
选言肢穷尽是选言前提真的充分条件,却不是其必要条件
充分条件假言判断的逻辑性质:有之则必然,无之未必然
必要条件假言判断的逻辑性质:有之未必然,无之必不然
充分必要条件假言判断逻辑性质:有之则必然,无之必不然
由此可得充分条件假言推理推理规则:
肯定前件就要肯定后件(充分条件:有之则必然)
否定前件不能否定后件(充分条件:无之未必然)
否定后件就要否定前件(必要条件:无之必不然)
肯定后件不能肯定前件(必要条件:有之未必然)
必要条件假言判断和充分条件相似,只不过是位置换一下而已 只要记住上面那四条:有之则 无之则即可
重言式有:
充分条件假言推理的肯定前件式
充分条件假言推理的否定后件式
必要条件假言推理的否定前件式
必要条件假言推理的肯定后件式
相容选言推理的否定肯定式(否定其中一个得出肯定另一方个的结论)
联言推理的分解式
反三段论:三段论形式正确,结论不成立,一前提成立,可推出另一前提不成立
篇三:逻辑学推理规则汇总
形式化方法 :形式化方法是指用一套特制的符号,去表示词项、命题、推理,从而对词项、命题、推理的形式的研究,转化为对形式符号表达式系统的研究的方法。
形式化方法的作用:主要是能克服自然语言的歧义性。
形式化方法的内容:
1、把自然语言符号化,抽象和概括为形式语言。形式语言由两部分组成:初始符号和形成规则。
2、对直观意义的推理关系进行语形和语义的双重刻画。
3、证明对推理关系的双重刻画的重合性。
由∧的真值表,可得出∧运算的规律:
(1)∧的交换律:p∧q?q∧p
(2)∧的结合律:p∧(q∧r)?(p∧q)∧r
(3)∧的重言(幂等)律:p∧p?p
合取引入规则(∧+):从A和B可推出A∧B。图示如下:
A
B
——
A∧B
合取消去规则(∧-):从A∧B可推出A,从A∧B可推出B。图示如下:
A∧BA∧B
————
BA
∨的运算规律
(1)∨的交换律:p∨q? q∨p,
(2)∨的结合律:p∨(q∨r) ? (p∨q)∨r,
(3)∨的重言律:p∨p? p。
∧和∨的混合运算规律
(1) ∧对∨的分配律:
p∧(q∨r) ? (p∧q)∨(p∧r)。
(2) ∨对∧的分配律:
p∨(q∧r) ? (p∨q)∧(p∨r)。
(3)吸收律:
p∧(p∨q) ? p;?
p∨(p∧q) ? p。
(4)德·摩根律:
?(p∧q) ? ?p∨?q;
?(p∨q) ? ?p∧?q。
析取消去规则(∨- )
从A∨B和?A可推出B;从A∨B和?B可推出A。
A∨B A∨B
?B ?A
—— ——
AB
析取引入规则(记为∨+ ):
析取引入规则(记为∨+ ):从A可推出A∨B;从B可推出A∨B。
A B
————
A∨BA∨B
(1)蕴涵消去规则,也称分离规则(略缩为M.P.)或肯定前件式(记为→_ ) A→B
A
——
B
(2)否定后件式(略缩为M.T.)
A→B
? B
——
? A
(1)否定前件规则:从A←B和?A可推出?B
A ← B
?A
——
?B
(2)肯定后件规则:从A←B和B可推出A
图示:
A ← B
B
——
A
(1)等值引入规则(记为?+):从A→B和B→A可推出A?B。 图示:
A→B
B→A
——
A?B
2)等值消去规则(
记为?-):从A?B可推出A→B;从A?B可推出B→A。
图示:
A?B
——
A→B
图示
A?B
——
B→A
篇四:法律规则的逻辑结构
法律规则的逻辑结构,指法律规则从逻辑的角度看是由哪些部分或要素来组成的,以及这些部分或要素之间是如何联结在一起的。
任何法律规则均由假定条件、行为模式和法律后果三个部分构成。
所谓假定条件,指法律规则中有关适用该规则的条件和情况的部分,即法律规则在什么时间、空间、对什么人适用以及在什么情境下法律规则对人的行为有约束力的问题。它包含两个方面:
(1)法律规则的适用条件。
(2)行为主体的行为条件。
所谓行为模式,指法律规则中规定人们如何具体行为之方式或范型的部分。它是从人们大量的实际行为中概括出来的法律行为要求。分为三种:
(1)可为模式。
(2)应为模式。
(3)勿为模式。
所谓法律后果,指法律规则中规定人们在做出符合或不符合行为模式的要求时应承担相应的结果的部分,是法律规则对人们具有法律意义的行为的态度。法律后果又分为两种:
(1)合法后果,又称肯定式的法律后果,是法律规则中规定人们按照行为模式的要求行为而在法律上予以肯定的后果,它表现为法律规则对人们行为的保护、许可或奖励。
(2)违法后果,又称否定式的法律后果,是法律规则中规定人们不按照行为模式的要求行为而在法律上予以否定的后果,它表现为法律规则对人们行为的制裁、不予保护、撤消、停止,或要求恢复、补偿等。