5. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el curso de Física General deben asistir al componente práctico. Marcela hace el siguiente análisis de la situación que se le ha presentado al conocer las fechas en que debe asistir. “Si las prácticas de laboratorio son el próximo domingo entonces asisto a la universidad. Si realizo los experimentos entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto no realizo los experimentos o las prácticas de laboratorio no son el próximo domingo”. Determinar con el uso de las dos formas de la tabla de verdad la validez del razonamiento y hacerlo también con el uso de las leyes o reglas de inferencia.
Respuestas
En la lógica, la regla de transformación o regla de inferencia representa una forma lógica que consiste en una función que toma premisas, analiza las sintaxis de las mismas y por ultimo devuelve una conclusión o conclusiones.
Por lo general, estas reglas conservan la verdad, como propiedad semántica. La acción de una regla de inferencia es sintáctica, y por ello no es necesario preservar las propiedades semánticas, ya que cualquier función de conjunto de formulas para formulas cuentan como una regla de inferencia.
La aplicación de las reglas de inferencias son procedimientos sintácticos, aun así también debe ser valido, o al menos preservar la validez, y para que esto tenga sentido se necesita una forma semántica para las aserciones de las reglas de inferencia, y dichas reglas en si mismas.
Dichas reglas incluyen modus ponens, modus tollens, y contraposición.