WisFaq!

Elementaire Logica | fout in dictaat?

Volgens ons boek:

"xÎ$yÎ [x²y]
$xÎ"yÎ [x²y]
"yÎ$xÎ [x²y]
$yÎ"xÎ [x²y]

Volgens boek: t / f / t / f (true / false)

De eerste is waar - kies y = -1
False, logisch
De derde ook waar - kies x = y

De laatste snap ik niet. Volgens het boek is deze false,
maar hier kun je toch ook zeggen: Kies y = -1. Nu maakt het verder niet meer uit wat de keuze voor x wordt. De bewering is nu altijd waar toch?

Maikel v Gulik
3-10-2007

Antwoord

Dag Maikel,

Die laatste is inderdaad waar. Je keuze (y=-1) klopt. Zelfs y=0 doet het.

Groet. Oscar

os
3-10-2007