O processo de dedução lógica é composto por regras de equivalência e de inferência lógica. “O sistema de lógica proposicional é completo e correto;...
O processo de dedução lógica é composto por regras de equivalência e de inferência lógica. “O sistema de lógica proposicional é completo e correto; argumentos válidos, e apenas esses, são demonstráveis” (GERSTING, 2017, p. 33). Dado o seguinte argumento: [A (A B)]^ A → → → B , qual opção representa, sequencialmente, as regras usadas para demonstrá-lo?
a) hip, hip, MP, MT.
b) hip, hip, MP, MP.
c) hip, hip, DN, MP.
d) hip, hip, cond, MT.
e) hip, hip, que, MT.
a) hip, hip, MP, MT.
b) hip, hip, MP, MP.
c) hip, hip, DN, MP.
d) hip, hip, cond, MT.
e) hip, hip, que, MT.
💡 1 Resposta
Ed 
A sequência correta de regras usadas para demonstrar o argumento [A ∧ (A → B)] → B é: a) hip, hip, MP, MT. Nessa sequência, "hip" representa a introdução de uma hipótese, "MP" representa a regra de modus ponens (eliminação do condicional) e "MT" representa a regra de modus tollens (eliminação do condicional negado).
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Perguntas relacionadas
Além das regras de equivalência, o processo de dedução lógica também possui as regras de inferência. Na inferência, dada uma determinada fbf, ela p...
Lógica Matemática e Computacional
•ANHANGUERA
Adriana Camilo Flores
Compartilhar