2. feladat - predikátumok

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

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

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

• P(x) - páciens x

• D(x) - doktor x

• M(x,y) - x megbízik y-ban

• K(x) - kuruzsló x

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése