[填空题,1分] 若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为_______
出自:河南理工大学-计算机科学与技术-离散数学