Ainult matemaatikutele

Ülesanne 1: valida hulk ja sellel moodustada predikaadid nii, et saaks kirja panna järgmise lause: "Ühelegi lugupeetavale džentelmenile ei sobi barett."

Tudengi X lahendus:
D(x)="x on lugupeetud džentelmen"
G(x)="x on barett"
[forall]x (G(x)->!D(x))
(mittematemaatikutele tõlge: "ükski barett ei ole lugupeetud džentelmen")

Ülesanne 2: valida hulk ja sellel moodustada predikaadid nii, et saaks kirja panna järgmise lause: "Maailmas ei leidu enam ühtegi džentelmeni, kuna keegi ei kanna enam torukübarat."

Tudengi Y lahendus:
D(x)="x on džentelmen"
C(x)="x on torukübar"
N(x)="x on eikeegi"
[forall]x ((!D(x)&N(x))&!C(x))

(mittematemaatikutele tõlge: "ükski iks ei ole džentelmen, on eikeegi ja ei ole torukübar")

Tudengi Z lahendus:
P - inimeste hulk
P="maailmas pole"
D="lugupeetud džentelmenid"
N="kannavad torukübarat"
[forall]x(D&!N)->P

(tõlkimatu tähemäng :P)

Lisaks:
Tudengite arvates võib inimesi jaotada:
* meesteks ja naisteks;
* poisteks ja tüdrukuteks;
* kohtunikeks ja kohtualusteks;

seevastu täisarve võib jaotada:
* paaris- ja paarituteks arvudeks;
* arvudeks, mille ruut on suurem 16st ja arvudeks, mille ruut on väiksem 25st;

"lihtsalt arve" saab aga jaotada
* positiivseteks ja mittenegatiivseteks arvudeks;
* kahega jaguvateks ja kahega mittejaguvateks arvudeks;
* arvudeks, mille ruut on suurem kui 16 ja arvudeks, mille ruut on suurem kui 25...