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))
Koszonom, Buza Krisztian
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com