 The metaphysical distinction between "necessary" and "contingent" truths has also been related to "a priori" and "a posteriori" knowledge.A proposition that is necessarily true is one in which its negation is self-contradictory.Thus, it is said to be true in every possible world.