Co to jest [latex]X[/latex]? Jakieś ciało?
Jeśli tak, to wybieramy z.
Szukamy takiego x, żeby dla każdego y, xy=z.
Dla każdego y, czyli w szczególności dla y=z.
xz=z => x=1 lub z=0
Gdy x=1, y=/=z nie będą spełniały równania, więc to nie działa. Zostaje tylko opcja z=0.
Czyli ta funkcja zdaniowa jest prawdziwa tylko dla z=0. (Chyba, że gdzieś coś przeoczyłem, ale nie sądzę).
Jeśli tak, to wybieramy z.
Szukamy takiego x, żeby dla każdego y, xy=z.
Dla każdego y, czyli w szczególności dla y=z.
xz=z => x=1 lub z=0
Gdy x=1, y=/=z nie będą spełniały równania, więc to nie działa. Zostaje tylko opcja z=0.
Czyli ta funkcja zdaniowa jest prawdziwa tylko dla z=0. (Chyba, że gdzieś coś przeoczyłem, ale nie sądzę).
![[Obrazek: style3,Fizyk.png]](http://www.sloganizer.net/en/style3,Fizyk.png)
"Tylko dwie rzeczy są nieskończone - Wszechświat i ludzka głupota. Co do Wszechświata nie jestem pewien" - Albert Einstein
