En logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier le même terme ou la même proposition.
