contronominale
agg. [comp. di contro- e nominale]. – In logica, proposizione c., la contraria dell’inversa, cioè quella che ha come ipotesi la negazione della tesi della proposizione primitiva, e come tesi la negazione dell’ipotesi di quella; è sempre vera accanto alla proposizione diretta.