Define-se como contingência a proposição composta que não é uma tautologia nem uma contradição, ou seja, o valor lógico da proposição composta depende dos valores lógicos das proposições simples que a compõem.
Exemplo: A proposição composta $(pVq) \rightarrow (p \wedge q)$ é uma contingência, pois o resultado pode ser verdadeiro ou falso dependendo dos valores lógicos de "p" e "q".