La proposition « non P » est appelée négation de P. La proposition « non P » est fausse si P est vraie, et vraie si P est fausse.