逻辑有效式十一月整理.docVIP

PAGE PAGE 1 1. 命题形式的真值情况 p q ﹁p p ∧ q p ∨q p不相容析取q p→q p←q p ?q 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 P真则假，p假则真 全真则真，其余为假 一真则真，全假则假 一真才真， 其余为假 前真后假则假，其余为真 前假后真则假，其余为真 同真（假）则真，其余为假 2. 复合命题推理 类型 有效式 无效式 规则 负命题推理 双重否定： p├ ﹁﹁p ﹁﹁p├ p 或 p├┤﹁﹁p ? 任一命题与其双重否定命题必然互推。 联言推理 分解式： p∧q├ p p∧q├ q ? 从联言命题必然推出其任一肢命题； 从某些命题必然推出由它们组成的联言命题。 组合式： p，q├ p∧q 相容选言推理 否定肯定式： p∨q , ﹁p├ q p∨q∨r, ﹁q├ p∨r 肯定否定式 否定一部分选言肢，就必然能肯定另一部分选言肢。 肯定一部分选言肢，不能必然否定另一部分选言肢。 附加律： p├ p∨q p∨q├ p∨q∨r 不相容选言推理 否定肯定式： p不析q , ﹁p├ q P不析q不析r, ﹁q├ p不析r ? 否定一部分选