Reglas de Inferencia

1.6.
1 Reglas de Inferencia
INFERENCIA: De premisas verdaderas se obtienen sólo conclusiones verdaderas.
NOTA: Cada regla de inferencia tiene su origen en una implicación lógica. En
algunos casos la implicación lógica se establece sin demostración.
Regla Nombre
p Modus Ponens
p→q
q
p→q Ley del silogismo
q→r
p→q
p→ q Modus Tollens
q
p
p Regla de la Conjunción
q
pΛq
pVq Regla del silogismo
p Disyuntivo
q
p →F Regla de la contradicción
p
pΛq Regla de la simplificación
p Conjuntiva
p Regla de la simplificación
pVq Disyuntiva
pΛq Regla de la demostración
p → (q → r)
Condicional
r
p→r Regla de la demostración
q→r por casos
(pVq)→r
p→q Regla del dilema
r→s constructivo
pV r
qVs
p→q Regla del dilema destructivo
r →s
q__V___
r
p Vr
E jemplos
1. REGLA DEL MODUS PONENDO PONENS
Es una regla de inferencia que permite demostrar q a partir de p→ q y p.
PREMISA 1) Si Pedro está en el partido de Fútbol, entonces Pedro
está en el estadio.
PREMISA 2) Pedro está en el partido de Fútbol.
___________________________________________________
CONCLUSIÓN: Pedro Está en el estadio.

Simbólicamente tenemos lo siguiente:
p: Pedro está en el partido de fútbol
q: Pedro está en el estadio
Entonces:
PREMISA 1) p→ q
PREMISA 2) p
__________
CONCLUSIÓN: q
Esta regla permite pasar de dos premisas a la conclusión, se dice que la
conclusión es una consecuencia lógica de las premisas, es decir siempre que las
premisas son ciertas, la conclusión es también verdadera.
La misma regla se aplica tanto si el antecedente y el consecuente son
proposiciones atómicas o moleculares.
E jemplo
a) r → s b) p c) p  q → r d) p → q r
r p →q p q p
________________ __________________ ________________ ________________
s q r q r
Cuando el MODUS PONENDO PONENS o cualquier otra regla se aplica para
sacar una conclusión de dos o más proposiciones, el orden de las proposiciones
es indiferente.
La abreviatura para esta regla es MP.

2) 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 par ir a la escuela.
__________________________________________
No ocurre que Juan no toma el autobús para ir a la escuela
Así esta regla tiene dos formas simbólicas:
(p) y (p)
(p) (p)
La abreviatura para esta regla es DN.
3) MODUS TOLLENDO TOLLENS

La regla de Inferencia que 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.
E jemplo
La deducción siguiente es un ejemplo del uso de esta regla:
PREMISA 1) Si tiene luz propia, entonces el astro es una estrella .
PREMISA 2) El astro no es una estrella.
Conclusión: Por lo tanto no tiene luz propia.
Simbolizando:
p : Tiene luz propia
q : El astro es una estrella.
PREMISA 1) p→q
PREMISA 2) q
_______________________
Conclusión: p
Cuando se trata de proposiciones moleculares puede usarse el paréntesis para
mayor claridad.
La abreviatura para esta regla es TT.

4) Regla de ADJUNCION Y SIMPLIFICACIÓN.
Se suponen dadas dos proposiciones como premisas. La primera es
Jorge es adulto
La segunda es:
María es adolescente.
Si ambas proposiciones son verdaderas, entonces se podrían juntar en una
proposición molecular utilizando el término de enlace << y >> y se tendría una
proposición verdadera que se leería:
Jorge es adulto y maría es adolescente.
La regla que permite pasar de las dos premisas a la conclusión se denomina regla
de ADJUNCION.
La abreviatura para esta regla es A.
De manera simbólica se puede ilustrar la regla así :
PREMISA 1) p
PREMISA 2) q
_____________________
Conclusión 1) p  q
Conclusión 2) q  p
El orden de las premisas es indiferente.
Ahora veamos la REGLA DE SIMPLIFICACIÓN
Si se tiene una premisa que dice:
El cumpleaños de María es el lunes y el mío es el sábado.
De esta premisa se pueden concluir:

El cumpleaños de María es el viernes.
La otra conclusión:
El mío es el sábado.
Si la premisa es cierta, cada una de las conclusiones es también cierta.
Esta regla se abrevia por S.
En forma simbólica la regla de simplificación es: p  q
De la premisa p  q
_______________
Se concluye: p
O se concluye: q
5) REGLA DE MODUS TOLLENDO PONENS
Esta regla dice que negando (tollendo) un miembro de una disyunción, se afirma
(Ponens) el otro miembro.
Simbólicamente tenemos:
De la premisa p v q
Y de la premisa
p
_______________
se concluye q
O también
De la premisa pv q
Y de la premisa
q
________________
se puede concluir p
La abreviatura para esta regla es : TP.

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 llama reglas de inferencia. Las
reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una
demostración.
Ejemplo 1
¿Es valido 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
Ejemplo 2.
¿Es valido el siguiente argumento?.
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
 Los impuestos bajan
