Förberedande kurs i matematik

Vi vet att påståendet: "Stockholm är Tysklands huvudstad" inte är sant och likaså med "New York är Sveriges huvudstad". Således säger vi att OM Stockholm vore Tysklands huvudstad skulle vi kunna visa att New York var Sveriges huvudstad, för vi antar att något falskt är sant och ur detta kan vi härleda vad som helst. Likaså för den andra implikationen.