Question

离散数学，求高手看看怎么表示，将下列命题符号化

1.虽然交通堵塞，但是老张还是准时到达火车站
2.除非你陪我去，否则我就不去

Answer 1

1
事件A:交通阻塞
事件B:老张准时到达火车站
A∨B -> A∧B
2
事件C:你去
事件D:我去
┐(C∧D)<-> ┐D