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.