====== Logika - Zadanie 109. ======
Nie są.

  * Niech $\phi = \forall x .\psi$, a $\psi =$ cokolwiek.
  * Wtedy $(\forall x. \psi) \Rightarrow \phi$ jest tautologią.
  * A z kolei $\forall x .(\psi \Rightarrow \phi)$ tautologią nie jest. Jest za to popularnym wśród kobiet błędem zwanym "uogólnianiem":)