 The negation of a self-contradictory proposition is, therefore, supposed to be necessarily true.By contrast, a proposition that is contingently true is one in which its negation is not self-contradictory.Thus, it is said "not" to be true in every possible world.