Question

Premisas:
P1: ¬p→q
P2: q→¬r
P3: ¬r→s
P4: ¬p
P5: ¬s∨r
Conclusión r

Realizar inferencia lógica

Answer 1

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 logicas que consiste en tomar premisas y analizar su sintaxcis devolviendo una conclusión.