Flashcard FC329803
Qual regra de inferência permite concluir que um indivíduo tem uma propriedade a partir de uma premissa universal e da afirmação singular do antecedente?
Lógica de Proposições
IBGP · 2021
Qual regra de inferência permite concluir que um indivíduo tem uma propriedade a partir de uma premissa universal e da afirmação singular do antecedente?
Mostrar resposta e comentário
Resposta
Instanciação universal seguida de modus ponens.Explicação:
Da premissa universal \( \forall x\,(P(x)\rightarrow Q(x))\) obtém-se a instância \(P(c)\rightarrow Q(c)\) (instanciação universal).
Com a afirmação singular \(P(c)\) e essa instância, aplica-se modus ponens para inferir \(Q(c)\).
Exemplo:
Premissas: \( \forall x\,(E(x)\rightarrow M(x))\) (todo estudante tem acesso ao laboratório) e \(E(c)\) (um indivíduo é estudante).
Instanciação: \(E(c)\rightarrow M(c)\).
Aplicando modus ponens: conclui-se \(M(c)\) (o indivíduo tem acesso ao laboratório).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329388
Conteúdo do catálogo FC Concursos · Atualizado em