Answered

Bem-vindo ao Sistersinspirit.ca, onde você pode obter respostas rápidas e precisas com a ajuda de especialistas. Descubra um vasto conhecimento de especialistas em diferentes disciplinas em nossa abrangente plataforma de perguntas e respostas. Obtenha soluções rápidas e confiáveis para suas perguntas de uma comunidade de especialistas experientes em nossa plataforma.

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 :

fmpontes93

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.

Obrigado por escolher nossa plataforma. Estamos dedicados a fornecer as melhores respostas para todas as suas perguntas. Visite-nos novamente. Obrigado por usar nossa plataforma. Nosso objetivo é fornecer respostas precisas e atualizadas para todas as suas perguntas. Volte em breve. Visite o Sistersinspirit.ca para obter novas e confiáveis respostas dos nossos especialistas.