Axm

Contradição

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.