Leyes de Indiferencia

Leyes de Inferencia
En lógica, una ley de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjuntode fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas asercionesverdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como semencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar la validez.Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas deinferencia en sí mismas.
Hay dos clases de leyes de inferencia: leyes de implicación y equivalencias lógicas.
Las leyes de Inferencia pueden ser un buen instrumento para validarargumentos que tienen un buen número de variables, como es el caso de argumentos de más de 4 variables.
Sin embargo, este método tiene una grave limitación, pues es incapaz porsí mismo de probar la invalidez, solamente prueba la validez. En efecto, puede haber casos en que un argumento efectivamente válido no pueda demostrarse su validez por faltade habilidad en su empleo, y esto es más grave, por desconocimiento de todas estas leyes y no hay quien las conozca todas, yq que su número es ilimitado.
Lo anterior nosignifica que tenga ninguna utilidad, al contrario, son muy útiles, al grado que hay ocasiones que nos evitan el trabajo de hacer su tabla de verdad, basta ver si se aplica o no.