逻辑推理精讲.docVIP

逻辑推理讲义 复合命题推理 充分命题推理 关联词：就；则；如果。。。那么 符号形式：A—B（读A则B） 推理规则：A—B，A=B 肯前必肯后 （最基础模型） A—B，-B=-A 否后必否前 （最基础模型） 错误推理：只要看到了错误推论，直接排除，不必向下看了 否定前件——否定前件推不出确定的结论（具有可能性） 肯定后件——肯定后件推不出确定的结论（具有可能性） 充分传递推理 分离传递：A—B，B—C = A—C 下雨——地湿，地湿——路滑 推出 下雨——路滑 逆否传递：A—B ，B—C = -C—-A 下雨——地湿，地湿——路滑 推出 – 路滑—— -下雨 必要条件命题推理 关联词：只有。。才。。。；必须。。。才。。；。。。才。。。 符号形式：B—A（读B才A） 模型 （看到“才“就画反向箭头） 只有B才A=如果A就B 断定A—B的关系 如果A，那么B； 若A则B（A就B） A必须B A离不开B A是以B为条件的 B是A的必要条件 A以B为基础 B是A必须的基础 A是指：B 相容选言推理 符号形式：A V B （读A或B） 语义：至少一个成立 ，也可以都成立。 推理规则：否定规则（排中律）——排除法（排除一个选中另一个） 否前肯后：A V B，-A=B 否后肯前：A V B，-B=A 错误推理：肯定式 具有相容选言关系的命题，肯定一个或一部分不能推出结论