逻辑学第四讲 命题逻辑.ppt

第四讲 命题逻辑 原子命题 复合命题 复合命题真值表 命题推理规则 联言推理 选言推理 相容选言推理 不相容选言推理 假言推理 充分条件假言推理 必要条件假言推理 充要条件假言推理 二难推理 联言推理分解式的一般形式 p1∧p 2∧ …… ∧ pn ——————————— ∴pi (i=1,2,……n) 相容选言推理规则 否定一部分选言支，可以肯定另一部分选言支 肯定一部分选言支，不能否定另一部分选言支 不相容选言推理规则 否定一个选言支以外的选言支，可以肯定余下的那个选言支 肯定一个选言支，可以否定其他选言支 充分条件假言推理规则 肯定前件可以肯定后件 否定前件不能否定后件 肯定后件不能肯定前件 否定后件可以否定前件 必要条件假言推理规则 否定前件可以否定后件 肯定前件不能肯定后件 肯定后件可以肯定前件 否定后件不能否定前件 充要条件假言推理 肯定前件可以肯定后件 否定前件可以否定后件 肯定后件可以肯定前件 否定后件可以否定前件 实质蕴涵怪论 p→ (q→p) ﹁p→ (p→q) (p→q) ∨(q→p) (p→q) ∨(p→﹁q) 一般命题推理及其判定 真值表法 归谬负值法 范式方法 自然推理法 自然推理规则 自然语言符号化 公式最外层的括号可以省略； 联结词的结合力依下列次序递减： ﹁，∧，∨，→， 习题四 * * 并非 ﹁p 并非p 负命题 等值于 p q q当且仅当p 逆蕴涵 p←q 只有p，才q 蕴涵 p→q 如果p，那么q 假言命题 不相容析取 p⊙q 要么p，要么q 相容析取 p∨q P或者q 选言命题 合取 p∧q P并且q 联言命题 联结词 符号形式 命题形式 命题名称 T T T T F F F F F T F F T T T F T F F F T F T T F F T F T T T F T T T T ﹁p p q p←q p→q p⊙q p∨q p∧q q p T F F T T F F F T T T T p→q q p