il découle du principe de bivalence

une proposition et sont contraire ne peuvent pas être toutes les deux
vrais .


problème: si l'on part de prémisses contradictoires, il est fort
possibles d'arriver à des conclusions contradictoires. (metaphysique
livre IV , Aristote).