Zbior Garth: Jak wyznaczyc ponizszy zbior? A = {x∊ℛ: ¬∃y∊ℛ y² + (x − 3)y − 4 > 0} Czy tutaj y jest zmienna niezalezna i ten wykres to bedzie parabola, ale z ramionami skierowanymi w prawa strone?

Basia: ~∃ (...) ⇔ ∀~(....) A = {x∊R: ∀_y∊R y² + (x−3)y − 4 ≤ 0 } y niewidoma; x parametr; zbiorem rozwiązań ma być R a jeżeli y jest niewiadomą to masz parabolę skierowaną ramionami do góry czyli nie ma takiej wartości x, dla którego zbiór rozwiązań byłby = R czyli A=∅

Garth: Jeszcze dwa zbiory mam, do sprawdzenia, czy dobrze wyznaczylem: B = {x∊ℤ: ¬∀y∊ℛ xy² + y + 1 < 0} B = ℤ ←−−−−−−−−−−−−−−−−−−−−→ C = {x∊ℕ: ¬∀y∊ℛ y² −xy + 5 > 0} C = {5, 6, 7, 8, ...} = {w∊ℕ ∧ w≥5}