Equation 16.5.60B424028202D9

\begin{equation} E_{\theta }^{\phi }(\varphi \lor \psi )+E_{\theta }^{\phi }(\varphi \land \psi )\geq E_{\theta }^{\phi }(\psi )+E_{\theta }^{\phi }(\varphi ). \end{equation}