Napisz zaprzeczenie zdania anon: Napisz zaprzeczenie zdania ∃_x∊R (x = 2 ∧ x < 0) Wychodzi mi ∀_x∊R (x ≠2 v x ≥ 0). Poprawnie? Jak nie to jak powinno wyjść i co robię źle?

chichi: tak, widocznie nie wiesz z czego nawet korzystasz. są to prawa de Morgana dla kwantyfikatorow oraz zdań

anon: No właśnie nie do końca rozumiem, ale teraz mam jakiś punkt zaczepienia. Dzięki za pomoc

chichi: ¬(∃x∊R(x = 2 ∧ x < 0)) =¹ ∀x∊R(¬( x = 2 ∧ x < 0)) =² ∀x∊R (x ≠ 2 ∨ x ≥ 0) (1) zachodzi dlatego iż na mocy prawa de Morgana dla kwantyfikatorów: ¬(∃_x p(x)) ⇔ (∀_x ¬p(x)) (2) zachodzi dlatego iż na mocy prawa de Morgana dla zdań: ¬(p ∧ q) ⇔ ¬p ∨ ¬q Myślę, że teraz wszystko powinno być jasne