Cum demonstrez prin contrapozitivă?
În loc să demonstrezi direct, demonstrezi . Cele două implicații sunt logic echivalente.
Exemplu explicat
Pentru «n² par ⇒ n par», arăți că dacă n este impar, , atunci este impar.
Greșeala de evitat
Contrapozitiva nu este reciproca.
