下列命题公式成立的为()
A: ¬P∧¬Q⇔P∨Q
B: ¬B→A⇔A→B
C: P→Q⇒Q
D: ¬A∧(A∨B)⇒B
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∨Q B: P®ØQÛØP®Q C: Q®PÞP D: ØP∧(P∨Q)ÞQ
- 下列命题公式是等价公式的为 A: ØPÙØQÛPÚQ B: A®(ØB®A)ÛØA®(A®B) C: Q®(PÚQ)ÛØQÙ(PÚQ) D: ØAÚ(AÙB)ÛB
- 下列命题公式为重言式的是( )。 A: p→(p ˅ q) B: (p ˅¬ p) →q C: q ˄ ¬ q D: p→¬ q