Question

Expresión simbólica: [(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r
Premisas:
P1:r→¬q
P2:p∨ s
P3: q∧ p

Conclusión: ¬r

Answer 1

Respuesta: El razonamiento es válido.

Explicación paso a paso:

[(r→¬q)∧(p∨ s)∧(q∧ p)] ⇒¬r               (propiedad asociativa)

[(r→¬q)∧q]∧[(p∨ s)∧ p] ⇒ ¬r          (Modus Tollens) y Absorción

(¬r ∧ p)  ⇒ ¬r                          Definición de Condicional y De Morgan

(r v ¬p) v ¬r                                                  Asociativa

(r v ¬r) v ¬r              Aquí obtenemos una Tautología (T) en el paréntesis

T v ¬r                              de donde podemos deducir

T

Por tanto, aplicando reglas de inferencia lógica comenzando desde la propiedad a demostrar arribamos a una Tautología T, con lo que el razonamiento es válido.

Para más ejemplos de esto sigue el siguiente link: https://brainly.lat/tarea/3250894

Saludos, espero te sea de utilidad.