T or False
 

http://img372.imageshack.us/img372/4286/ja0aq.png

Klopt het of niet ?

Mocht het niet duidelijk zichbaar zijn dan kan je de foto zien door op de volgende link de te drukken

http://img372.imageshack.us/img372/4286/ja0aq.png

Stel p en q beide T, dan heeft niet-p of q de waarheidswaarde T en niet(q => p) de waarheidswaarde F, dus (niet-p of q) en (niet(q => p) heeft dan de waarheidswaarde F, dus voor a heb je een andere kolom nodig. Stel p en q beide F, dan heeft niet-p of q de waarheidswaarde T en niet(q => p) de waarheidswaarde F, dus (niet-p of q) en (niet(q => p) heeft dan ook de waarheidswaarde F.
Stel p T en q F, dan heeft niet-p of q de waarheidswaarde F en niet(q => p) de waarheidswaarde F, dus (niet-p of q) en (niet(q => p) heeft dan ooik de waarheidswaarde F. Stel p F en q T, dan heeft niet-p of q de waarheidswaarde T en niet(q => p) de waarheidswaarde T, dus (niet-p of q) en (niet(q => p) heeft dan de waarheidswaarde T. Voor a heb je dan kolom 5.
Stel p en q beide T, dan heeft p en niet-q de waarheidswaarde F en niet-p de waarheidswaarde F, dus (p en niet-q) => niet-p heeft dan de waarheidswaarde F. Stel p en q beide F, dan heeft p en niet-q de waarheidswaarde F en niet-p de waarheidswaarde T, dus (p en niet-q) => niet-p heeft dan de waarheidswaarde T.
Stel p T en q F, dan heeft p en niet-q de waarheidswaarde T en niet-p de waarheidswaarde F, dus (p en niet-q) => niet-p heeft dan de waarheidswaarde F. Stel p F en q T, dan heeft p en niet-q de waarheidswaarde F en niet-p de waarheidswaarde T, dus (p en niet-q) => niet-p heeft dan de waarheidswaarde T. Bij b heb je dus inderdaad de juiste kolom aangegeven.

Niet q => niet p is gelijkwaardig met p => q. Dit is de zogenaamde wet van de contrapositie. Verder is p => q gelijkwaardig met niet p of q. Niet(p => q) is dan volgens De Morgan gelijkwaardig met p en niet q.

Ik heb het helemaal door.

Bedankt (y)

Mooi zo. (y)

Graag gedaan. :)