contronominale
contronominale [agg. Comp. di contro- e nominale] [FAF] Proposizione c.: nella logica, per una data proposizione è la proposizione contraria dell'inversa, cioè quella che ha come ipotesi la negazione della proposizione diretta e come tesi la negazione dell'ipotesi di quella; è sempre vera, accanto alla proposizione diretta; per es., proposizione diretta è "se in un triangolo due lati sono uguali (ipotesi), gli angoli opposti sono uguali (tesi)" e proposizione c. è: "se in un triangolo due angoli non sono uguali (negazione della tesi diretta), i lati opposti non sono uguali (negazione dell'ipotesi diretta)".