题目内容

命题公式(P∨Q)→Q为()

A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式

查看答案
更多问题

下列命题公式等值的是( )

A. ¬P∧¬Q,P
B. A→(A→B),¬A→(A→B)
C. Q→(P∨Q),¬Q∨P∨Q
D. ¬A∨(A∧B),B

若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )

A. P∨Q
B. P∧┐Q
C. P→┐Q
D. P∨┐Q

以下命题公式中,为永假式的是( )

A. p→(p∨q∨r)
B. (p→┐p)→┐p
C. ┐(q→q)∧p
D. ┐(q∨┐p)→(p∧┐p)

全体极大项的合取式为( )

A. 可满足式
B. 矛盾式
C. 永真式
D. 以上都有可能

答案查题题库