事件A发生前一定发生过事件B：一阶逻辑和时序逻辑表示

一阶逻辑表示：

∀x (A(x) → ∃y (B(y) ∧ happened_before(y,x)))

其中，A(x)表示事件x是A事件，B(y)表示事件y是B事件，happened_before(y,x)表示事件y在事件x之前发生。

时序逻辑表示：

G(A → F(B))

其中，G表示全局性质（全局始终成立），F表示未来性质（在未来某个时刻成立），A和B分别表示A事件和B事件。该公式的意思是：如果A事件发生，则在未来某个时刻一定会发生B事件。