Flashcard FC684014
Se p → (q ∨ r) e r → ¬s, qual conclusão lógica válida a partir de p ∧ s?
Lógica de Proposições
QUADRIX · 2025
Se p → (q ∨ r) e r → ¬s, qual conclusão lógica válida a partir de p ∧ s?
Mostrar resposta e comentário
Resposta
De p ∧ s segue q, isto é, p ∧ s → q.Pela regra p → (q ∨ r), de p decorre q ou r.
Como r → ¬s, r é incompatível com s, portanto com s verdadeiro r é impossível e diante de p resta q.
A segunda regra é irrelevante para esta conclusão.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670496
Conteúdo do catálogo FC Concursos · Atualizado em