Dans le cas de deux propositions contradictoires

La vente de l'une se déduit immédiatement de la fausseté de l'autre, et réciproquement. En effet, les propositions contradictoires se niant Tune l'autre sans laisser de milieu possible, il faut nécessairement que, si l'une est vraie, l'autre soit fausse, et que, si l'une est fausse, l'autre soit vraie, et cela, en vertu du principe d'exclusion du milieu : Une chose est ou n'est pas, point de milieu.