Answered

Encontre soluções práticas no IDNLearner.com. Descubra uma ampla gama de temas e encontre respostas confiáveis dos membros especialistas de nossa comunidade, sempre disponíveis para você.

1)
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.

Sagot :

Fmpontes93idn

Resposta:

Ambas as afirmações são falsas.

A proposição composta "p ∨ ¬p" é uma tautologia.

Tautologia é uma  fórmula proposicional que é verdadeira, independentemente dos valores de verdade de suas variáveis.

Para provarmos que a proposição dada é tautológica, construamos sua tabela-verdade:

p     ¬p     p ∨ ¬p

V      F         V

F      V         V

Perceba que a coluna de "p ∨ ¬p" sempre encerra o valor lógico V (verdade).

Perceba ainda que a proposição "p ∨ ¬p" é a forma simbólica do Princípio do Terceiro Excluído, que afirma que toda proposição é verdadeira ou falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro.

Valorizamos muito sua participação. Não se esqueça de voltar para fazer mais perguntas e compartilhar seus conhecimentos. Juntos, podemos enriquecer nosso entendimento coletivo. Encontre respostas claras no IDNLearner.com. Obrigado pela visita e volte para mais soluções confiáveis.