Inleveropgave 1 - Fundamenten van de Wiskunde

Inleveropgave 1 – Nakijkmodel

Loek Veenendaal

September 21, 2021

Inleveropgave 1. Gegeven is de volgende uitdrukking:

(P → (A ∧ B)) → ((P ∧ ¬A) → B).

Is deze uitdrukking een tautologie?
Nakijkmodel: Voor de opgave kan een totaal van 10 punten worden behaald.
1. Het inleveren van een uitwerking geeft 1 punt. (+1)
2. Het gebruik maken van een waarheidstabel geeft 0.5 punt. Het juist opstellen
van waarden voor A, B en P geeft ook 0.5 punt. Samen geeft dit 1 punt. (+1)

P A B
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0

3. Het juist opstellen van de waarheidstabel voor A ∧ B geeft 1 punt. (+1)

P A B A∧B
1 1 1 1
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 0
0 0 0 0


1