若命题公式P→Q成立,则下列蕴含关系成立的是:
举一反三
- 命题“P蕴含Q”表示P合取非Q是可以成立的
- 下列命题公式成立的为() A: ¬P∧¬Q⇔P∨Q B: ¬B→A⇔A→B C: P→Q⇒Q D: ¬A∧(A∨B)⇒B
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
- 下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 下列命题公式为永真蕴含式的是（ ）。 A: （P∧Q）→P B: P→（P∧Q） C: Q→（P∧Q） D: （P∨Q）→Q