Rachunek kwantyfikatorów Przemek: Gdyby ktoś mógł pomóc (napisać jak się za coś takiego brać): Proszę udowodnić, (stosując np. metodę skróconego sprawdzania) podane poniżej prawa rozkładu kwantykatora: (a) ∀x (φ(x)⇔ ψ(x))⇒ (∀x φ(x)⇔∀x ψ(x)) Z góry dziękuję za pomoc