Question

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.

Answer 1

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.