单项选择题

令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。

A.p∧¬q
B.p∨¬q
C.p∧q
D.p→¬q