eerste:
voor alle (omgekeerde A) x element van BOEK geld x is niet gelijk aan 'java'. God, hoe doe je dat zonder tekens.
Ok, knip dit en paste met lettertype "Symbol" (weet niet zeker of dit buiten windows98 werkt).
("cÎA)(c¹s) waarbij
A = "BOEK"
s = "Java"
de 2e is dan heel simpel:
sCtÏp waarbij
s = "Jansen"
t = "Databases"
p = "LENING"
dus: Jansen X Databases is een element van LENING.
de 3e:
("cÎA)(cCsÏt) waarbij
A = "STUDENT"
s = "Databases"
t = 'LENING'
Dus in normaal nederlands staat daar. Voor alle x element van STUDENT geldt dat x X Databases is geen element van LENING.
tenminste, zo zou ik het doen.
Build a man a fire, and he'll be warm for a day. Set a man on fire, and he'll be warm for the rest of his life - Terry Pratchett