Flashcard FC684017
Que implicação lógica pode ser inferida de ¬P → S e S → ¬E?
Lógica de Proposições
QUADRIX · 2025
Que implicação lógica pode ser inferida de ¬P → S e S → ¬E?
Mostrar resposta e comentário
Resposta
A implicação lógica inferível é E → P.• Contrapositiva de S→¬E: de S→¬E obtém-se E→¬S.
• Contrapositiva de ¬P→S: de ¬P→S obtém-se ¬S→P.
• Encadeamento: de E→¬S e ¬S→P segue E→P.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670499
Conteúdo do catálogo FC Concursos · Atualizado em