Student: B07902108 翁祖毅 1. $\phi U \psi \equiv \psi R(\phi \lor \psi) \land F \psi$ $\phi U \psi$ $\equiv \phi W\psi \land F \psi$ $\equiv \psi R(\phi \lor \psi) \land F \psi$ 2. $\phi W \psi \equiv \psi R(\phi \lor \psi)$ Let $\pi$ be a path $s_0 \rightarrow s_1 \rightarrow$ ...