Flashcard FC381864
Dado ∀x(A(x)→V(x)), é válida a inferência ∀x((A(x)∧P(x))→V(x))?
Lógica de Proposições
FCC · 2024
Dado ∀x(A(x)→V(x)), é válida a inferência ∀x((A(x)∧P(x))→V(x))?
Mostrar resposta e comentário
Resposta
Sim.Motivo: para qualquer x, de A(x)∧P(x) obtém‑se A(x);
de A(x) e ∀x(A(x)→V(x)) segue V(x);
logo ∀x((A(x)∧P(x))→V(x)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372408
Conteúdo do catálogo FC Concursos · Atualizado em