Wiskundeforum

Hallo allemaal,

Voor mijn opleiding HBO Informatica hebben we dit jaar een onderdeel Discrete Wiskunde. Hierin behandelen we onder andere proposities. Ik ben zojuist bezig geweest met het maken van een waarheidstabel van de volgende propositie: p ∧ (¬q → (q ∨ p))

Hieruit zal de volgende waarheidstabel moeten komen:

p q | q ∨ p | ¬q → (q ∨ p) | p ∧ ..
0 0 | 0 | 0 | 0
0 1 | 1 | 1 | 0
1 0 | 1 | 1 | 1
1 1 | 1 | 1 | 1

Bij de 2e van de ¬q → (q ∨ p) had ik alleen een 0. Kan iemand mij uitleggen hoe ze tot dit antwoord zijn gekomen?

Je hebt gelijk. Het zal een foutje zijn in het boek.

Onthoud: De enige manier waarop een implicatie de waarde false kan hebben is het geval waar de eerste waarde true is en de tweede waarde false