单选题：‍令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为‌Ap∧┐qBp∨┐qCp∧qDp→┐qE┐p→q