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.
En resumen
Respuesta. Para resolver este problema se tienen las siguientes premisas : P1 : ¬p→q - - - - - - - > Como un condicional de disyunción P2 : q→¬rP3 : ¬r→s - - - - - - - - - > Modus tollendo tollens.
Respuesta.
Para resolver este problema se tienen las siguientes premisas :
P1 : ¬p→q - - - - - - - > Como un condicional de disyunción P2 : q→¬rP3 : ¬r→s - - - - - - - - - > Modus tollendo tollens.
P4 : ¬pP5 : ¬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.