Ik moet een zelfstandig werk over logica maken, en zoeken op het internet, maar snap niet echt het verschil tussen een contrapositie en modus tollens. Volgens mijn eerdere bronnen geldt : [ (p → q) ⌐q ] → ⌐p = modus tolens , en (p → q ) ↔ (⌐q → ⌐p ) = contrapositie. Wat is hier nu het verschil tussen?
Eline
3de graad ASO - zondag 12 maart 2006
Antwoord
Hallo Eline
Het verschil is het volgende : Bij een contrapositie is er over de waarde van q niets gegeven. Er staat enkel dat "Indien q niet waar is, dan ..." Bij de modus tolens is gegeven dat q niet waar is, dus kun je besluiten dat ook p niet waar is.