In logic, a → proposition that may be either true or false, and is not necessarily one or the other.
See also: Noun of → contingent.