ik zoek de negatie van volgende uitspraak:
(voor alle y €
¯)(voor alle x € +)(x 
= y) Ik denk dat het antwoord het volgende is:
(er bestaat y €
¯)(er bestaat x € +)(x 
y) Klopt mijn antwoord?
Alvast bedankt!
PS: "voor alle" is de universele kwantor
"er bestaat" is de existentiele kwantor
€ is "is een element van"
Thomas
18-12-2009