Quando uma fórmula proposicional é classificada como contingência?

Quando assume pelo menos um valor V e pelo menos um valor F na tabela-verdade.

Uma proposição é contingência se não for identicamente verdadeira (tautologia) nem identicamente falsa (contradição).
Isso significa que há pelo menos uma linha da tabela-verdade com valor V e pelo menos uma com valor F.

Exemplo:
Considere \(p\to q\).
p=V, q=V ⇒ \(p\to q = V\)
p=V, q=F ⇒ \(p\to q = F\)
p=F, q=V ⇒ \(p\to q = V\)
p=F, q=F ⇒ \(p\to q = V\)
Como assume V e F em diferentes linhas, \(p\to q\) é uma contingência.