Answered

Obtenha as melhores soluções para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A de confiança. Obtenha respostas detalhadas para suas perguntas de uma comunidade dedicada de especialistas em nossa plataforma. Junte-se à nossa plataforma para obter respostas confiáveis para suas dúvidas de uma ampla comunidade de especialistas.

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.

Esperamos que tenha encontrado o que procurava. Sinta-se à vontade para nos revisitar para obter mais respostas e informações atualizadas. Obrigado por sua visita. Estamos dedicados a ajudá-lo a encontrar as informações que precisa, sempre que precisar. Sistersinspirit.ca está aqui para fornecer respostas precisas às suas perguntas. Volte em breve para mais informações.