2014年考研逻辑考点：命题推理与否定定理

最后更新时间：2013-10-31 15:08:44

辅导课程：暑期集训在线咨询

复习紧张，焦头烂额？逆风轻袭，来跨考秋季集训营，帮你寻方法，定方案！了解一下>>

　　5、至多与至少深入理解

　　A和B至多有一个是团员。¬A∨¬B

　　A和B至少有一个不是团员。¬A∨¬B

　　A和B至少一个是团员。A∨B

　　A和B至多有一个不是团员。A∨B

　　6、模态推理

　　模态命题符号化

　　必然p ðp

　　可能p àp

　　ð与à的关系

　　ðp = ØàØp

　　àp = ØðØp

　　Øðp = àØp

　　Øàp = ðØp

　　不必然A = 可能非A

　　不必然非A = 可能A

　　不可能A = 必然非A

　　不可能非A = 必然A

　　7、否定定理

　　否定否定得肯定;否定肯定得否定;

　　否定并且得或者;否定或者得并且;

　　否定所有得有的;否定有的得所有;

　　否定必然得可能;否定可能得必然。

　　8、逻辑范式

　　(1)同一律 P→P

　　(2)排中律 P∨¬ P

　　(3)矛盾律 ¬(P∧¬ P)

　　(4)传递律((P→Q)∧(Q→R))→(P→R)

　　(5)归谬律(A→(B∧¬ B))→¬ A

班型	定向班型	开班时间	高定班	标准班	课程介绍	咨询

秋季集训	冲刺班	9.10-12.20	168000	24800起	小班面授+专业课1对1+专业课定向辅导+协议加强课程(高定班)+专属规划答疑(高定班)+精细化答疑+复试资源(高定班)+复试课包(高定班)+复试指导(高定班)+复试班主任1v1服务(高定班)+复试面授密训(高定班)+复试1v1(高定班)
2023集训畅学	非定向（政英班/数政英班）	每月20日	22800起(协议班)	13800起	先行阶在线课程+基础阶在线课程+强化阶在线课程+真题阶在线课程+冲刺阶在线课程+专业课针对性一对一课程+班主任全程督学服务+全程规划体系+全程测试体系+全程精细化答疑+择校择专业能力定位体系+全年关键环节指导体系+初试加强课+初试专属服务+复试全科标准班服务