Czy stwierdzenie jest zdaniem logicznym czy predykatem
: 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
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