单项选择题

设:P:他聪明;Q:他用功。则命题“他虽聪明但不用功。”在命题逻辑中可符号化为()

A.PÙQ
B.P®Q
C.PÚØQ
D.PÙØQ