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). (P→Q)∧P∧¬Q(P \rightarrow Q) \wedge P \wedge \neg Q.