Contraexemple

 En filosofia de la ciència, qualsevol exemple que mostra un cas concret contrari a la generalització d'una hipòtesi. L'enunciat «aquest compost de sal de sodi no crema amb flama groc-ataronjada» és el contraexemple, i la refutació, de «tots els compostos amb sals de sodi cremen amb flama groc-ataronjada».

Un raonament és un contraexemple d'un altre si té igual forma lògica que aquest, però amb les premisses veritables i la conclusió falsa. La seva utilitat consisteix que demostra la invalidesa formal d'un raonament.

En el següent exemple:

• Si el "Quixot" és un clàssis, llavors és una obra important
• El "Quixot" és una obra important

——————————————————————————

• Per tant, el "Qixot" és una obra important

el raonament té premisses i conclusió veritables, però és lògicament invàlid. La seva invalidesa es posa de manifest amb el següent contraexemple, amb igual forma lògica,

• P→Q
• Q

————

• P

però amb premisses veritables i conclusió falsa.

• Si el "Quixot" el va escriure Shakespeare, llavors és un clàssic
• El "Quixot" és un clàssic

——————————————————————————

• Per tant, el "Qixot" el va escriure Shakespeare

La interpretació de la mateixa fórmula lògica fa evident que tal raonament admetria premisses veritables i conclusions falses. Aquests aparents raonaments amb tan greus inconvenients no interessen ni a la ciència ni a ningú.