Na lógica proposicional, uma contradição é uma fórmula proposicional que é falsa, independentemente dos valores de verdade de suas variáveis. Anal...
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.
A alternativa correta é a letra B) As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
A proposição composta p logical or tilde p é uma contradição, pois é impossível que p e ~p sejam verdadeiros ao mesmo tempo. Logo, a proposição é sempre falsa, independentemente dos valores de verdade de suas variáveis.
A proposição p logical or tilde p possui o valor lógico falso, pois a disjunção lógica entre uma proposição e sua negação é sempre falsa.
Portanto, ambas as asserções são verdadeiras, mas a segunda não é uma justificativa da primeira.
0
0
Faça como milhares de estudantes: teste grátis o Passei Direto
Compartilhar