Flashcard FC381900
Sejam dadas ∀x(P(x)→Q(x)) e ∃x(R(x)∧P(x)). Qual conclusão válida pode ser inferida?
Lógica de Proposições
FCC · 2018
Sejam dadas ∀x(P(x)→Q(x)) e ∃x(R(x)∧P(x)). Qual conclusão válida pode ser inferida?
Mostrar resposta e comentário
Resposta
∃x (R(x) ∧ Q(x))Pelo modus ponens universal:
de ∀x(P→Q) e da existência de x com P segue que esse x tem Q.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372444
Conteúdo do catálogo FC Concursos · Atualizado em