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”:)