Feladat szövegéből az predikátumok kinyerése
F - Fifi
P(x) - x egy puli
K(x) - x egy kutya
U(x) - x ugat
H(x) - x harap
„Fifi egy puli. A pulik kutyák. Amelyik kutya ugat, az nem harap. Fifi mindig ugat. Lássuk be, hogy van olyan puli, amelyik nem harap.”
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése