Reglas de inferencia

Para poder hacer una argumentación o una demostración en lógica hay que seguir unas reglas, que dictan el movimiento que podemos hacer dentro del sistema. Son las que tenéis que tener siempre presente en vuestra cabeza para resolver un ejercicio. Ademas de eso recordad estos consejos:

1.- Cualquier ejercicio se puede demostrar por reducción al absurdo. (Suponiendo la negación de lo que queremos demostrar y buscando una contradicción.

2.- Si el resultado de l a deducción es una implicación, para resolverlo hay que suponer el antecedente. ( I. I.)

3.- Si el resultado es una conjunción, hay que ser capaces de encontrar los elementos sueltos para poderlos unir.  (I. C.)

4.- Si el resultado es una disyunción, basta con que encuentres uno de los elementos del enunciado y puedes añadir el otro (I.D).

Pincha para descargar las reglas