Dimostrazione di un teorema: metodo inverso (dimostrazione per assurdo) La proposizione cointroinversa e' alla base del metodo inverso per la dimostrazione di un teorema Il metodo inverso per la dimostrazione di un teorema consiste nel negare la tesi, e, con una serie di ragionamenti, arrivare a negare l'ipotesi: Tesi____=>   ragionamento logico    =>   Ipotesi______ Vediamone anche qui un esempio sempre con lo stesso teorema: Se un numero e' divisibile per 4 allora il numero e' pari Ipotesi: un numero e' divisibile per 4 Tesi: il numero e' pari Ragionamento Nego la tesi: il numero non e' pari Se un numero non e' pari allora non e' divisibile per 2 se un numero non e' divisibile per 2 allora non e' nemmeno divisibile per 4 Ne segue che il numero non e' divisibile per 4. Negando la tesi ho negato anche l'ipotesi e quindi il teorema e' vero