contrapposizióne

sf. [sec. XIV; da contrapporre]. Atto ed effetto del contrapporre o dell'essere contrapposto. In particolare, in logica, due proposizioni delle quali la prima è la negazione del contrario della seconda. Per esempio: “nessun immortale è uomo”, tutti gli uomini sono mortali. Più in particolare, in logica matematica, la legge di contrapposizione è un teorema del calcolo degli enunciati per cui se l'enunciato A implica l'enunciato B, allora la non validità dell'enunciato B implica la non validità dell'enunciato A. In formula: (A —→ B) —→ (¬B —→ ¬A).