"Buza, Krisztian" <chrisbuza(a)yahoo.com> writes:
Kedves Listatagok!
A mintazh 22-es feladatanak megoldasat nem ertem,
a kifejezes masodik resze nem vilagos, pl. az, hogy mi a
z valtozo szerepe.
22. (minden x)(Ember1(x) <->
Ember(x) /\
(minden y, z)( gyereke(x,y) /\ gyereke(x,y) -> y = z))
Jogos, van egy sajtohiba, az egyik gyereke(x,y) helyett gyereke(x,z)
kell. Helyesen:
22. (minden x)(Ember1(x) <->
Ember(x) /\
(minden y, z)( gyereke(x,y) /\ gyereke(x,z) -> y = z))
Szoban a lenyeg: ha van ket gyereke akkor azok egyenloek.
-Peter