逻辑推理知识点剖析.docxVIP

一、子句集的否定式 求解 （反演 ）而子句集的初始形态通常足 （A，B，C，D）→J这种充分条件命题形式 （蕴涵式），求 这个形式的否定或称反演 ，即 ：一 巛 A，B，C，D）-J}=A，B，C，D，— J充分条件命题的等值命题 ：（A→ B）= -AVB = BV-A语义 ：如果酒后驾车，那么被处罚 = 不酒后驾车，或许也被处罚1.在 逻辑形式 A→ B中 ，A对B是充分的 ，而 B对A就是必要的 （或 必需的 ）。2.在 逻辑形式 A→ B中 ，否定前件和肯定后件都不能推出确定结论 ，但可做不确定推理。如 ：如果得肺炎 ，那 么就发高烧。否前的不确定推理 ：没得肺炎 ，那么也可能发高烧 （不一定不发高烧）。肯后的不确定推理 ：没发高烧 ，那么也可能没得肺炎 （不一定就是肺炎）。逆否传递规则 ：A→ B，B→ C -C→-A顺肯传递规则 ：A→ B，B→ C A→C二、直言命题也称性质命题 ，是 直接断定对象具有或不具有某种性质的命题。如 ： |（1）所有计算机都是需要CPU的 。（2）有些计算机不是台式。例（1）直接断定 “所有计算机”都具有“需要 CPU”的性质。例（2）直接断定“有些计算机”不具有“台式”的性质。分别直接断定了对象“ 具有 ” 或 “ 不具有 ” 某种性质。（一）直言命题的四种形式1、全称肯定命题：全称肯定命题是表达全称肯定判断的语句。符号：SAP。 语义：所有S都是P。简称A命题。如 ： （3）所有的鱼都是卵生的。 （4）任何公民都要遵守法律。 （5）工厂都要用电。语句（3）（4）（5）都是全称肯定命题。语句（5）中可见 ，“工厂”的量项被省略了，但根据上下文可以断定其表达的意义是全称的。表达的意义是全称的。2、全称否定命题：全称否定命题是表达全称否定判断的语句。 符号：SEP。语义：所有s都不是P。简称E命题。如：（6）所有的政府都不能干预司 法活动。（7）任何成功都不是空话。（8）协警不是公务员。语句（6）（7）（8）都是全称否定命题。语句（8）中 “协警“的量项被省略了，但可断定其表达的意义是全称的。3、特称肯定命题：特称肯定命题是表达特称肯定判断的语句。符号：SIP。语义：有些S都是P。筒称I命题。如：（9）有 些行为是不遘德的。（10）有 的废品是可以回收的。（11）存 在醉酒驾车的现象。（有的人醉酒驾车 ）语句（9）（10）（11）都 是特称肯定命题。4.特称否定命题 :特称否定命题是表达特称否定判断的语句。符号 :SOP。语义：有些S不是P，简称O命题。如：（12）有些鸟不是卵生的。（13）有的汽车不是国产的。（14）部分员 工 年薪没达到最低标准。此外，还有单称命题是指：（15）鲁迅是《 狂人 日记》 的作者。（16）中国不做世界霸主。这两个命题的主项，都是单独概念，表达的是单称肯定或否定的判断，故称单称命题。 单称命题对于与其相关的全称命题来说具有特称命题的属性。必须熟记的四个属性：全称肯定A命题与全称否定E命题是上反对关系，不是逻辑矛盾。全称肯定A命题与全称否定E命题不能都真，但可都假。特称肯定I命题与特称否定O命题是下反对关系，不能互相推出。特称肯定I命题与特称否定O命题不能都假，但可都真。（与相容选言属性相同）必须熟记的四句转换：（以“是”为共同素材）不（都是）= 有的不是 –A = O （警示：不可推出：有的是）不（都不是） = 有的是 –E = I (警示：不可推出：有的不是)并非有的是 = 都不是 –I = E 并非有的不是 = 都是 –O = A二、模态命题及推理模态命题：表达必然判断和或然判断的语句。含有模态词“可能”、“必然”、“不可能”、“不必然”是模态命题的特征。如：森林不起火不具有必然性，所以森林可能起火。做生意可能不赚钱，所以做生意不必然赚钱。模态推理必须熟记的四个属性必然P与必然–P是上反对关系，不是逻辑矛盾。必然P与必然–P不能都真，但可都假。（模态意义上存在可能性情况）可能P 与可能–P是下反对关系，不能互相推出。可能P 与可能–P不能都假，但可都真（与相容选言属性相同）必须熟记的四句转化（以“是”为共同要素）不（一定是） = 可能不是 （警示：不可推出： 可能是）不（一定不是） = 可能是 （警示：不可推出：可能不是）不（可能是） = 一定不是不（可能不是） = 一定是量化模态四句转换并非：所有都必然是 = 有些可能不是并非：有些必然是 = 所有都可能不是并非：所有都可能是 = 有些必然不是并非：有些可能是 = 所有都必然不是记忆方法（1）“所有”与“有些”互换。（2）“必然”与“可能”互换。（3）“肯定”与“否定”互换。未必 = 不必然 = 可能不读博士未必能成才 = 读博士