LAS REGLAS DE INFERENCIA

• Las reglas de inferencia son necesarias para deducir y

demostrar formalmente, pero no puede ser cualquier
tipo, deben tener cualidades especificas, por ejemplo
son tautologías ,lo cual quiere decir que todos sus
valores de verdad son verdaderos. Por otro lado la
inferencia que se puede hacer de ellas garantiza la
validez, o sea, ofrecen una consecuencia lógica de sus
premisas; así , cuando las premisas son verdadera, la
conclusión seguida será verdadera necesariamente
REGLAS DE INFERENCIA
MODUS PONEN (MPP)
 EJEMPLO
• Si te ama, entonces te respeta. Efectivamente te
ama, por tanto, te respeta
MODUS TOLLENDO TOLENS (MTT)
 EJEMPLO
• Si para tener licencia de conducir tienes que tener 18 años
y no tienes 18 años, entonces no puedes tener licencia de
conducir
MODUS TOLLENDO PONEN (MTP)
SILOGISMO HIPOTÉTICO (SH)
 SILOGISMO DISYUNTIVO

• El silogismo disyuntivo afirma que si tenemos un

disyunción y negamos uno de los disyuntivos
entonces nos quedamos con el otro disyunto.
EJEMPLO DE SILOGISMO DISYUNTIVO
EJEMPLO DE SILOGISMO DISYUNTIVO
• Imagina que tu mamá te ofrece como postre helado de
chocolate o flan napolitano, tú quieres los dos pero sólo
puedes elegir uno, entonces piensas que hace frío y que
no quieres helado, por lo tanto te quedas con el flan.
 DILEMA CONSTRUCTIVO
• Esta inferencia parece complicada, pero en
realidad no es tanto. Imagine que tiene un
modus ponendo ponens doble, el cual las dos
condicionales están unidos por una conjunción
y luego tienen los dos antecedentes unidos por
una disyunción, entonces como en el modus
ponendo ponenss, infiere las consecuentes
unidos por una disyunción
EJEMPLO DE DILEMA CONSTRUCTIVO
(DC)
 DILEMA DESTRUCTIVO

• Esta inferencia es una especie de modus tollendo

tollens doble, asì que si tiene dos condicionales y
luego tiene dos consecuentes negados, infiera los
antecedentes negados
• [(P→Q) ^ (R→S) ^ (~Q v ~S)] → (~P v ~R)
EJEMPLO DE DILEMA DESTRUCTIVO
• Ejemplo 1: Si voy a Buenos Aires en verano pasaré calor, pero
si voy a Bogotá en cualquier época tendré frío, entonces o no
pasaré calor, o no tendré frío, por lo tanto o no iré a Buenos
Aires, o no iré a Bogotá.
• Este Dilema, expresado a través de la estructura que propone
la Lógica proposicional, tendría la siguiente forma:
• P: Si voy a Buenos Aires en verano → Q: pasaré calor
• R: Pero si voy a Bogotá en cualquier época → S: tendré frío
• Entonces ~Q: O no pasaré calor o ~S: no tendré frío
• Por lo tanto: ~P: O no iré a Buenos Aires o ~R: no tendré frío
•
 SIMPLIFICACIÒN

• En esta inferencia lo que se afirma es que si tiene

una conjunción entonces se puede quedar con un
conyunto. Esto se debe que para una conjunción
sean verdadero ambos conyuntos deben ser
verdaderos. P • Q
 EJEMPLO
• “hoy es lunes y habrá examen de lógica” es
verdadero, entonces “hoy es lunes” es
necesariamente verdadero, porque el enunciado
compuesto del ejemplo sólo puede ser verdadero si
ambos enunciados simples también lo son.
 CONJUNCIÓN
• P
• Q_____
• P•Q
• Esta es una regla muy elemental, si tienes dos
proposiciones verdaderas y las juntas en una
conjunción esta también será verdadera.
 EJEMPLO
• Si es verdad que “el examen extraordinario es
muy fácil” y también es verdad que “todos los
alumnos aprueban”, entonces es verdadero que
“el examen extraordinario es muy fácil y todos
los alumnos aprueban
 ADICIÓN
• P____
• P∨Q
• Esta es una regla muy interesante, porque para
que una disyunción sea verdadera basta con
que uno de sus componentes lo sea, de tal
modo que si tienes una proposición verdadera,
puedes añadir cualquier otra en disyunción y el
resultado siempre será verdadero
 EJEMPLO
• Si tienes un auto compacto y para presumir con
una chica le dices que tienes un auto compacto
o un deportivo, le estás diciendo la verdad,
aunque ella no sepa cuál de los dos tienes en
realidad.