LEYES DE INFERENCIA

INTEGRANTES: Lenin Chicaiza

Juan Carlos
Velasteguí
Edwin Lagua
Napoleón Quispe

Marcelo Chicaiza
Regla de Inferencia
Las reglas que permiten a través de in conjunto
de premisas llega a una conclusión lógica.

MODUS PONENDO PONENS (PP)

 El modus ponendo ponens (el modo que afirmando
afirma) es un tipo de argumento lógico, de inferencia razonada.
Busca poder deducir a través de estas una conclusión que requiere de una
doble afirmación.
 EJEMPLO
La biología estudia la vida, entonces, estudia las células
de todos los seres vivos

Si afirmo el antecedente, mi conclusión es la afirmación

del consecuente
 MODUS TOLLENDO TOLLENS

 El modus Tollendo Tollens (Modo que negando niega) es una

forma de argumento válida y una regla de inferencia en lógica
proposicional.
 P esta enlazada a Q por un condicional, entonces si no tenemos Q no
tenemos P
 EJEMPLO
Tienes que comer si tienes hambre

Si niego el consecuente, mi conclusión es la negación

del antecedente.
Regla de Adjunción
• Permite pasar de las dos premisas a la conclusión. Se
indica con una letra A.

 • De manera simbólica de las premisas.

P
Q
Se puede concluir P
O se puede concluir Q
• Por ejemplo
• P1: Jorge es Adulto
• P2: María es adolescente
• Conclusión: Jorge es Adulto y María es Adolescente.
Ejemplo de Adjunción
 • Ejemplo 1
• P P1
• P2
• P

 • Ejemplo 2
• PVQ P1
• QVR P2
• (PVQ)
Regla de Simplificación
 • Permite pasar de una conjunción a cada una de las dos
proposiciones que están unidas por Se designa la abreviación S.

 • De manera simbólica de las premisas.

P
Se puede concluir P
O se puede concluir Q

• Por ejemplo
• P1: El cumpleaños de María es viernes y el mío el sábado.
• Conclusión1: El cumpleaños de María es el viernes.
• Conclusión2: el mío es el sábado.
Ejemplo de Simplificación
 • Ejemplo 1
• (PVQ) R P1
• (PVQ) S1
Ó
R S2
LEYES DE INFERENCIA
ADICIÓN
 Si p es cierta y q es cierta, entonces la conjunción “P y Q” también es cierta.

Ejemplos:
p ¬r
……….. …………………..
(p v q) ¬ r v (t v s)
 LEYES DE INFERENCIA
DILEMA CONSTRUCTIVO
Si p  implica q y r implica s, entonces si p o r es verdadera, se deduce que, o bien q o
s es verdadera

Ejemplo
p r ¬r p
q ¬s s (q ^ t)
pvq s v ¬r
-------------- ----------------
r v ¬s p v (q ^ t)
El dilema constructivo es la versión disyuntiva del modus ponens
 Dilema destructivo
Sirve para inferir una conclusión de premisas dadas
para generar una argumentación valida
Se deduce de:
P → Q Condicional
P ˄ Q Conjuncón
P ˅ Q Disyunción
 (P → Q) ˄ (R → S) ˄ (~Q ˅ ~S) ≡ (~P ˅ ~Q)

Si estudio Biología entonces aprenderé las (P → Q)

características de los seres vivos,

y si estudio física entonces entonces (R → S)

aprenderé la interacción del materia y
energía,

o no aprenderé las características de los (~Q ˅ ~S)

seres, o no aprenderé la interacción del
materia y energía.

(~Q ˅ ~S)
Por lo tanto o estudio biología o no estudio
física.