1. feladat - formalizálás

• Aki tud írni és olvasni, az nem analfabéta.

• A delfinek analfabéták.

• Némelyik delfin intelligens.

• Lássuk be, hogy van olyan intelligens lény, aki nem tud írni olvasni.

• (?x)(IO(x) ? ?A(x))

• (?x)(D(x) ? A(x))

• (?x)(D(x) ? I(x))

• (?x)(I(x) ? ?IO(x))

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése