逻辑推理知识点.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、全称肯