Vandaag kregen we Booleaanse algebra, en de leraar schreef de volgende kolom op het bord:
P----Q-----P^Q-----PvQ--------
P^ 
Q------------ 
P v Q--------P=>Q1----0-------0--------1---------------0----------------------1---------------0
1----1-------1--------1---------------0----------------------0---------------1
0----0-------0--------0---------------1----------------------1---------------1
0----1-------0--------1---------------0----------------------1---------------0
In de laatste kolom, P => Q, bij de derde rij (waar P=0 en Q=1) staat een 1, bij de vierde rij (als p=0 en Q=1) staat er dan weer 0
Als we nu zeggen, als P dan Q, en Q=1, dan wil dat toch niet noodzakelijkerwijs zeggen dat P ook 1 moet zijn om het te doen kloppen? Q kan toch waar zijn zonder dat P waar is? of niet?
Ik weet dat heel deze toestand nogal verwarrend is... Ik zal nog een poging doen duidelijk te maken wat ik bedoel.
Gegeven is dat P=0 en Q=1. In de kolom als P dan Q (P=>Q) moet dan ingevuld worden of de uitspraak P=>Q klopt voor het gegeven.
Als P dan Q, maar P=0. In de tabel zegt men dan:"Aha! P = 0 dus Q ook!"
Klopt dit wel? Zou P
Q niet beter overeenkomen met de cijfers dan P => Q?Dan is er nog de allerlaatste bewering. In de kolom P=>Q, staat voor P=0, Q=1 en 0 genoteerd. dat P=0 wil toch niet noodzakelijkerwijs zeggen dat Q ook 0 is? Moest er staan P
Q, dan zou het inderdaad 0 zijn met zekerheid, maar er staat p=>Q, dus is het toch nog altijd mogelijk dat Q toch gelijk is aan 1, zelfs als P=0?Amai, wat een warboel als ik mijn bericht zo eens bekijk. Ik hoop dat ik duidelijk geweest ben en dat jullie er aan uit kunnen.
