逻辑推理讲义复合命题推理一、充分命题推理1
关联词:就;则;如果
符号形式: A — >B(读 A 则 B)3
推理规则: A — >B,A=>B 肯前必肯后(最基础模型)A — >B,-B=>-A 否后必否前(最基础模型)4
错误推理: 只要看到了错误推论,直接排除,不必向下看了a)否定前件——否定前件推不出确定的结论(具有可能性)b)肯定后件——肯定后件推不出确定的结论(具有可能性)二、充分传递推理1
分离传递: A — >B,B— >C => A — >C 下雨——地湿,地湿——路滑推出下雨——路滑2
逆否传递: A — >B ,B— >C => -C — >-A 下雨——地湿,地湿——路滑推出– 路滑——-下雨三、必要条件命题推理1
关联词:只有
符号形式: B< — A(读 B 才 A)模型(看到“才“就画反向箭头)3
只有 B 才 A= 如果 A 就 B 四、断定 A — >B 的关系1
如果 A ,那么 B;2
若 A 则 B( A 就 B)3
A 必须 B 4
A 离不开 B 5
A 是以 B 为条件的6
B 是 A 的必要条件7
A 以 B 为基础8
B 是 A 必须的基础9
A 是指: B 五、相容选言推理1
符号形式: A V B (读 A 或 B)2
语义:至少一个成立,也可以都成立
推理规则:否定规则(排中律)——排除法(排除一个选中另一个)1)否前肯后: A V B ,-A=>B 2)否后肯前: A V B ,-B=>A 4
错误推理:肯定式1)具有相容选言关系的命题,肯定一个或一部分不能推出结论六、摩根定律1
运用情景:只要出现两个的,那么就是摩根定律
通俗记忆:开括号的方法,负号一项分配一个,中间变号(或变且,且变或)3
-(A ,B)= -A V –B 并非 A 和 B