Questão FC41907
O princípio da não contradição, inicialmente formulado por Aristóteles (384-322 a.C.), permanece como um dos sustentáculos da lógica clássica. Uma proposição composta é contraditór
Lógica de Proposições
VUNESP · 2014
Uma proposição composta é contraditória quando
- seu valor lógico é falso e todas as proposições simples que a constituem são falsas.
- uma ou mais das proposições que a constituem decorre/ decorrem de premissas sempre falsas.
- seu valor lógico é sempre falso, não importando o valor de suas proposições constituintes.
- suas proposições constituintes não permitem inferir uma conclusão sempre verdadeira.
- uma ou mais das proposições que a constituem possui/ possuem valor lógico indeterminável.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Contradição é uma proposição composta cujo valor lógico é sempre F, ou seja, resulta falsa em todas as linhas da tabela-verdade, independentemente dos valores das proposições simples que a compõem.
Isso significa que não existe nenhuma atribuição de verdade às partes que torne a fórmula verdadeira, ela é logicamente impossível de ocorrer.
Exemplo clássico: a fórmula \(p \land \neg p\). Se \(p\) é V, então \(\neg p\) é F, e \(V \land F\) é F. Se \(p\) é F, \(\neg p\) é V, e \(F \land V\) é F. Em ambas as situações o resultado é F, portanto a expressão é contraditória.
Para reconhecer uma contradição, constrói-se a tabela-verdade da proposição composta; se todas as entradas forem F, a proposição é contraditória.
Conteúdo do catálogo FC Concursos · Atualizado em