WisFaq!

Twee ongelijknamige kwantoren zijn niet verwisselbaar

Ik snap het verschil niet tussen deze twee formuleringen

"xÎ, $yÎ:xy
$yÎ, "xÎ:xy

Joke
12-1-2006

Antwoord

Het eerste zegt in woorden:

Voor elk natuurlijk getal (noem het x), bestaat er een natuurlijk getal (noem het y), zodat y groter is dan x.

Het komt er op neer dat, voor gelijk welk natuurlijk getal je neemt, er nog steeds een groter bestaat. Die uitspraak is waar.


De tweede zegt:

Er bestaat een natuurlijk getal (noem het y), zodat voor elk natuurlijk getal (noem het x), y groter is dan x.
Dus eigenlijk staat er: Er bestaat een natuurlijk getal (y), dat groter is dan elke natuurlijk getal. Die uitspraak is vals.


Ik hoop dat je het een beetje hebt gesnapt nu. Lees het anders nog een paar keer na.

Succes!

km
12-1-2006