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