Echter loop ik vrijwel in het begin al vast met een waarheidstabel. Op zich begrijp ik de bedoelingen van v ^--> etc...
Maar nu wordt het volgende in het boek geschreven
Onderzocht dient te worden wat de waarheidswaarde van de volgende propositionele vorm is:
((p <--> r) ^ (r <--> q)) --> (p <-->q)
Daartoe gebruiken we de volgende tabel:
Code: Selecteer alles
p q r p <--> q ^ r <-->q --> p <--> q
T T T T T T T T
T T F F F F T T
T F T T F F T F
T F F F F T T F
F T T F F T T F
F T F T F F T F
F F T F F F T T
F F F T T T T T
Volgens mij moet dit de uitslag van de tabel zijn:
Code: Selecteer alles
p q r p <--> q ^ r <-->q --> p <--> q
T T T T T T T T
T T F T F F T T
T F T F F F T F
T F F F F T T F
F T T F F T T F
F T F T F F T F
F F T T F F T T
F F F T T T T T
Voor de rest klopt de tabel wel volgens mij.
Graag wil ik dat iemand dit voor mij verifieert. Als ik het goed heb is het geen probleem, mocht ik het fout hebben, en de eerste tabel klopt dus wel, dan heb ik een probleem want dan snap ik het niet.
Wie kan mij verder helpen hiermee ?
Tevens zoek ik nog een goede uitleg om een implicatie ( p --> q) te kunnen begrijpen.
Ik kan wel domweg de tabel leren, maar ik doe het liever ook begrijpen. Ik heb wel gezocht op internet, maar echt veel wijzer wordt ik er niet van. Iedere website lijkt wel dezelfde korte uitleg te geven.
Alvast bedankt !