Odczytać zdanie ???: Jak to odczytać? ~ ( ∨ x² + 5=0) x∊R

Amaz: Nieprawda, że dla kazdego x należącego do zbioru liczb rzeczywistych zachodzi równość: x²+5=0

konrad: nie istnieje taka liczba rzeczywista x, że x²+5=0 albo ...spełniająca równanie x²+5=0

trotex: nieprawda że istnieje x należące do zbioru liczb rzeczywistych takie , że x²+5=0 − nie jestem pewny czy tak

trotex: Amaz tam masz ⋁− istnieje , a nie ⋀− dla wszystkich . Tutaj opisane są znaki https://matematykaszkolna.pl/strona/1070.html . ~ − nieprawda

Amaz: Hmmm, chyba zle konrad, bo jakby miało być "nie istnieje", to byłoby: "~∃". Ale juz teraz nie jestem pewny.

konrad: tak, źle jest

Amaz: Niech ? ? ? powie nam czy jego znak wygląda tak: "V", czy tak: "∀".

konrad: myślę, że raczej ten pierwszy, bo w poprzednim zadaniu użył tego odwróconego V, czyli raczej stosuje tą wersje kwantyfikatorów

Amaz: Aha, nie widziałem wcześniejszego zadania Byłem pewny, że ? ? ? używa nowych kwantyfikatorów.

???: ∨ taki

trotex: no dobra Amaz i konrad , bo chyba jesteście lepsi ode mnie moja interpretacja jest dobra czy zła ?

Amaz: Jeśli ? ? ? uzywa starych kwantyfikatorów, to stwierdzenie "nie istnieje: jest prawdziwe.

???: Twierdzenie nie istnieje jest prawdziwe.