请问谓词公式﹁ (P→Q)与下面哪个谓词公式等价？
A: P∧﹁ Q
B: ﹁P∧ Q
C: ﹁P∧ ﹁Q
D: P∨ Q
A: P∧﹁ Q
B: ﹁P∧ Q
C: ﹁P∧ ﹁Q
D: P∨ Q
举一反三
- 下列谓词公式的等价式正确的是。 A: P→Q⇔¬P∨Q B: ¬(∀x)P⇔(∃x)P C: ¬(∃x)P⇔(∀x)(¬P) D: ﹁(P∧Q)⇔﹁P∨Q
- 化简公式Q→(P∨(P∧Q))后等价于下列哪个公式。 A: P→Q B: Q→P C: Q D: P
- 以下等价公式哪个公式是正确的() A: P∨(Q∨R)⇔(P∨Q)∨(Q∨R) B: P∨(Q∨R)⇔(P∨Q)∧(Q∨R) C: P∨﹁Q⇔﹁P∨Q D: P→Q⇔Q→P
- 根据蕴涵律，P®Q与下列哪个公式等价？ A: ﹁P∧Q B: P∧﹁Q C: ﹁P∨Q D: P∨﹁Q
- 下面哪个命题公式不是重言式 A: Q → (P ∨ Q) B: (P ∧Q)→ P C: ¬(P ∧ ¬Q) ∧ (¬P ∨ Q) D: (P→Q)↔(¬P ∨ Q)