Flashcard FC329809
Como se obtém uma conclusão particular a partir de uma regra universal e de uma afirmação individual?
Lógica de Proposições
IBGP · 2018
Como se obtém uma conclusão particular a partir de uma regra universal e de uma afirmação individual?
Mostrar resposta e comentário
Resposta
Aplicando instância da regra e modus ponens: de \( \forall x\,(P(x)\to Q(x))\) e \(P(a)\) segue \(Q(a)\).Formalmente:
Dada a regra universal \( \forall x\,(P(x)\to Q(x))\), instancia-se para o indivíduo \(a\) obtendo \(P(a)\to Q(a)\).
Com a premissa \(P(a)\) e pela aplicação de modus ponens, infere-se \(Q(a)\).
Exemplo:
Premissas: \( \forall x\,(Bird(x)\to HasWings(x))\) e \(Bird(a)\).
Conclusão: \(HasWings(a)\).
Em palavras: Se todo pássaro tem asas e este animal é pássaro, então este animal tem asas.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329394
Conteúdo do catálogo FC Concursos · Atualizado em