Szöveg + predikátumok ? állítások

P(F)

(?x)P(x) ? K(x)

(?x)(K(x) ? U(x) ? ? H(x))

U(F)

(?x)(P(x) ? ? H(x))

„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.”

F - Fifi

P(x) - x egy puli

K(x) - x egy kutya

U(x) - x ugat

H(x) - x harap

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése