Question

Que forma de inferência é usada neste exemplo ((P → Q) → ~R), (P →Q) ∴ ~R ?

Answer 1

⠀

⠀⠀☞ Vemos neste exemplo uma inferência da forma Modus Ponens. ✅

⠀

⠀

⠀⠀ As sentenças lógicas são lidas da seguinte forma:

⠀

⠀⠀"Se (se P então Q) então não-R,

⠀⠀Se P então Q logo não-R."

⠀

⠀⠀Nas sentenças lógicas acima temos o uso de conectivos lógicos do tipo condicional e uma inferência do tipo Modus Ponens. Em ambas a mesma informação nos é dada com relação a dependência que Q tem de P e a dependência que R tem da relação entre P e Q, podendo ser a primeira reescrita na forma da segunda através da eliminação de uma condicional (o leva este tipo de inferência a ser chamado algumas vezes como regra do desapego).

⠀

⠀

⠀

⠀

$\bf\large\red{\underline{\quad\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}}$

⠀⠀☀️ Leia mais sobre conectivos e cálculos lógicos:

⠀

✈ https://brainly.com.br/tarefa/38280923

$\bf\large\red{\underline{\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad}}$✍

⠀

⠀

⠀

⠀

$\bf\large\red{\underline{\quad\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}}$☁

⠀⠀⠀⠀☕ $\Large\blue{\text{\bf Bons~estudos.}}$

⠀

($\orange{D\acute{u}vidas\ nos\ coment\acute{a}rios}$) ☄

$\bf\large\red{\underline{\qquad \qquad \qquad \qquad \qquad \qquad \quad }}\LaTeX$✍

❄☃ $\sf(\purple{+}~\red{cores}~\blue{com}~\pink{o}~\orange{App}~\green{Brainly})$ ☘☀

⠀

⠀

⠀

⠀

$\gray{"Absque~sudore~et~labore~nullum~opus~perfectum~est."}$