证明蕴涵式(PQ)∧「Q「P;
((PQ)∧「Q)「P=「((PQ)∧「Q)∨「P=「(PQ)∨Q∨「P=(P∧「Q)∨Q∨「P=(P∨Q∨「P)∧(「Q∨Q∨「P)因合取范式的每个子句均含某一原子及其否定,所以((PQ)∧「Q)「P恒真。即(PQ)∧「Q「P
举一反三
内容
- 0
与p∧﹁q相矛盾的蕴涵式是﹁p→q。 A: 正确 B: 错误
- 1
蕴涵命题 p→q 的等价式为： A: ¬p∨q B: 另外 3 个都是 C: ¬q→¬p D: ¬(p∧¬q)
- 2
设有下列公式,请问哪个不是永真蕴涵式?(） A: P∧Q=>P B: P∧Q=>P∨Q C: P=> P∧Q D: P∧ (P→Q)=>Q
- 3
蕴涵关系¬Q∧(P→Q)=>¬P成立。
- 4
设有下列公式,请问哪几个是永真蕴涵式?__________. (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P