De acordo com Alencar Filho (2003) uma contradição é toda proposição composta P(p, q, r,...) cuja última coluna da Tabela Verdade reste somente o v...

De acordo com Alencar Filho (2003) uma contradição é toda proposição composta P(p, q, r,...) cuja última coluna da Tabela Verdade reste somente o valor lógico FALSIDADE (F). Além disso, é dito ser uma contradição toda proposição composta P(p, q, r,...) cujo valor lógico é sempre F independente dos valores lógicos das proposições atômicas (p, q, r,...). ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002 (adaptado).