k wiktoria: Czy podane wyrażenie jest prawem rachunku kwantyfikatorów? [ ∃x∊X φ(x) ⇔∃x∊X ω(x) ] ⇒ ∃x∊X [ φ(x) ⇔ ω(x) ] Proszę o pomoc. Nie rozumiem tego

Przemysław: Najpierw możesz spróbować znaleźć takie formuły ω i φ, że to nie będzie się zgadzało. Jak kilka razy spróbujesz i się nie uda, to próbuj pokazać, że to zawsze jest prawda. Np. nie wprost.