Databac

CONTRAPOSITION

CONTRAPOSITION (n. f.) 1. — (Logique class.) Conversion de « tout A est B » en « tout non B est non A ». 2. — Théorème du calcul propositionnel, qu’on peut écrire : (p implique q) implique (non q implique non p).