Resolver demostraciones mediante leyes de ejemplificación y generales - Resumen

Vista previa del material en texto

Método para resolver demostraciones mediante leyes de ejemplificación y 
generalización 
 
 
1. Las leyes trabajan una premisa (un renglón) y las reglas trabajan 1 premisa o más (1 
renglón o más). 
 
2. Transformar de lo complejo a lo simple. Siempre es bueno obtener mínimas 
expresiones, por ej. una variable (letra) suelta. 
 
3. Teniendo variables sueltas como premisas, se puede aplicar Adición, Conjunción, o 
los Modus y el Silog. Disyun., y desarmar condicionales o disyunciones. 
 
4. Desarmar siempre que haya una premisa con 3 o más variables. 
 
5. Observar desde el final hacia el ppio. para saber qué expresión debo obtener que 
resolvería la demostración. 
 
6. Muchas veces es útil aplicar la doble negación cuando se requiera que una variable 
sea negativa. 
 
7. Nunca perder de vista que el objetivo es demostrar la conclusión. 
 
8. Una premisa con un Condicional, se puede tansformar por Def. de Condicional en 
una conjunción y luego por Simplificación obtener el