Question

Temos três premissas: (P → Q), (Q→R) e (R → S). Podemos inferir validamente (P→S) Como? *

Answer 1

⠀

⠀⠀☞ Esta operação lógica é válida e chama-se silogismo hipotético. ✅

⠀

⠀

⠀⠀ Através da propriedade da transitividade da condicional (também chamada de implicação) temos que se A ⇒ B e B ⇒ C então A ⇒ C. O nome desta inferência lógica é Silogismo hipotético. ✅

⠀

⠀⠀Esta forma de silogismo funciona de forma semelhante ao Teorema do Confronto na álgebra:

⠀

⠀⠀x > y > z

⠀⠀∴ x > z

⠀

⠀

⠀

⠀

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

⠀⠀☀️ Leia mais sobre inferências e silogismos:

⠀

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

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

$\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."}$