Leyes de la Logica

LEYES DE LOGICA
LEY DE INFERENCIA:
Una ley de inferencia es un esquema para construir inferencias validas. Establecen relaciones sintácticas entre un conjunto de formulas llamadas premisas y unaaserción llamada conclusión. Usan dos tipos de elementos: los Datos y el Conocimiento.
Tipos:
Modus Ponens 
Es quizás la regla de inferencia más comúnmente utilizada. Se utiliza para obtenerconclusiones simples. En ella, se examina la premisa de la regla, y si es cierta, la conclusión pasa a formar parte del conocimiento. Considere el siguiente ejemplo, supóngase que se tiene la regla, "Si A escierto, entonces B es cierto" y que se sabe además que "A es cierto". Entonces la regla Modus Ponens concluye que "B es cierto". Esta regla de inferencia, que parece trivial, debido a sufamiliaridad, es la base de un número de sistemas expertos. 
Modus Tollens 
Se utiliza también para obtener conclusiones simples. En este caso se examina la conclusión y si es falsa se concluye que la premisatambién es falsa. Por ejemplo, supóngase de nuevo que se tiene la regla "A es cierto, entonces B es cierto" pero se sabe que "B es falso". Entonces, utilizando la regla Modus Ponens no se puede obtenerninguna conclusión, pero, la regla Modus Tollens concluye que "A es falso". Auque muy simple y con muchas aplicaciones útiles, la regla Modus Tollens es menos utilizada que la Modus Ponens. Mecanismo de resolución 
Las reglas de inferencia Modus Ponens y Modus Tollens pueden ser utilizadas para obtener conclusiones simples. Por otra parte, las conclusiones compuestas, que se basan en dos omás reglas, se obtienen usando el llamado mecanismo de resolución.
LEY DE EQUIVALENCIA:
Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores deverdad de sus componentes atómicos. 

Diremos que dos proposiciones P y Q son lógicamente equivalentes si es una tautología, es decir, si las tablas de verdad de P y Q son iguales. 

Dadas dos...