Logika nikt: Utwórz zaprzeczenie zdania aby nie było w nim znaku negacji. a) ∀x ∃y : x>y odp: ∃x ∀y : x<y (Czy to zdanie jest prawdziwe? Według mnie nie.)

Kacper: A Dlaczego nie?

Saizou : ¬(∀x∃y x>y)= ∃x∀y x ≤ y

WueR: Zdanie prawdziwe, dla dowodu wystarczy przyjac x = y − 1.

Gray: Zdanie ∃x∀y x ≤ y oczywiście nie jest prawdziwe.

Kacper: No to teraz czekam na argumenty za i przeciw, bo dwie osoby myślą inaczej

Gray: Pomyśl: czy istnieje liczba mniejsza (a dokładnie nie większa) niż wszystkie liczby? To jest napisane w zdaniu: ∃x∀y x ≤ y Zakładając, że taki x istnieje i biorąc y = x+1 mamy sprzeczność.

Gray: Pomyłka w znaku: zakładając, że taki x istnieje i biorąc y = x − 1 mamy sprzeczność.

Kacper: Ja znam odpowiedź, tylko czekam na wypowiedź WueR, bo oboje macie inne stanowiska w tej sprawie

Gray: Ja też znam odpowiedź