Premisas :P1 : ¬p→qP2 : q→¬rP3 : ¬r→sP4 : ¬pP5 : ¬s∨rConclusión rRealizar inferencia lógica?
Premisas : P1 : ¬p→q P2 : q→¬r P3 : ¬r→s P4 : ¬p P5 : ¬s∨r Conclusión r Realizar inferencia lógica.
Premisas : P1 : ¬p→q P2 : q→¬r P3 : ¬r→s P4 : ¬p P5 : ¬s∨r Conclusión r Realizar inferencia lógica.
En resumen
Premisas : P1 : ¬p→q - - - - - - - > Como un condicional de disyunción P2 : q→¬r P3 : ¬r→s - - - - - - - - - > Modus tollendo tollens.
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 disyuntivoConclusión rEn lógica las reglas de inferencias son formas logicas que consiste en tomar premisas y analizar su sintaxcis devolviendo una conclusión.