kwantyfikatory internetinho: Czy nastepujace zdania sa prawami rachunku kwantyfikatorów? Jesli tak, to je udowodnic, jesli nie, to znalezc kontrprzykład: a) ∀x [Φ(x) ⇒ ω(x)] ⇒ [∀x Φ(x) ⇒ ∀x ω(x)] b) ∀x [Φ(x) ⇒ ω(x)] ⇒ [∃x Φ(x) ⇒ ∃x ω(x)] Dziękuję.