题目内容

下列是否永真蕴涵式的有( )

A. P=>P∧Q
B. P∧Q=>P
C. P∧Q=>P∨Q
D. P∧(P→Q)=>Q
E. ¬(P→Q)=>P
F. ¬P∧(P∨Q)=>¬P

查看答案
更多问题

永真式的否定是( )

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

命题公式(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

答案查题题库