Zaprzeczenie zdania Karo: Hej Czy ktoś mógłby sprawdzić ten przykład? Kompletnie nie wiem jak to zrobić, ale przynajmniej próbuję, proszę o wyrozumiałość Napisz zaprzeczenie zdania: ∀y[y=1V∃x(x³+y⇒x<3)] zrobiłam tak: ∃y[y≠1∧∀x(x³+y⇔x≥3)]

pigor: zaprzeczenie implikacji ∼(p⇒q) ⇔ p∧∼q , dlatego u ciebie ∼(x³+y ⇒ x< 3) zastąp nie równoważnością tylko koniunkcją x³+y ⋀ x ≥3, reszta jest dobrze .

Karo: dziękuję bardzo