FORMALIZACION DE INFERENCIAS...

Una inferencia es una operación lógica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposición conocida como conclusión. Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusión. La conclusión de una inferencia es la proposición que se afirma sobre la base de las premisas. Ejemplo:

1) Los postulados son proposiciones primitivas de la matemática. Luego, los postulados son proposiciones primitivas de la matemática o de la lógica.

Premisa: Los postulados son proposiciones primitivas de la matemática.

Conclusión: Luego, los postulados son proposiciones primitivas de la matemática o de la lógica.

Formalizacion de inferencias ordenadas:

1) Los congresistas representan a la Nación, pero no están sujetos a mandato imperativo. Luego, los congresistas representan a la Nación.

Forma lógica:

1. Los congresistas representan a la Nación y los congresistas no están sujetos a mandato imperativo.

Luego, los congresistas representan a la Nación.

Formula:

p: los congresistas representan a la Nación.

q: los congresistas están sujetos a mandato imperativo.

1. p ٨ ~q

.ֹ. p

(p ٨ ~q)→p

Formalizacion de inferencias desordenadas:

La forma lógica de la inferencia es premisas-conclusión; sin embargo, en el lenguaje coloquial es frecuente observar que dicha forma lógica se presente alterada y en orden inverso, es decir, conclusión-premisas. En este caso, antes de proceder a su formalizacion, es preciso restablecer su forma lógica, o sea, se debe ordenar la inferencia. Ejemplo:

1) Inferencia: Si Cesar es guitarrista, entonces es músico. Cesar no es guitarrista puesto que no es músico.

Forma lógica:

1. Si Cesar es guitarrista, entonces es músico.

2. Cesar no es músico.

Lego, Cesar no es guitarrista.

Formula:

p→q

~q

.·. ~p

[(p→q)٨~q]→~p