Solución:
Sea
p: Los impuestos bajan.
q: El ingreso se eleva.
p→q
_____
p
El aplicar la regla de inferencia es lo que le cuesta más al alumno y se deberá

poner mucha atención para que el alumno aprenda a aplicar dicha regla.
En una demostración no solamente hay tautologías e hipótesis, también existen
reglas de inferencia que permiten obtener nuevas líneas válidas, esta es la parte
en donde la mayoría de alumnos tienen problemas y en donde no sabe que regla
aplicar para resolver un determinado problema
Ejercicio:
Determina de los siguiente argumentos cuales reglas de inferencia se aplican y
cual es el resultado del argumento.
1.- Ligia gana 10 millones de dólares en la lotería.
Si lidia gana 10 millones de dólares en la lotería entonces José renunciará a su
trabajo.
Por lo tanto: ____________________________________
2.- Si el entero 35, 244 es divisible entre 396, entonces el entero 35,244 es
divisible entre 66
Si el entero 35, 244 es divisible entre 66, entonces el entero 35, 244 es divisible
entre 3
Por lo tanto: __________________________________________
3.- Si Alejandra se va de paseo a París entonces tendrá que ganarse una beca
Alejandra se va de paseo a París.

Por lo tanto: _________________________________________
4.- Rita esta horneando un pastel
Si Rita esta horneando un pastel, entonces no está practicando la flauta.
Si Rita no está practicando la flauta, entonces su padre no pagará el seguro.
Por lo tanto: _________________________________________
5.- Si Juan juega Basket entonces será un gran deportista
Si Juan trabaja entonces ahorrará para ir de vacaciones.
Juan juega básquet o estudia Inglés
Por lo tanto: __________________________________________

Reglas de Inferencia

Cargado por

Copyright:

Formatos disponibles

Reglas de Inferencia

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Reglas de Inferencia

Cargado por

Copyright:

Formatos disponibles

1.6.

INFERENCIA: De premisas verdaderas se obtienen sólo conclusiones verdaderas.

NOTA: Cada regla de inferencia tiene su origen en una implicación lógica. En

algunos casos la implicación lógica se establece sin demostración.

1. REGLA DEL MODUS PONENDO PONENS

Es una regla de inferencia que permite demostrar q a partir de p→ q y p.

PREMISA 1) Si Pedro está en el partido de Fútbol, entonces Pedro

PREMISA 2) Pedro está en el partido de Fútbol.

CONCLUSIÓN: Pedro Está en el estadio.

p: Pedro está en el partido de fútbol

q: Pedro está en el estadio

Esta regla permite pasar de dos premisas a la conclusión, se dice que la

premisas son ciertas, la conclusión es también verdadera.

La misma regla se aplica tanto si el antecedente y el consecuente son

proposiciones atómicas o moleculares.

Cuando el MODUS PONENDO PONENS o cualquier otra regla se aplica para

sacar una conclusión de dos o más proposiciones, el orden de las proposiciones

La abreviatura para esta regla es MP.

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

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 par ir a la escuela.

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

Así esta regla tiene dos formas simbólicas:

La abreviatura para esta regla es DN.

3) MODUS TOLLENDO TOLLENS

pero en este caso, negando ( tollendo ) el consecuente, se puede negar (tollens )

La deducción siguiente es un ejemplo del uso de esta regla:

PREMISA 1) Si tiene luz propia, entonces el astro es una estrella .

PREMISA 2) El astro no es una estrella.

Conclusión: Por lo tanto no tiene luz propia.

Cuando se trata de proposiciones moleculares puede usarse el paréntesis para

La abreviatura para esta regla es TT.

Se suponen dadas dos proposiciones como premisas. La primera es

Si ambas proposiciones son verdaderas, entonces se podrían juntar en una

proposición molecular utilizando el término de enlace << y >> y se tendría una

proposición verdadera que se leería:

Jorge es adulto y maría es adolescente.

La abreviatura para esta regla es A.

De manera simbólica se puede ilustrar la regla así :

El orden de las premisas es indiferente.

Ahora veamos la REGLA DE SIMPLIFICACIÓN

Si se tiene una premisa que dice:

El cumpleaños de María es el lunes y el mío es el sábado.

De esta premisa se pueden concluir:

Si la premisa es cierta, cada una de las conclusiones es también cierta.

Esta regla se abrevia por S.

En forma simbólica la regla de simplificación es: p  q

5) REGLA DE MODUS TOLLENDO PONENS

(Ponens) el otro miembro.

La abreviatura para esta regla es : TP.

¿Es valido 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.

p: Usted invierte en el mercado de valores.

¿Es valido el siguiente argumento?.