Dimostriamo che e' valida la relazione inversa: ( T_-> H_) -> ( H -> T ) Mostriamo che questa e' una tautologia e quindi la relazione e' valida H T T_ H_ T_-> H_ H -> T (T_-> H_) -> ( H -> T) v v f f v f v f f v f v f f v v v f v v v f v v v v v v Per eseguire la tabella segui le tabelle delle operazioni elementari gia' fatte: la terza colonna e' la negazione di T il vero diventa falso ed il falso diventa vero la quarta colonna e' la negazione di H il vero diventa falso ed il falso diventa vero la quinta colonna e' l'implicazione materiale tra T_e H_che e' falsa solo se la prima e' vera e la seconda e' falsa la sesta colonna e' l'implicazione materiale tra H e T che e' falsa solo se la prima e' vera e la seconda e' falsa L'ultima colonna e' l'implicazione materiale tra T_-> H_ e H -> T che e' falsa solo se la prima parte e' vera e la seconda parte e' falsa