Contingência

term: Contingência summary: "Proposição composta que não é tautologia nem contradição. Verdadeira ou falsa dependendo da atribuição." relatedModules: [propositional-logic] seeAlso: [tautologia, contradicao, tabela-verdade]

Definição

Proposição composta que não é nem tautologia nem contradição. Em outras palavras: tem pelo menos uma linha verdadeira e pelo menos uma linha falsa na tabela-verdade.

Intuição

A maioria das proposições interessantes. Poderia ser verdade, poderia ser mentira — depende dos fatos do mundo.

Tautologias e contradições não dizem nada sobre o mundo (sempre verdadeiras ou sempre falsas). Contingências carregam informação: o valor-verdade muda com os fatos.

Exemplos

• $P \wedge Q$ — contingência (depende de $P$ e $Q$)
• $P \rightarrow Q$ — contingência
• $P \vee \neg P$ — não é contingência (é tautologia)
• $P \wedge \neg P$ — não é contingência (é contradição)