Logo Passei Direto
Buscar

Lógica

Humanas / Sociais
onsiderando os conteúdos do livro-base Introdução à lógica matemática para acadêmicos e a proposição lógica ( ∼ p ∨ q ) ∧ ∼ q , assinale a alternativa com a proposição equivalente a proposição dada. Sugestão: faça uso das propriedades. p ∨ ( q ∧ r ) ⟺ ( p ∨ q ) ∧ ( p ∨ r ) p ∧ ( q ∨ r ) ⟺ ( p ∧ q ) ∨ ( p ∧ r ) ∼ p ∨ p ⟺ T ∼ p ∧ p ⟺ C T: Tautologia C: Contradição A ( p ∨ q ) ∧ ∼ q ⟺ p B ( p ∨ q ) ∧ ∼ q ⟺ p ∨ q C ( p ∨ q ) ∧ ∼ q ⟺∼ p ∧ ∼ q D ( p ∨ q ) ∧ ∼ q ⟺ ( p ∧ ∼ q ) ∨ C E ( p ∨ q ) ∧ ∼ q ⟺ ( p ∧ ∼ q ) ∨ T
User badge image
ELESSANDRO

há 2 meses

Respostas

User badge image

Ed Verified user icon

há 2 meses

Para resolver a proposição lógica \((\sim p \lor q) \land \sim q\), vamos aplicar algumas propriedades da lógica. 1. Distribuição: Podemos reescrever a proposição usando a distribuição: \[ (\sim p \lor q) \land \sim q \equiv (\sim p \land \sim q) \lor (q \land \sim q) \] O termo \(q \land \sim q\) é uma contradição (C), então podemos simplificar: \[ (\sim p \land \sim q) \lor C \equiv \sim p \land \sim q \] 2. Agora, vamos analisar as alternativas: - A) \((p \lor q) \land \sim q \equiv p\) - Não é equivalente. - B) \((p \lor q) \land \sim q \equiv p \lor q\) - Não é equivalente. - C) \((p \lor q) \land \sim q \equiv \sim p \land \sim q\) - Não é equivalente. - D) \((p \lor q) \land \sim q \equiv (p \land \sim q) \lor C\) - Não é equivalente. - E) \((p \lor q) \land \sim q \equiv (p \land \sim q) \lor T\) - Não é equivalente. Após a análise, percebemos que a proposição equivalente correta não está listada nas alternativas. No entanto, a simplificação correta que encontramos é \(\sim p \land \sim q\). Se precisar de mais ajuda, é só avisar!

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

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

Mais conteúdos dessa disciplina