Na lógica proposicional, uma contradição é uma fórmula proposicional que é falsa, independentemente dos valores de verdade de suas variáveis.
Analise as seguintes asserções e a relação proposta entre elas:
I. a proposição composta p logical or tilde p é uma contradição.
PORQUE
II. p logical or tilde p possui o valor lógico falso.
A respeito dessas asserções, assinale a opção correta.
Alternativas:
a)
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
b)
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
c)
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
d)
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
e)
As asserções I e II são proposições falsas.
Soluções para a tarefa
Resposta:
Resposta E: As asserções I e II são proposições falsas.
Explicação:
A lógica proposicional, uma contradição compreende uma fórmula proposicional que é classificada como falsa-negativa . Para a resolução da questão você tem que considerar os conceitos de tautologia e sua respectiva definição.
A definição de uma tautologia consiste em uma frase que é verdadeira em todas as suas valorações. Isto é, é uma fórmula que não pode ser falsa, considerando sua valoração, que é uma tautologia, em que a fórmula do enunciado é a seguinte: (p ∨ ¬p).
Tautologia é quando uma dada proposição é sempre verdadeira, sem exceções. É aquela expressão que, ao montarmos a sua tabela-verdade, sempre irá apresentar a última coluna toda formada por “V's”. Ou seja, trata-se de uma expressão que nunca apresentará valoração “falsa”.