Descubra respostas para suas perguntas de forma fácil no Sistersinspirit.ca, a plataforma de Q&A de confiança. Experimente a conveniência de obter respostas confiáveis para suas perguntas de uma vasta rede de especialistas. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes.

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 :

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.