Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Argumentación Lógica
Inferencias lógicas
2
Aprendizajes esperados
• Conocer los fundamentos de las
argumentaciones lógicas.
• Realizar argumentaciones.
• Conocer la aplicabilidad de las
argumentaciones lógicas.
3
Definición
Un Argumento o Argumentación lógica o Razonamiento, es un
proceso que consiste en obtener una proposición como
conclusión a partir de ciertas proposiciones denominadas
premisas que se consideran verdaderas.
Ejemplo
Premisa 1: Carlos estudia o trabaja (V)
Premisa 2: Carlos no estudia (V)
4
Simbolización de las
argumentaciones lógicas
Argumentación (considere que las premisas son verdaderas)
Premisa 1: Si el lunes hay ofertas entonces vamos al cine
Premisa 2: El lunes hay ofertas
Conclusión : Vamos al cine
Simbolización
OTRA FORMA
Premisa 1: 𝑝→𝑞 Premisa 1: 𝑝→𝑞
Premisa 2: 𝑝 Premisa 2: 𝑝
Conclusión: ∴ 𝑞
Conclusión: 𝑞
5
Razonamientos correctos
¿Como asegurar que el razonamiento es correcto?
Paso 1: Formalizar el razonamiento
𝑝→𝑞
𝑝
∴ 𝑞
Paso 2: Formar la implicación condicional , donde el
antecedente es la conjunción de las premisas y el consecuente es
la conclusión.
[(𝑝 → 𝑞) ∧ 𝑝] → 𝑞
Paso 3: El razonamiento es correcto si la implicación condicional es
una Tautología
6
Ejercicio de argumentación
Obtener la conclusión y simbolizar
Premisa 1: Si el lunes hay ofertas entonces vamos al cine
Premisa 2: no vamos al cine
Conclusión : El lunes no hay ofertas
Formalización
Premisa 1: 𝑝→𝑞
Premisa 2: ~𝑞
Conclusión: ∴ ~𝑝
7
Ejercicio de razonamiento correcto
Demostrar si el argumento anterior es correcto
Paso 1: Formalizamos el razonamiento
𝑝→𝑞
~q
∴ ~𝑝
Paso 2: Formar la implicación condicional , donde el
antecedente es la conjunción de las premisas y el consecuente es
la conclusión.
[(𝑝 → 𝑞) ∧ ~𝑞] → ~𝑝
Paso 3: La implicación condicional es una Tautología
Luego el razonamiento es correcto.
8
Ejercicio 2
Obtiene la conclusión y demuestra la validéz del
razonamiento siguiente:
Premisa 1: Si Carlos estudia entonces aprueba el examen
Premisa 2: Si Carlos apueba el examen entonces viaja al Cuzco.
Conclusión : Si Carlos estudia entonces viaja al Cuzco.
Formalización
Premisa 1: 𝑝→𝑞
Premisa 2: 𝑞→𝑟
Conclusión: ∴𝑝→𝑟
9
Ejercicio 2 (continuación)
Paso 1: Formalizamos el razonamiento
𝑝→𝑞
q→𝑟
∴𝑝→𝑟
Paso 2: Formar la implicación condicional , donde el
antecedente es la conjunción de las premisas y el
consecuente es la conclusión.
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
Paso 3: La implicación condicional es una Tautología
Luego el razonamiento es correcto.
10
Ejercicio propuesto
• Demostrar si es correcto el siguiente
razonamiento
𝑝→𝑞
q∨𝑟
~𝑝 ∧ 𝑞
∴𝑝→𝑟
11
Solución ejercicio propuesto
𝑝→𝑞
q∨𝑟
~𝑝 ∧ 𝑞
∴𝑝→𝑟
p q r 𝒑→𝒒 ∧ 𝒒∨𝒓 ∧ ∼𝒑∧ 𝒒 → (𝒑 → 𝒓)
V V V V V F F V V
V V F V V F F V F
V F V F V F F V V
V F F F F F F V F
F V V V V V V V V
F V F V V V V V V
F F V V V F F V V
F F F V F F F V V
1 1 1 2 3 1
12
Leyes de inferencia
• Ciertos razonamientos correctos se consideran
como leyes de inferencias, razonamientos,
deducciones o demostraciones y reciben
nombres especiales.
13
Leyes de inferencia
14
Leyes de inferencia
15
Leyes de inferencia
16
Ejercicios
• Usando equivalencias lógicas y reglas de
inferencia demostrar que el siguiente
razonamiento es correcto
17
Solución
Primero simbolizamos
p: Estudio mucho
q: Obtengo C en calificaciones
r: Me hago rico
𝑝 →𝑞∨𝑟
∼ 𝑞 ∧∼ 𝑟
∴ ~𝑝
18
Solución(continuación)
Hacemos la demostración
Nro. Pasos Razones
1 𝑝→𝑞∨𝑟 Premisa
2 ∼ 𝑞 ∧∼ 𝑟 Premisa
3 ∼ (𝑞 ∨ 𝑟) Ley de De Morgan en 2
4 ~𝑝 Modus Tollens en 1 y 3
∴ ~𝑝 Conclusión
19
Ejercicios propuestos
i. Usando implicación
tautológica probar cuáles
son razonamientos
correctos e incorrectos
ii. Para los razonamientos
correctos hacer la
demostración usando
equivalencias lógicas y
reglas de inferencia.
20
Aplicaciones
• Lenguajes de programación lógica (Prolog)
• Sistemas expertos
• Sistemas basados en conocimiento
• Representación del conocimiento
• Inteligencia de negocios
22