Axm

Contradição


term: Contradição summary: "Proposição composta que é falsa para todas as combinações de valores-verdade." relatedModules: [propositional-logic] seeAlso: [tautologia, tabela-verdade, nao-contradicao]

Definição

Proposição composta que é falsa sob toda atribuição.

Intuição

Sempre falsa. Conteúdo informacional zero pelo lado oposto.

Exemplos

P¬PP \wedge \neg P (não-contradição). (PQ)P¬Q(P \rightarrow Q) \wedge P \wedge \neg Q.