Flashcard FC918840
Se p→q e p são verdadeiras, qual conclusão logicamente se segue?
Lógica de Proposições
IAUPE · 2025
Se p→q e p são verdadeiras, qual conclusão logicamente se segue?
Mostrar resposta e comentário
Resposta
Inferimos q a partir de p→q e p, e assim também podemos afirmar p∧q.Modus ponens: de \(p\rightarrow q\) e \(p\) inferimos \(q\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911075
Conteúdo do catálogo FC Concursos · Atualizado em