逻辑有效式.docVIP

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 ? 否定一部分选言肢，就必然能肯定另一部分选言肢。 肯定一部分选言肢，就必然能否定另一部分选言肢。 肯定否定式： p不析q , p├﹁q P不析q不析r, r├﹁p∧﹁q 充分条件假言推理 肯定前件式： p→q , p├q 否定前件式 肯定后件式 肯定前件，就必然能肯定后件； 否定后件，就必然能否定后件。 否定前件，不能必然肯（否）定后件； 肯定后件，不能必然肯（否）定前件。 否定后件式： p→q , ﹁q├ ﹁p 必要条件假言推理 否定前件式： p←q , ﹁p├ ﹁q 肯定前件式 否定后件式 否定前件，就必然能否定后件； 肯定后件，就必然能肯定后件。 肯定前件，不能必然肯（否）定后件； 否定后件，不能必然肯（否）定前件。 肯定后件式： p←q , q├ p 充分必要条件假言推理 肯定前件式： p ? q , p├ q 肯定后件式： p ?q , q├ p 否定前件式： p ? q , ﹁p├ ﹁q 否定后件式： p ?q , ﹁q├ ﹁p ? 肯定前件，就必然能肯定后件； 肯定后件，就必然能肯定前件； 否定前件，就必然能否定后件； 否定后件，就必然能否定前件。 3. 命题间真值关系的判定 真值表判定法 等值关系：在真值表中每一行都相同（同真、同假） 矛盾关系：在真值表中每一行都不同（不同真、不同假） 差等关系：如果p真，则qq假，则p1）析取定义律： (p∨q ) ? ﹁(﹁ p∧﹁ q ) （2）合取定义律： (p∧q ) ? ﹁(﹁ p∨﹁ q ) （3）德摩根律： ﹁ (p∧q ) ? (﹁ p∨﹁ q ) ﹁ (p∨q ) ? (﹁ p∧﹁ q ) （4）严格析取定义律： (p不析q ) ? ((p ∧﹁q)∨(﹁p∧ q)) (p 不析q ) ? ((p ∨q)∧ ﹁(p∧ q)) （5）否定严格析取律： ﹁ (p不析q ) ? ((p ∧q)∨(﹁p∧﹁ q)) （6）蕴涵定义律： (p →q )? (﹁p∨q) （7）否定蕴涵律： ﹁ (p →q )? (p∧﹁q) （8）逆蕴涵定义律： (p ←q )? (p∨﹁q) （9）否定逆蕴涵律： ﹁ (p ←q )? (﹁p∧q) （10）蕴涵逆蕴涵交换律： (p →q )? (q ← p ) (p ←q )?(﹁ p → ﹁ q ) （11）等值定义律： (p ?q )?((p∧q )∨(﹁p∧﹁q)) (p ?q )?( p →q )∧(p ←q) （12）否定等值律： ﹁ (p ?q )?((p∧﹁ q )∨(﹁p∧q))