Istnieje najwieksza liczba parzysta

[abcd3713]

Podane zdania zapisac jako formuły rachunku zdan. Mozna uzywac symboli: spójników
logicznych, kwantyfikatorów, zmiennych bedacych liczbami naturalnymi oraz symboli
podanych w nawiasach, (mozna tez definiowac symbole pomocnicze)
a) Istnieje najwieksza liczba parzysta \(\displaystyle{ (=,+, \le )}\)
moja propozycja to:
\(\displaystyle{ (\exists x)(\forall y)[(\forall a,b)(x=a+a \wedge y=b+b) \Rightarrow (y \le x)]}\)
czy to jest dobrze? Jesli nie proszę o podpowiedź.

[Jan Kraszewski]

Źle kwantyfikator - twierdzisz, że \(\displaystyle{ x}\) i \(\displaystyle{ y}\) są dwukrotnościami wszystkich liczb.

JK

[abcd3713]

czyli:
\(\displaystyle{ (\exists x)(\forall y)[(\exists a,b)(x=a+a \wedge y=b+b) \Rightarrow (y \le x)]}\) ?

[Jan Kraszewski]

Tak.

JK

[abcd3713]

Dziękuje