联结词“→”是自然语言中的“如果…,则…”,“若…,才能…”、“除非…,否则…”等的逻辑抽象。
查看答案
设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