逻辑知识点梳理.pdfVIP

形式化逻辑知识点梳理 一：矛盾专题 1、全肯 — 特否 2、全否 — 特肯 3、单肯 — 单否 4、必然P — 可能非P 5、可能P — 必然非P 6、p 且q — 非p 或非q 7、p 或q — 非p 且非q 8、要么p，要么q — （p 且q）或（非p 且非q） 9、如果p，那么q — p 且非q 10、反对关系：不能同真，但能同假；若一命题为真，则另一命题必假。 11、下反对关系：不能同假，但能同真：若一命题为假，则另一命题必真。 注意： 1、命题的对当关系存在与相同素材的命题（逻辑变项相同） 2、矛盾命题不能同真同假，必有一真一假；某种情况下可同真、可同价，命题间不矛盾。 3、无其他条件下：简单命题的矛盾是简单命题，复合命题的矛盾是复合命题。 4、否定命题就是寻找该命题的矛盾关系：并非 不 （等价变换） 5、注意否定词 “不”的位置，不作为否定词，其后的逻辑常项都被否定，其前的逻辑常项不发生变化（等 价变换） 二：推理专题 1、同性质命题中：全称（T）=》单（T）。全称（T）=》特称（T）。单称（T）=》特称（T） 2、模态命题中：必然P （T）=》P （T）。必然P （T）=》可能P （T）。P （T）=》可能P （T） 3、联言命题： （1），p （T），q （T），则：p 且q （T） （2），p 且q （T），则：p （T）/q （T） 4、选言命题： （1），相容选言命题： 已知：p 或q （T），则：若有非p，则q （T） P （T），则：p 或q （T） （2），不相容选言命题 要么p，要么q （T） ①若p （T），则q （F） ②若p （F），则q （T） 5、假言命题： 充分条件假言命题： （1），肯定前件式：p=》q （T），则 p （T）=》q （T）（前真推后真） （2），否定后件式：p=》q （T），则非q=》非p （后假推前假） （3），前件真，则假言真；后件假，则假言真； 注意： 1、真命题可推 2、同性质可推（否定） 3、推理范围大向小推 三、等价专题 1、没有S 不是P=所有S 都是P 2、不是所有S 都是P=有些S 不是P 3、否定一命题（并非、不）=其矛盾命题 4、“不”命题等价命题：不后面的三维度全否定命题 5、不可能=必然不 、 不都=有些不、不可能都=必须有些不 6、周延：有些A 是B=有些B 是A、所有A 不是B=所有B 不是A. 7、联言选言：并非（P 且q）= （并非P）或（并非q） 8、假言：P→q 等价于选言命题，矛盾命题为联言命题 ①非q→非p ;②非p 或q;③并非（p 且非q）;④所有p 都是q 9、除非A 否则B=B→A ；除非A 否则不B= 非B→A 三：常见的考察题型（解题方法） 1、补充前提型 2、结构类似型 注：以上两种类型出现在：三段论跟假言命题中。 ※ 3、推导结论型：贯穿于可形式化逻辑的始末 （1）画图法 适用：a 结论题 b 题干多个概念且自然语言表达概念间的关系 解题原则：先画 “所有”再画 “有些” 1、所有的S 都是P ： 种属 全同 2、所有的S 都不是P: 全异 3、有些S 是P：交叉 注意点：1、有些：至少1个，至多全部。 2、种属、属种：中间部分范围不确定 题型举例： 模串讲义p4 第11-12题、p11 第32 题、p13 第39 题、2011GCT5 题 （2）矛盾法、“必有一真”法（下反对）、假设法 解题步骤 1、读问题判断题型—找矛盾关系（必有一真或一假、其他命题必假必真） —下反对关系（必有一真、其他命题必假必真） —假设法（全称-单称-特称，必然-现实-可能） 注意： 1、矛盾-下反对-假设 2、假设中，寻找题眼比较重要，命题中出现频率较高的主项往往是被优先假设的对象。 题型举例： 模串讲义：p9(28-31、34-37） 系统讲义：P21-26、P42-50、p33-37 模考试卷：A1(26\36) A2(26\31\33\34\36) A3(26\28\33\50) 1 月真题：2011(34\47\50\52) 2012(27\29\32\34\48\) 10 月真题：2011(7\22\23\25\35\) 2012(2\3\