命题“如果小张起晚了或者是堵车了，那么就会被淘汰”的符号化表示为__