EJERCICIO DE APLICACIÓN REGLAS DE INFERENCIA

EJERCICIO DE APLICACIÓN REGLAS DE INFERENCIA

INFERENCIA LOGICA: La inferencia lógica es la forma en la que se obtienen conclusiones a partir de datos y observaciones.

DEMOSTRACION LOGICA: Es el proceso por el cual encontramos la validez o no de razonamientos, mediante la utilización de reglas de inferencia.

EJERCICIO

Para el siguiente ejercicio es necesario simbolizar las premisas con letras, así como la conclusión (recuerde que la conclusión es la premisa que comienza con la frase “por lo tanto”).

Demostrar que las conclusiones son consecuencia de las premisas que aparecen en el ejercicio.

Dar una demostración completa teniendo en cuenta las reglas de inferencia.

El gerente de una empresa es el encargado de muchas de las labores más importante, entonces ser gerente es un cargo difícil de manejar. La gente dice que, o los gerentes son personas de las que depende la empresa, o que sólo se dedican a despedir y contratar trabajadores. Pero si ellos sólo se dedican a contratar y despedir trabajadores, entonces ser gerente no es un cargo difícil de manejar. Además, si la gerencia no es un cargo que sólo quienes se han preparado para ello lo merecen, entonces sería falso que la gente diga que los gerentes son personas de las que depende la empresa y que el gerente es el encargado de muchas de las labores más importantes. Por lo tanto, la gerencia es un cargo que sólo quienes se han preparado para ello lo merecen.

r El gerente de una empresa es el encargado de muchas de las labores más importantes.

q Ser gerente es un cargo difícil de manejar.

r La gente dice que los gerentes son personas de las que depende la empresa.

s La gente dice que los gerentes sólo se dedican a contratar y despedir trabajadores.

t La gerencia es un cargo que sólo quienes se han preparado para ello lo merecen. (Conclusión).

1. p

2. p → q

3. r v s

4. S → ~q

5. ˜t→ ˜(r Λ p)

6. q (MPP 1-2)

7. ~s (MTT 4-6)

8. r (MTP 3-7)

9. r Ʌ p (Ad. 1-8)

10. ~ (~t) (MTT 5-9)

11. t (DN 10)

...