Nie są. Rozważmy przykład: $\psi = \top$, $\phi_1 = \bot$, $\phi_2 = \bot$. Mamy wtedy $(\psi \Rightarrow \phi_1) \Rightarrow \phi_2 \equiv \top$, ale $\psi \Rightarrow (\phi_1 \vee \phi_2) \equiv \bot$.