SEMANA 3:

LA INFERENCIA
LOGICA
Procedimiento mediante el cual se
puede deducir la verdad de una
proposición a partir de premisas que se
consideran verdaderas.
ESTRUCTURA FUNDAMENTAL
Premisa 1: ∀x (Perro(x)→Mamífero (x ("Todos los perros son
mamíferos").
Premisa 2: Perro (Firulais) ("Firulais es un perro").
Regla aplicada: Modus Ponens universal.
Conclusión: Mamífero (Firulais) ("Firulais es un mamífero").

TIPOS DE INFERENCIA
Aristóteles (384-322 a.C.) es La estructura se divide según el tipo de razonamiento empleado:
considerado el padre de la lógica 1. Inferencia Deductiva:
formal y, por extensión, de o Base: De lo general a lo particular.
la inferencia lógica, gracias a su o Validez: Si las premisas son verdaderas, la
sistematización del razonamiento conclusión debe ser verdadera.
deductivo en su
 Premisas: ∀x (Humano(x)→Mortal(x)),
o Ejemplo:
obra Órganon (instrumento del
conocimiento). Sus aportes sentaron Humano (Sócrates).
las bases para entender cómo se  Conclusión: Mortal (Sócrates).
derivan conclusiones válidas a partir
de premisas, estableciendo reglas 1. Inferencia Inductiva:
que siguen vigentes en la lógica o Base: De casos particulares a generalizaciones
moderna. probables.
o Validez: La conclusión es probable, pero no
necesariamente verdadera.
o Ejemplo:
 Observaciones: 100 cuervos observados son
negros.
 Conclusión: Todos los cuervos son negros.
2. Inferencia Abductiva:
o Base: Busca la mejor explicación para un hecho
observado.
o Validez: La conclusión es plausible, pero no
definitiva.
o Ejemplo:
 Observación: El césped está mojado.
 Explicación: Probablemente llovió
 REGLAS DE LA INFERENCIA
1. Modus Ponens (MP):
o Forma: Si P →Q y P, entonces Q.
o Ejemplo:
 Premisa 1: Si llueve, el suelo se moja.
 Premisa 2: Está lloviendo.
 Conclusión: El suelo se moja.
2. Modus Tollens (MT):
o Forma: Si P→ y ¬Q, entonces ¬P.
ERRORES COMUNES o Ejemplo:
(FALACIAS)  Premisa 1: Si estudio, aprobaré.
 Premisa 2: No aprobé.
1. Afirmación del  Conclusión: No estudié.
Consecuente:
o Forma inválida: 3. Silogismo Hipotético (SH):
Si P→Q y Q, o Forma: Si P→Q y Q→R, entonces P→R.
entonces P. o Ejemplo:
o Ejemplo: Si es un o Premisa 1: Si corro, sudo.
perro, ladra. Ladra →
o Premisa 2: Si sudo, me deshidrato.
Es un perro (¡podría
o Conclusión: Si corro, me deshidrato
ser un lobo!).
2. Negación del 4. Silogismo Disyuntivo (SD):
Antecedente: o Forma: Si P∨Q y ¬P, entonces Q
o Forma inválida: o Ejemplo:
Si P→Q y ¬P,  Premisa 1: El animal es un perro o un gato.
entonces ¬Q.  Premisa 2: No es un perro.
o Ejemplo: Si estudio,  Conclusión: Es un gato
apruebo. 5. Conjunción:
No estudié →No o Forma: Si P y Q, entonces P∧Q.
aprobaré (¡quizá el o Ejemplo:
examen era fácil!).  Premisa 1: Hace sol.
 Premisa 2: Hace calor.
 Conclusión: Hace sol y calor
6. Simplificación:
o Forma: Si P∧Q, entonces P (o Q)
APLICACIONES DE LAS
o Ejemplo:
REGLAS  Premisa: María es médica y viaja mucho.
 Matemáticas: Demostrar  Conclusión: María es médica
teoremas usando Modus 7. Adición:
Ponens o Silogismo o Forma: Si P, entonces P∨Q
Hipotético. o Ejemplo:
 Programación: Algoritmos  Premisa: Hoy es martes.
basados en reglas "if-then".  Conclusión: Hoy es martes o está nublado
 Inteligencia Artificial:
Sistemas expertos que
diagnostican enfermedades
o recomiendan acciones.
 Derecho: Construir
argumentos legales con
premisas y conclusiones
sólidas.
TAREA SEMANAL: