WisFaq!

Waarheidstabel van formule

Ik heb de volgende formule:

(aÙb) Ú (ØaÙc)

Hiervan moet ik een waarheidstabel maken. Maar, ik snap er helemaal niks van. Kunnen jullie me uitleggen wat die symbolen voorstellen?

Idem met $ en ". Ook daarvan weet ik niet wat het betekent. Ik krijg geen wiskunde op school, en moet het zelf opzoeken. Maar, ik kan het niet vinden.

Alvast bedankt!

Dennis Broers
19-6-2003

Antwoord

aÙb betekent a en b
aÚb betekent a of b
Øa betekent niet a

Hiermee kan je voor de gegeven uitdrukking de volgende waarheidstabel maken:



Ernstige bestudering van bovenstaande tabel zou toch enig licht kunnen werpen op dit soort vraagstukjes.

$ betekent 'er is een'
" betekent 'voor alle'

Voorbeeld:
Als je schrijft:
"_nÎ$_mÎ[n-m=1]
dan zeg je:
Voor alle nÎ is er een mÎ waarvoor geldt n-m=1
(wat overgens niet waar is!)
Hopelijk help dat!

WvR
19-6-2003