Question

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

Premisas:
P1: p→q
P2: q→r
P3: p⋀s

Conclusión: r

Answer 1

Respuesta.

Para resolver este problema se tiene que las premisas son las siguientes:

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.

Answer 2

Respuesta:

Omar me ayudas con esta

Explicación paso a paso:

P1: p->q

P2: q->r

P3: pvq

Conclusión: r