• Matéria: Informática
  • Autor: victorfernandescosta
  • Perguntado 3 anos atrás

Observe a demonstração: 1 - P --> Q .........Premissa 2 - P ...................Premissa 3 - Q --> R ...... Premissa 4 - P --> R ....................1,3 Silogismo Hipotético 5 - R) ........................... 2,4 ___________ . Utilizando as linhas 2 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada?

Respostas

respondido por: joseewell26
2

Resposta: Modus Ponens

Explicação: Gabrito Estacio

Anexos:
respondido por: yancarvalho3
2

A regra de inferência utilizada para chegar à conclusão mostrada na demonstração é conhecida como "Regra de Modus Ponens".

O que é a regra de Modus Ponens?

A regra de Modus Ponens é um princípio lógico que permite inferir uma conclusão a partir de duas premissas: uma proposição condicional (no exemplo dado, P --> Q) e uma premissa afirmando a verdade da premissa antecedente (no exemplo dado, P).

Na demonstração foi mencionado, as proposições 1 e 3 são respectivamente P-->Q e Q-->R , e a premissa 2 é P, então utilizando essas premissas você inferiu a proposição R que é o objetivo final. A partir disso você utilizou uma das formas mais básicas de inferência formal, a regra de Modus Ponens.

Saiba mais sobre lógica dos predicados aqui: https://brainly.com.br/tarefa/23155680

#SPJ2

Anexos:
Perguntas similares