Rachunek kwantyfikatorów reltih: ∀x[α(x) ⇔ β(x)] ⇒ [∀xα(x) ⇔ ∀xβ(x)] Czy prawa strona mówi dokładnie to samo co lewa?

iteRacj@: Nie, treść jest inna. ∀x[α(x) ⇔ β(x)] Każdy mężczyzna jest zadowlony wttw gdy łowi ryby. [∀xα(x) ⇔ ∀xβ(x)] Każdy mężczyzna jest zadowlony wttw gdy każdy mężczyzna łowi ryby.