struktury iteRacj@:

	x
Podaj przykład struktury, w której formuła (∀x)(∀y)(∃z)(		=z)
	y

jest prawdziwa → liczby wymierne bez zera i struktury, w której formuła ta nie jest prawdziwa → liczby rzeczywiste. Czy odpowiedzi są poprawne?

Adam: Liczby rzeczywiste nie mogą być

iteRacj@: Nie dzielimy przez zero. Czy to powoduje, że nie mogę brać pod uwagę tej struktury, czy też powoduje, że w niej formuła ta nie jest prawdziwa?