下面符号串哪个是命题公式？
A: P-> R(P∨Q ）
B: (P∨Q ）-
C: P(Q ）->R
D: P∨﹁R -> S
A: P-> R(P∨Q ）
B: (P∨Q ）-
C: P(Q ）->R
D: P∨﹁R -> S
举一反三
- 判断下面哪个是合法的命题公式（ ） A: (┐p q) r B: ┐p ∨ →r C: p ∧ ┐ q → r D: 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）∧（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 B: (PÙQ)®R C: (P®Q)®R D: P®(QÚR)
- 与命题公式P→(Q→R)等值的公式是。 A: (P∨Q)→R B: (P∧Q)→R C: (P→Q)→R D: P→(Q∨R)