下列哪个不是命题公式()
A: (P∧﹁Q)→P
B: (P↔(P∨Q))
C: (﹁P∨﹁Q∧﹁R)
D: (P∨R)→Q)
A: (P∧﹁Q)→P
B: (P↔(P∨Q))
C: (﹁P∨﹁Q∧﹁R)
D: (P∨R)→Q)
举一反三
- 下列哪个不是命题公式() A: (﹁P∨﹁Q∧﹁R) B: P→(﹁Q∧﹁R) C: P→﹁Q→T D: (﹁P∨﹁Q)﹁R
- 下列哪个不是命题公式() A: (P∧﹁Q)→P B: ﹁P∨﹁Q C: ﹁P∧﹁Q∧﹁R D: P→∧Q
- 下面哪一组命题公式不是等价的（ ） 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
- 下列命题公式中不是重言式的是( )。 A: p→(q→ r) B: p→(q→p) C: ¬ p→(¬ p→¬ p) D: p→(q→r)) ↔(q→(p→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)