单项选择题

若P:天下雨;Q:他来了;则“虽然天下雨,他还是来了”,可符号化为()。

A.P∨Q
B.P∧Q
C.P∨┐Q
D.P→Q