De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath} Printen

Negatie Gekwantificeerd Oordeel

Uitspraak:
(∃y ∈ Z+)(∀x ∈ Z-)(x ≥ y) Deze uitspraak is fout, toch?
Negatie:
(∀y ∈ Z!)(∀x ∈ Z+)(x ≥ y) Juist?

Ik weet niet hoe het juist werkt maar.. Ik lees bij de eerste uitspraak: er is een y, element van de pos. gehele getallen (negatie: voor alle y, geen element van de gehele getallen?) voor alle x element van negatief gehele getallen (negatie: voor alle x element van positief gehele getallen?)

Klopt dit of is het iets anders?
Thx.

Jeroen
Student Hoger Onderwijs België - dinsdag 18 januari 2011

Antwoord

Het gaat helemaal mis: niet-(er is een positief getal met eigenschap j) wordt ``elk positief getal heeft niet eigenschap j''
daarna: ``niet elk negatief getal heeft q'' wordt ``er is een negatieg getal dat niet eigenschap q heeft''.
Dus de negatie wordt
("y in Z+)($x in Z-)(xy) (want de negatie van xy is in Z: xy

kphart
Vragen naar aanleiding van dit antwoord? Klik rechts..!
woensdag 19 januari 2011



home |  vandaag |  bijzonder |  gastenboek |  statistieken |  wie is wie? |  verhalen |  colofon

©2001-2024 WisFaq - versie 3