Reglas de inferencia

Otro ejemplo:
La inferencia lógica es llamada también LÓGICA
INFERENCIAL. Es un proceso que consiste en
pasar de un conjunto de premisas a una conclusión,
sin la necesidad de elaborar tablas o cuadros muy
extensos.
Premisa 1. Si hoy no es sábado, entonces mañana
no es domingo.
Premisa 2. Hoy no es sábado.
Conclusión: Mañana no es domingo.

Por ejemplo: Este ejemplo se simboliza así:

Si se tiene la proposición; si es domingo,
entonces la escuela está cerrada.
Y si afirmamos la proposición: es domingo
Obtenemos como conclusión: la escuela está
cerrada.
En este proceso distinguiremos dos partes
fundamentales:
Las premisas Son el conjunto de proposiciones
~P→~Q
~P
∴~Q (Recuerda que ∴ significa por lo tanto)
Obsérvese que la regla Modus Ponendo Ponens
hace posible pasar de dos proposiciones o
premisas a la conclusión. Esta regla indica que de
dos proposiciones de la forma P→Q y P, se puede
deducir la conclusión Q.

La consecuencia lógica que se

MODUS TOLLENDO TOLLENS
Conclusión obtiene de las premisas
Se refiere a dada la proposición condicional de
implicación (P→Q) si se suprime el consecuente
Las principales reglas de inferencia son: (~Q), es porque falla el antecedente (~P)
Por ejemplo:
1. MODUS PONENDO PONENS
2. MODUS TOLLENDO TOLLENS Premisa 1. Si apruebo el examen, voy a Cancún.
3. LEY DEL SILOGISMO Premisa 2. No fui a Cancún.
4. MODO CONJUNTIVO Conclusión: No aprobé el examen.
5. MODO DISYUNTIVO
Si simbolizamos las proposiciones anteriores, es
decir, convirtiéndolas en formulas lógicas, entonces
lo anterior quedará:
MODUS PONENDO PONENS
Si: P: Apruebo el examen.
Q: Voy a Cancún.
Se refiere a dada la proposición condicional de Entonces:
implicación (P→Q) si se cumple el antecedente (P) Premisa 1. P→Q
se concluye que se cumple el consecuente (Q). Premisa 2. ~Q
Conclusión: ~P
Por ejemplo:

Premisa 1. Si Juan es poeta, entonces es pobre. Otro ejemplo:

Premisa 2. Juan es poeta.
Conclusión: Juan es pobre. Premisa 1. Si no trabajo, entonces no gano dinero.
Premisa 2. Gano dinero.
Si simbolizamos las proposiciones anteriores, es Conclusión: Estoy trabajando.
decir, convirtiéndolas en formulas lógicas, entonces
lo anterior quedará: Este ejemplo se simboliza así:
Si: P: Juan es poeta. ~P→~Q
Q: Juan es pobre. Q

Entonces: Premisa 1. P→Q ∴P (Recuerda que ~(~Q)= Q)

Premisa 2. P
Conclusión: Q
 LEY DEL SILOGISMO Si simbolizamos las proposiciones anteriores, es
decir, convirtiéndolas en formulas lógicas, entonces
Aplica la ley transitiva de la implicación (P→Q) y si lo anterior quedará:
(Q→R) se concluye (P→R), para entenderlo mejor Si: P: Nury es secretaria.
analicemos el siguiente ejemplo: recordemos las Q: Nury es mexicana.
fichas de domino unas colocadas atrás de las otras,
¿Qué pasa cuando tiras la primera?, se cae la Entonces:
segunda, ¿Qué pasa si se cae la segunda?, se cae Premisa. P∧Q
la tercera, y así sucesivamente, entonces podemos Conclusión 1: P
concluir que si tiramos la primera se cae la ultima. Conclusión 2: Q

Otro ejemplo: MODO DISYUNTIVO

Premisa 1. Si calentamos gas, entonces se
expande.
Premisa 2. Si un gas se expande, entonces su
presión aumenta.
Conclusión: si calentamos gas, entonces se
presión aumenta.
Esta regla se refiere en el que al negar un miembro
de una disyunción (P ∨ Q), se afirma el otro
miembro, por ejemplo si tenemos de lo anterior (~
P) podemos afirmar (Q), o de lo contrario teniendo
(~ Q) podemos afirmar (P).
Analicemos el siguiente ejemplo:

Si simbolizamos las proposiciones anteriores, es Si se cumple que: hoy iré al futbol o al teatro.
decir, convirtiéndolas en formulas lógicas, entonces Y mañana alguien nos pregunta a dónde fuimos, el
lo anterior quedará: hecho de contestar “no fui al futbol” implica que
“Fui al teatro”
Si: P: Calentamos gas.
Q: El gas se expande.
Otro ejemplo:
R: La presión del gas aumenta
Entonces:
Premisa 1. Hoy debe ser lunes o martes.
Premisa 1. P→Q
Premisa 1. Hoy no es lunes.
Premisa 2. Q→R
Conclusión: hoy es martes
Conclusión: P→R
Si simbolizamos las proposiciones
MODO CONJUNTIVO anteriores, es decir, convirtiéndolas en
Llamado también LEY DE LA formulas lógicas, entonces lo anterior
SIMPLIFICACIÓN Se refiere a que si dos quedará:
situaciones se realizan conjuntamente (P ∧ Q), es
evidente que cada una de ellas ha de realizarse, Si: P: hoy es lunes.
tanto (P) como (Q). Q: hoy es martes.
Por ejemplo si tenemos: Entonces:
Premisa 1. P ∨ Q
Hoy es viernes y mañana será sábado. Premisa 2. ~ P
Si la premisa es cierta podemos deducir dos Conclusión: Q
conclusiones que serán:

1. “Hoy es viernes”
2. “Mañana será sábado”

Otro ejemplo:

Premisa 1. Nury es secretaria y es mexicana.

Conclusión 1: Claro que Nury es secretaria.
Conclusión 2: Claro que Nury es mexicana.
 EJERCICIOS COMPLEMENTARIOS:
I. ¿Qué conclusiones se obtendrán de cada
uno de los conjuntos de premisas
siguientes?
a) Si está nublado, entonces llueve.
Está nublado.
Conclusión:
______________________________
______________________________
b) Si no actuamos ahora, entonces no
realizaremos nuestro plan.
No actuamos ahora.
Conclusión:
______________________________
______________________________
c) Si me porto mal, entonces no tendré
receso.
Tengo receso.
Conclusión:
______________________________
______________________________
d) ~P→Q
~Q
Conclusión:
______________________________
______________________________
e) Si no estudio, entonces repruebo.
Si repruebo, entonces no tengo
vacaciones.
Conclusión:
______________________________
______________________________
f) P → ~Q
~Q →~R
Conclusión:
______________________________
______________________________
g) x es un numero par y x es cuadrado
perfecto
Conclusión 1:
______________________________
______________________________
Conclusión 2:
______________________________
______________________________
h) Ya comí mucho y no tengo hambre
Conclusión 1:
______________________________
_______
Conclusión 2:
______________________________
______________________________
i) Los pasajes valen $ 4.50 o $ 5.50
Mi pasaje no vale $ 4.50
Conclusión:
______________________________
______________________________
j) Luis ha leído el libro o ha ido a
devolverlo a la biblioteca.
Luis no ha leído el libro.
Conclusión:
______________________________
______________________________
Nombre:______________________
______________________________
Fecha:________
Grupo:________