Flashcard FC875801
A partir de G → ¬B e ¬G → S, qual implicação necessariamente decorre?
Lógica de Proposições
IBADE · 2026
A partir de G → ¬B e ¬G → S, qual implicação necessariamente decorre?
Mostrar resposta e comentário
Resposta
Segue necessariamente B → S.
• Contrapositiva: da implicação G → ¬B obtém-se B → ¬G por contraposição lógica.
• Transitividade: como B → ¬G e ¬G → S, conclui-se B → S pela transitividade das implicações.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/871384
Conteúdo do catálogo FC Concursos · Atualizado em