Flashcard FC97654
Quais são as etapas para demonstrar a equivalência lógica entre duas proposições compostas?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
Quais são as etapas para demonstrar a equivalência lógica entre duas proposições compostas?
Mostrar resposta e comentário
Resposta
Para demonstrar a equivalência lógica entre duas proposições compostas, você deve: 1) Symbolizar as proposições; 2) Aplicar equivalências lógicas, como a implicação, as leis de De Morgan e a distribuição; 3) Verificar se a forma final das proposições é idêntica.Exemplo: Considere as proposições: "Se A, então B" e "Ou B ou não A".
Para simbolizá-las, temos: \( p \rightarrow q \) e \( \neg p \lor q \). Aplicando a equivalência \( p \rightarrow q \equiv \neg p \lor q \), podemos ver que ambas são logicamente equivalentes.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83150
Conteúdo do catálogo FC Concursos · Atualizado em