negation

{{logic|countable}} A proposition that is true if and only if another one is false; a proposition resulting from the application to another proposition of the logical operation "not".