设P:天晴,Q:我去打球,则命题“只有在天晴时,我才不去打球”可符号化为( )。
A. ┐QP
B. P┐Q
C. P ┐Q
D. ┐PQ
查看答案
永假式的否定一定是( )
A. 永真式
B. 永假式
C. 可满足式
D. 矛盾式
公式(┐P∧Q)∨( ┐P∧┐Q)可化简为( )。
A. ┐P
B. Q→P
C. P
D. P→Q
下列表达公式之间的关系正确的是()
A. P→(Q→Q)⇒Q→P
B. ┐Q⇒P→Q
C. P⇒P→Q
D. ┐P∧(P∨Q)⇒ ┐P
下列公式中哪个不是永真式?( )
A. (┐P∧Q)→(Q→┐R)
B. P→(Q→Q)
C. (P∧Q)→P
D. P→(P∨Q)