Negatie van gekwantificeerde oordelen

Hallo,

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
Student Hoger Onderwijs België - vrijdag 18 december 2009

Antwoord

Dat is correct.

kphart
zondag 20 december 2009

©2001-2024 WisFaq