Proposizione controinversa
Chiameremo proposizione controinversa la proposizione ottenuta prendendo le negazioni dell'ipotesi e della tesi e scambiandone le posizioni:
Se non Tesi allora non Ipotesi
La proposizione controinversa e' sempre vera;
Esempio:
Dal teorema precedente
Se un numero e' divisibile per 4 allora il numero e' pari
neghiamo l'ipotesi ed anche la tesi e scambiamole di posto; ottengo:
Se un numero non e' pari allora il numero non e' divisibile per 4
E' vero: un numero pari per definizione e' divisibile per 2; se non e' pari allora non e' divisibile per 2 e quindi non e' neppure divisibile per 4
|