Logo Passei Direto
Buscar

Lógica

Outros
Demonstre a implicação: p ⇒ p ∨ q (adição).
Se a condicional for tautológica, prova-se a implicação. Para isso, usa-se a equivalência p → q ⇔ ~p ∨ q aplicada à proposição que se deseja demonstrar, a partir da qual se chega a uma expressão com duas disjunções, sobre as quais se aplica a propriedade distributiva, de onde obtém-se a tautologia.
User badge image
Aprimorando com Questões

há 21 horas

Respostas

User badge image

Ed Verified user icon

há 21 horas

Para demonstrar a implicação \( p \Rightarrow p \lor q \) (adição), vamos usar a equivalência \( p \Rightarrow q \equiv \neg p \lor q \). 1. Começamos com a proposição \( p \Rightarrow p \lor q \). 2. Aplicamos a equivalência: \( p \Rightarrow p \lor q \equiv \neg p \lor (p \lor q) \). 3. Usamos a propriedade associativa da disjunção: \( \neg p \lor (p \lor q) \equiv (\neg p \lor p) \lor q \). 4. Sabemos que \( \neg p \lor p \) é uma tautologia (sempre verdadeira). 5. Portanto, temos: \( (\neg p \lor p) \lor q \equiv \text{verdade} \lor q \equiv \text{verdade} \). Assim, a proposição \( p \Rightarrow p \lor q \) é uma tautologia, o que prova a implicação.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Mais perguntas desse material

Mais conteúdos dessa disciplina