Her er fire kort fra en kortstokk hvor hvert kort har en bokstav på den ene siden og et tall på den andre siden.
| A | B | 3 | 4 |
|---|
| Påstand: | Alle kort med en konsonant på den ene siden har et oddetall på den andre siden. |
|---|---|
| Spørsmål: | Hvilke kort må du snu for å sjekke om påstanden holder for de fire kortene over? |
| Svar: |
Du må snu kortene merket B og 4. Det er opplagt at du må snu B, for å forvisse deg om at det ikke er et liketall på andre siden, som ville vært i strid med påstanden. Men du må også snu 4, for å forvisse deg om at det ikke er en konsonant på andre siden, siden det også ville vært i strid med påstanden. Derimot trenger du ikke snu A eller 3, for påstanden sier ingen ting om hva som er på baksiden av en vokal, eller på baksiden av et oddetall (tenk på det)! |
| Diskusjon: |
Dersom P og Q er to utsagn, så er de to påstandene «Hvis P så Q» og «Hvis ikke Q så ikke P» ekvivalente påstander. Påstanden jeg fremsatte i oppgaven er altså ekvivalent med dette: Alle kort med et liketall på den ene siden har en vokal på den andre siden. Dette poenget er nøkkelen til mange matematiske resonnementer, spesielt motsigelsesbevis. |