单项选择题若p：他怕困难；q：他战胜困难；则“他战胜困难是因为他不怕困难。”，可符号化为（）
A.p∨qB.p∧┐qC.p→┐qD.q→p
单项选择题若p：他聪明；q：他用功；则“他虽聪明，但不用功”，可符号化为（）
A.p∨qB.p∧┐qC.p→┐qD.p∨┐q
