Proposizioni di un teorema
Ad ogni teorema, supposto vero,
Se Ipotesi allora Tesi
sono associate quattro proposizioni: due sempre vere e due in genere false
Proposizione diretta
Proposizione inversa
Proposizione contraria
Proposizione controinversa
Legge delle inverse