Flashcard FC98484
Como verificar se uma conclusão é logicamente inferível de forma unívoca a partir de premissas?
Lógica de Proposições
CEBRASPE (CESPE) · 2014
Como verificar se uma conclusão é logicamente inferível de forma unívoca a partir de premissas?
Mostrar resposta e comentário
Resposta
Verifique se toda atribuição/modelo que satisfaz as premissas também torna a conclusão verdadeira; se existir pelo menos uma atribuição que satisfaz as premissas e torna a conclusão falsa, então não é inferível.Explicação:
Conceptualmente, teste a universalidade da conclusão entre os modelos das premissas:
- Se em todos os modelos onde as premissas são verdadeiras a conclusão também for verdadeira, a conclusão é inferível.
- Se existir pelo menos um modelo das premissas onde a conclusão for falsa, a inferência falha (não é unívoca).
Exemplo:
1) Premissas: p ∨ q e ¬p.
Todos os modelos que satisfazem as premissas têm q verdadeiro, então q é inferível.
2) Premissa: p ∨ q.
A conclusão p não é inferível porque existem modelos que satisfazem a premissa com p verdadeiro e outros com q verdadeiro e p falso; assim não há unicidade.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/90079
Conteúdo do catálogo FC Concursos · Atualizado em