逻辑有效式（一）.pdfVIP

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 肯定一部分选言肢，就必然能否定另一部分选言 1 P 不析q 不析r, r ├﹁p ∧﹁q 肢。 肯定前件，就必然能肯定后件； 肯定前件式： p→q , p ├q 否定前件式 否定后件，就必然能否定后件。 充分条件假言推理 肯定后件式 否定前件，不能必然肯