设p发生了堵车，q他起晚了，r他迟到了，则用逻辑符号表示命题“今天虽然他起晚了，但是没有堵车，所以他没有迟到