n. (Logic) 1. the monadic truth-functional sentential operator that forms one sentence from another and corresponds to the English not. Its truth-table is given below.
Negation. Truth table for negation. 2. a sentence so formed. It is usually written -P, ~P, ¬P, or P where P is the given sentence, and is true when the latter is false, and false when the latter is true.