若P：天下雨；Q：他来了；则“虽然天下雨，他还是来了”，可符号化为()AP∨QBP∧QCP∨┐QDP→Q