以下蕴含公式哪个公式是错误的()
A: Q⇒P→Q
B: Q⇒Q→P
C: ﹁P⇒P→Q
D: P⇒Q→P
A: Q⇒P→Q
B: Q⇒Q→P
C: ﹁P⇒P→Q
D: P⇒Q→P
B
举一反三
- 以下蕴含公式哪个公式是错误的() A: Q⇒P→Q B: Q⇒Q→P C: ﹁P⇒P→Q D: P⇒Q→P
- 以下蕴含公式哪个公式是错误的() A: P∧Q⇒P B: P∧Q⇒Q C: P⇒Q→P D: Q⇒Q→P
- 以下蕴含公式哪个公式是错误的() A: Q⇒P→Q B: Q⇒Q→P C: ﹁P⇒P→Q D: P⇒Q→P
- 以下蕴含公式哪个公式是错误的() A: Q⇒P→Q B: Q⇒Q→P C: ﹁P⇒P→Q D: P⇒Q→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
内容
- 0
下列命题公式为永真蕴含式的是( )。 A: (P∧Q)→P B: P→(P∧Q) C: Q→(P∧Q) D: (P∨Q)→Q
- 1
下面哪个命题公式不是重言式 A: Q → (P ∨ Q) B: (P ∧Q)→ P C: ¬(P ∧ ¬Q) ∧ (¬P ∨ Q) D: (P→Q)↔(¬P ∨ Q)
- 2
以下逻辑公式中,()是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- 3
化简公式Q→(P∨(P∧Q))后等价于下列哪个公式。 A: P→Q B: Q→P C: Q D: P
- 4
下列命题公式中,哪个不是重言式? A: Q®(P®Q) B: (P®Q) ® (Q®P) C: ØP®(P®Q) D: P Ù Q®(P«Q)