Kwantyfikatorki Ania: Hejcia wszystkim bardzo proszę kogoś o podpowiedzenie mi z prawdziwością tego zdania. A mianowicie mam takie super piękne zdanie: (∀x∊R)(∀y∊R)(y>0⇒(∃z∊R)x>yz) Zanegowałam to dwa razy i mi wyszło: (∀x∊R)(∀y∊R)(y≤0∨(∃z∊R)x>yz) Dla każdego y∊R, y≤0 zatem to zadanie jest prawdziwe lub Istnieje z∊R taki że dla ∀x,y∊R x>yz Mamy możliwości: ( I właśnie tu tkwi problem, bo tych możliwości jest bardzo dużo,albo coś tu źlle rozumiem).

Qulka: przy negacji zmieniasz też kwantyfikatory

Qulka: aaa dwukrotnie ok zdanie dla każdego y≤0 nie jest prawdziwe bo nie dla każdego

Qulka: ale całość jest prawdziwa zawsze znajdziesz takie z żeby x>yz