Flashcard FC918836
Dadas A → (J ∨ M) e ¬M, pode-se concluir logicamente J?
Lógica de Proposições
IAUPE · 2026
Dadas A → (J ∨ M) e ¬M, pode-se concluir logicamente J?
Mostrar resposta e comentário
Resposta
Não, não se pode concluir logicamente que João fez o jantar.• Se A for verdadeiro: de A → (J ∨ M) segue J ∨ M e com ¬M segue J.
• Sem garantia de A: A → (J ∨ M) pode ser verdadeira com A falso, portanto J não decorre necessariamente.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911071
Conteúdo do catálogo FC Concursos · Atualizado em