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

a negative statement; a statement that is a refusal or denial of some other statement