Modus tollens - contrapositie

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.

zondag 12 maart 2006

©2001-2024 WisFaq