Premisas:
P1: ¬p→q
P2: q→¬r
P3: ¬r→s
P4: ¬p
P5: ¬s∨r
Conclusión r
Realizar inferencia lógica
Respuestas a la pregunta
Contestado por
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.
Otras preguntas