前提：(p∧q)Þr，~r∨s，~s，p结论：q、设p发生了堵车，q他起晚了，r他迟到了，则用逻辑符号表示命题“今天虽然他起晚了，但是没有堵车，所以他没有迟到