The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content.
A proposition related to another in such a way that if the latter is true, the former must be false, but if the latter is false, the former is not necessarily true.