Negation

Of logic and proposition.

(logic) a proposition that is true if and only if another proposition is false.

This concept's ID is @1~35961