第三章命题逻辑材料.ppt

命题逻辑 * of 145 定义 设 A 和 C 是两个命题公式，当且仅当 A → C 是一重言式，即A ? C，称 C 是 A 的有效结论。 推广到有 n 个前提的情况，设 H1, H2,…,Hn,C是命题公式，当且仅当 H1 ? H2 ?… ? Hn ? C 称 C 是一组前提H1, H2,…,Hn的有效结论。 论证方法： 真值表法、直接证法、间接证法 命题逻辑 * of 145 例 前提 结论 ( P ? Q ) ? ? P ? Q 命题逻辑 * of 145 1. 真值表法 从真值表上找出 H1 , H2 ,… , Hn 真值均为 T (1)的行，对每一个这样的行，若 C 的真值也为 T(1),则 H1 ? H2 ?… ? Hn ? C 成立。 或看 C 为 F(0) 的行, 在每个这样的行中， H1 , H2 ,… , Hn 真值中至少有一个为 F(0), 则 H1 ? H2 ?… ? Hn ? C 也成立。 命题逻辑 * of 145 例 考察 C 是否是下列前提 H1, H2 的有效结论？ 1) H1: P → Q H2 : P C: Q 是 否 否 2) H1: P → Q H2 : ?P C: Q 3) H1: P → Q H