4.设P:他聪明,Q:他用功,命题:“他虽聪明但不用功。”表示正确的是
A P∨Q
B P∧┐Q
C P→┐Q
D P∨┐Q