podaj przykłady struktur iteRacj@: Proszę o sprawdzenie odpowiedzi: Podaj przykłady struktur, w których prawdziwe są zdania. 1/ (∃x)(∀y)(x<y) − liczby rzeczywiste nieujemne Dla rzeczywistych dodatnich zdanie nie byłoby prawdziwe? 2/ (∀y)(∃x)(x<y) − liczby rzeczywiste

ABC: ale przecież ∼(x<x)

iteRacj@: A czy istnieje taka struktura, dla której to zdanie jest prawdziwe?

Adam: Co to jest za chiński symbol?

ABC: niepusta struktura?

iteRacj@: W niepustej zawsze będzie fałszywa.

Adam: 1. Wtedy w szczególności x<x, przeczy przeciwzwrotności <

iteRacj@: 1/ czy można w odpowiedzi podać że przykładem takiej struktury jest struktura pusta? 2/ druga odpowiedź jest poprawna?

ABC: 1) to zależy od wykładowcy 2) tak

iteRacj@: Dziękuję Wam obu za pomoc.

Adamm: https://pl.wikipedia.org/wiki/Kwantyfikator#Kwantyfikatory_ograniczone x należy do zbioru pustego, a mamy do czynienia z kwantyfikatorem "istnieje", więc całe zdanie jest fałszywe

iteRacj@: I tak będę zeznawać, dziękuję!