Flashcard FC918832
O que se conclui logicamente de S → (F ∨ M) e ¬M?
Lógica de Proposições
IAUPE · 2026
O que se conclui logicamente de S → (F ∨ M) e ¬M?
Mostrar resposta e comentário
Resposta
Pode-se apenas concluir a implicação \(S \to F\).Da fórmula \(S \to F\) não se segue \(F\) nem \(\neg F\) sem informação sobre \(S\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911067
Conteúdo do catálogo FC Concursos · Atualizado em