Ed
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.
Mais perguntas desse material