2. feladat - formalizálás

• Van olyan Páciens, aki minden doktorban megbízik.

• (?x)(P(x) ? (?y)(D(y) ? M(x,y)))

• A kuruzslókban egyetlen páciens sem bízik meg.

• (?x)(?y)(P(x) ? K(y) ? ?M(x,y))

• Lássuk be, hogy egyetlen doktor sem kuruzsló.

• ? (?y)(D(y) ? K(y))

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése