下列不属于命题公式的是()
A: (P®(P∨Q))
B: (ØP®Q)®(Q®P)))
C: ((ØP®Q)®(Q®P))
D: (Q®R∧S)
A: (P®(P∨Q))
B: (ØP®Q)®(Q®P)))
C: ((ØP®Q)®(Q®P))
D: (Q®R∧S)
举一反三
- 下面哪一组命题公式不是等价的（ ） A: （P→Q）∧（Q→P），P<->Q B: ┐（P<->Q），（P∧┐Q）∨（┐P∧Q） C: P→（Q∨R），┐P∧（Q∨R） D: P→（Q∨R），（P∧┐Q）→R
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 下列哪个不是命题公式() A: (P∧﹁Q)→P B: (P↔(P∨Q)) C: (﹁P∨﹁Q∧﹁R) D: (P∨R)→Q)
- 1．下列命题公式为重言式的是 。 A: (P∨R) ∧(P→Q) B: P→(Q∨R) C: (P→Q) ∧(Q→P) D: (P∧Q)→P
- 命题公式p→(q→r)与以下哪些命题公式等值（） A: (p∧q)→ B: (p∨q)→ C: ¬p∨¬q∨ D: ¬p∧¬q∧ E: p→q→