Czy stwierdzenie jest zdaniem logicznym czy predykatem

Permutacje. Kombinacje. Wariacje. Rozmieszczanie kul w urnach. Silnie i symbole Newtona. Przeliczanie zbiorów. Funkcje tworzące. Teoria grafów.
winfast29
Użytkownik
Użytkownik
Posty: 340
Rejestracja: 27 wrz 2008, o 15:11
Płeć: Mężczyzna
Lokalizacja: Gniew
Podziękował: 199 razy

Czy stwierdzenie jest zdaniem logicznym czy predykatem

Post autor: winfast29 » 12 lip 2010, o 15:01

Jako uniwersum przyjmijmy zbiór N. Czy podane stwierdzenie jest
zdaniem logicznym czy predykatem?

\(\displaystyle{ \forall x\exists z; x + y < x + z}\)
\(\displaystyle{ \forall x \exists z; x + y < y + z}\)

Ja uważam, że można to zrobić tak:

\(\displaystyle{ \forall x\exists z; y < z}\)
z tego może predykat
\(\displaystyle{ \forall x \exists z; x < z}\)
z tego wyjdzie, że to prawda czyli zdanie logiczne

ODPOWIEDZ