设P:我很累,Q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是( )。
A. ┐P∧Q
B. ┐P→Q
C. ┐P→┐Q
D. P→┐Q
查看答案
命题公式( )是重言式。
A. Q→(P∧Q)
B. P→(P∧Q)
C. (P∧Q)→P
D. (P∨Q)→Q
设P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )。
A. P∨Q
B. P∧┐Q
C. P→┐Q
D. P∨┐Q
命题公式( )是永真式。
A. (P∧┐P)DQ
B. ┐(P→Q)∧Q
C. (P→Q)∨P
D. (P∨Q)∧(P→┐P)
命题公式( )是永假式。
A. P→(P∨Q∨R)
B. (P→┐P)→┐P
C. ┐(Q→Q)∧Q
D. ┐(Q∨┐P)→(P∧┐P)