命题公式（P∧（P→Q））→Q是
蕴涵式
举一反三
内容
- 0
命题公式p∨q的合取范式是()。 A: p∧q B: (p∧q)∨(p∨q) C: p∨q D: ¬(¬p∧¬q)
- 1
命题公式(┐p→q)→(┐q∨p)的主析取范式是p∨¬q
- 2
命题公式¬(P→Q)的析取范式是() A: P∧¬Q B: ¬P∧Q C: ¬P∨Q D: P∨¬Q
- 3
下列命题公式是重言式的是()。 A: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)
- 4
命题公式¬(p→q)的主析取范式是()。 A: p∧¬q B: ¬p∧¬q C: ¬p∨q D: p∨¬q