给出命题公式p→q的真值表。.docVIP

给出命题公式P→Q的真值表。 P Q P→Q 0 0 1 0 1 1 1 0 0 1 1 1 写出命题公式P→Q∨R的主合取范式。 P Q R Q∨R P→Q∨R 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 由真值表中可以知道，主合取范式为m0 ∨m1∨m2∨m3∨m5∨m6∨m7 这个方法比较简单易懂，还有一种难点的，直接算。就不给你做了 证明下列结论的有效性。 (1) A→B，┐（B∨C）(┐A （1）┐（B∨C） P (2)┐B T(1） I (3)A→B P (4)┐A T(2)(3)I ((x)(C(x) →W(x) ∧R(x)) ∧((x)(C(x) ∧Q(x)) (((x)(Q(x) ∧R(x)) (1)((x)(C(x) →W(x) ∧R(x)) P (2)C(a) →W(a) ∧R(a) T(1) US (3)((x)(C(x) ∧Q(x)) P （4）C(a) ∧Q(a) T(3) ES （5）C(a) T(4)I （6）Q(a)