negation.n.03

'negation.n.03'

[negation.n.03] as in: (logic) a proposition that is true if and only if another proposition is false