Reglas de inferencia

Definicin
La inferencia es la forma en la que obtenemos conclusiones en base a datos y
declaraciones establecidas.
En lgica, especialmente en lgica matemtica, una regla de inferencia es un
esquema para construir inferencias vlidas. Estos esquemas establecen
relaciones sintcticas entre un conjunto de frmulas llamados premisas y una
asercin llamada conclusin.
Aplicacin de las leyes de inferencia:

Ejemplo: Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si

sigue lloviendo y el ro crece, entonces el puente ser arrastrado por las
aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por
las aguas, entonces no ser suficiente un solo camino para toda la ciudad.
O bien un solo camino es suficiente para toda la ciudad o bien los
ingenieros han cometido un error. Por tanto, los ingenieros han cometido un
error.
Utilizando el siguiente lenguaje simblico:
C: contina lloviendo
R: el ro crece
P: el puente es arrastrado por las aguas
S: un solo camino es suficiente para toda la ciudad
E: los ingenieros han cometido un error

Demostracin de la validez de un argumento

La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo
conocimiento; es el enlace entre los conocimientos recin adquiridos y los
conocimientos anteriores. Los procedimientos de demostracin permiten

establecer la conexin lgica entre las proposiciones fundamentales de la

teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as
se demuestra.
Los principales tipos de demostracin son:

MODUS PONENDO PONENS

Esta ley significa, modo en que afirmando se afirma. El modus

ponendo ponens emplea la regla de la condicional; es decir, que si
afirmamos como verdadero el antecedente en una condicional, entonces
tendremos como conclusin la afirmacin del consecuente. La forma o
estructura de la ley (MPP) es:
1. p q
2. p
3. q

ejemplo:

Si est soleado, entonces es de da.

Est soleado.
Por lo tanto, es de da.
MODUS TOLLENDO TOLLENS

Esta ley se basa tambin en la regla de la condicional, y quiere decir

modo en que negando se niega, esto es, que cuando se niega el
consecuente de una condicional, debe negarse su antecedente. La forma
de la ley (MTT) es la siguiente.
1. p q
2. q
3. p

Ejemplo:

Si hay luz solar, entonces es de da.

No es de da.
Por lo tanto, no hay luz solar.

MODUS TOLLENDO PONENS

A esta ley (MTP) le caracteriza la conectividad de la disyuncin y

significa modo en que negando afirmamos la forma de esta ley es:
1. p v q

1. p v q

2. p

3. q

2. -q
3. p

Ejemplo:

O es de da o es de noche.
No es de da.
Por lo tanto, es de noche.
SILOGISMO HIPOTTICO (SH)

A esta ley le caracteriza la condicional y significa que cuando el

antecedente de un condicional es tambin el consecuente de otro, se
puede inferir que el antecedente de ese otro, es tambin el antecedente
del primero. La forma que presenta el silogismo hipottico (SH) es:
1. p q
2. q r
3. p r

Ejemplo:

Si no me despierto, no puedo ir a la fiesta.

Si no voy a la fiesta, no me divertir.
Entonces, si no me despierto no me divertir.

Silogismo disyuntivo (S. D) o Modus Tollendo Ponens (MTP)

p q
p
q
Esta ley se enuncia as: Si una disyuncin es verdadera y una de sus
proposiciones simples es falsa, entonces necesariamente la otra proposicin ser

verdadera. Simblicamente se escribe as:

p q p q
p

Ejemplo

p q q

Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o

cambia slo a saltos.
Premisa 2:
continuidad

La energa interna de un tomo no puede cambiar con

Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente
p:
La
energa
continuidad
q:

de

un

tomopuedecambiar

La energa de un tomo slo cambia a saltos

Premisa 1:p v q
Premisa 2:~ p
Conclusin: Q

Dilema constructivo (D.C)

p q r s
p r
q s

Ejemplo:
Si estudio aprendo y si duermo descanso.
Estudi o dorm.
Luego Aprend o descans.

Absorcin (Abs)

con

p q
p q p

Ejemplo:
Si estudio aprendo
Estudio, luego aprendo y estudio

Simplificacin (Simp.)
p q
p
Ejemplo: Estudio y aprendo Luego, estudio.

Conjuncin (Conj)
p
q
p q

Ejemplo:
Estudio
Trabajo
Luego, estudio y trabajo

Adicin (Ad.)
p
p q

Ejemplo:
Estudio
Luego, estudio trabajo
Lgica cuantificacional
Es llamada tambin lgica de predicados o lgica de primer orden.
La lgica cuantificacional estudia la composicin ntima de las proposiciones,
utiliza nuevos smbolos, leyes y mtodos para establecer la validez de los
razonamientos.
Cuantificadores universales y existenciales
Cuantificador Universal. El cuantificador universal para todo asociado
a una expresin de clculo de predicados F se representa por la
expresin (x) F y es verdadera cuando todas las instancias de la

frmula son verdaderas al sustituir la variable x en la frmula por cada

uno de los valores posibles del dominio.

Cuantificador Existencial. El cuantificador existencial al menos uno o

existe uno asociado a una expresin de clculo de predicados F se
representa por la expresin (x) F y es verdadera cuando por lo menos
una instancia de la frmula es verdadera al sustituir por la variable x uno
de los valores posibles del dominio.
Si la unin de todas las proposiciones que origina una funcin
proposicional p(x) es cierta, se escribe Existe x tal que p(x). Se llama (a
"existe") cuantificador existencial.
NEGACIN DE PROPOSICIONES CON CUANTIFICADORES
Sea p(x) una funcin proposicional con extensin A, entonces:

Aplicacin de las leyes bsicas de la lgica cuantificacional para

demostrar validez