Matemática Discreta

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)

Conclusión : Carlos trabaja

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