Question

Expresión simbólica: [p( →q ) ∧ (q →r )⋀(¬r)] → (¬p)

Premisas: P1:p →q

P2: q→r

P3: ¬r

Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Answer 1

Respuesta.

Para resolver este problema se tienen las siguientes premisas:

P1: ¬p→q  -------> Como un condicional de disyunción

P2: q→¬r

P3: ¬r→s  ---------> Modus tollendo tollens.

P4: ¬p

P5: ¬s∨r --------> Silogismo disyuntivo

Conclusión r:

En lógica las reglas de inferencias son formas lógicas que consiste en tomar premisas y analizar su sintaxis devolviendo una conclusión.