Reglas de Inferencia.

1. 1.       Inferencia.

Es deducir, y deducir es obtener conclusiones a partir de unas premisas. El

cálculo inferencial tiene como finalidad facilitar el análisis de argumentos mediante
el lenguaje simbólico y las “Reglas de la Inferencia”.

2. Reglas de Inferencia

Los argumentos basados en tautologías representan métodos de razonamiento

universalmente correctos. Su validez depende solamente de la forma de las
proposiciones que intervienen y no de los valores de verdad de las variables que
contienen. A esos argumentos se les llaman reglas de inferencia. Las reglas de
inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración..

Ejemplo:

¿Es válido el siguiente argumento?.

Si usted invierte en el mercado de valores, entonces se hará rico.

Si se hace usted rico, entonces será feliz.

\ Si usted invierte en el mercado de valores, entonces será feliz.

Sea:
p: Usted invierte en el mercado de valores.
q: Se hará rico.
r: Será feliz
 

De tal manera que el enunciado anterior se puede representar con notación

lógica de la siguiente manera:

p®q
q®r
\p®r
 

A continuación se cita una lista de las principales reglas de inferencia que se

pueden aplicar en una demostración.
1. Modus Ponendo Ponens. La regla de inferencia aplicada en el ejemplo
precedente tiene un nombre latino, modus ponendo ponens.
Consideremos algunos ejemplos del uso de esta regla en la deducción de
conclusiones a partir de premisas.

P → P

Ejemplo 1:

Premisa 1. Si él está en el partido de futbol, entonces él está en

el estadio.

Premisa 2. El está en el partido de futbol.

Conclusión. El está en el estadio.

Simbólicamente, se expresa así:

Sea:

P= Él está en el partido de fútbol.

Q= Él está en el estadio.

Entonces:

Premisa 1. P → Q

Premisa 2. P

Conclusión. Q

Ejemplo 2:

Premisa 1. Si no hace frío, entonces el lago no se helará.

Premisa 2. No hace frío.

Conclusión. El lago no se helará.

Simbólicamente, se expresa así:

Sea:

P= Si no hace frío, entonces el lago no se helará.

Q= No hace frío.

Entonces:

Premisa 1. ~P → ~Q

Premisa 2. ~P

Conclusión. ~Q

En cada uno de los ejemplos, la regla modus ponendo ponens permite pasar
de dos premisas a la conclusión. Decir que la conclusión es consecuencia
lógica de las premisas, es decir, que siempre que las premisas son ciertas, la
conclusión es también cierta. La regla de inferencia aprendida dice que si se
tienen dos proposiciones de la forma P → Q y P, se puede deducir que la
conclusión es Q

Tanto los antecedentes como los consecuentes que se utilizan pueden ser
proposiciones atómicas o moleculares:

a. P→Q b. P c. P & Q→R

P P→ ~Q P&Q

Q ~Q R

d. ~P → Q e. P → Q&R

~P P

Q Q&R
Demostraciones en dos pasos. Algunas veces no se puede ir directamente de las
premisas a la conclusión por un solo paso. Pero esto no impide poder llegar a la
conclusión. Cada vez se deduce una proposición por medio de una regla, entonces
esta proposición se puede utilizar junto con las premisas para deducir otra
proposición.

Ejemplo:

Demostrar: C

A→ B P

B→ C P

A P

A→ B P

B→ C P

A P

B PP 1,3

C PP 2,4

2. Modus Tollendo Tollens. La regla de inferencia que tiene el nombre

latino modus tollendo tollens se aplica también a las proposiciones
condicionales. Pero en este caso, negando (tollendo) el consecuente, se
puede negar (tollens) el antecedente de la condicional.

P V Q P V Q

~P ~Q

Q P

Ejemplo 1:

Premisa 1. Si tienes luz propia, entonces el astro es una estrella.

Premisa 2. El astro no es una estrella.

Conclusión. Por tanto no tiene luz propia.

 DOBLE NEGACIÓN.

Es una regla que permite pasar de una premisa única a la conclusión.

Un ejemplo simple es el de una negación de la negación que se denomina
<< Doble negación >>.

Sea la proposición:

No ocurre que Ana no es un estudiante.

De donde se puede sacar la conclusión: Ana es estudiante.

La regla también actúa en sentido contrario. Por ejemplo: de la

proposición se puede concluir la negación de su negación:

Juan toma el autobús para ir a la escuela.

__________________________________________

No ocurre que Juan no toma el autobús para ir a la escuela

Simbólicamente, se expresa así:

P= Tiene luz propia

Q= El astro es una estrella

Entonces:

Premisa 1. P → Q

Premisa 2. ~Q

Conclusión. ~P
Por tanto, la regla modus tollendo tollens permite pasar de dos
premisas: (a) una proposición condicional, y (b) una proposición que niega
el consecuente, a una conclusión que niega el antecendente.