La négation d’une proposition P, est la proposition notée « ¬P », ou « non P » qui est vraie lorsque la proposition P est fausse et fausse lorsque proposition P est vraie.