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