Módulo 2

Sistema Axiomático y su aplicación

Preparado por: Ing. Samuel Jiménez

27/06/2019 Preparado por Ing. Samuel Jiménez 1

 Capítulo 4
Inferencias Lógicas

27/06/2019 Preparado por Ing. Samuel Jiménez 2

Objetivos Generales
• Conocer los conceptos de lógica computacional.
• Usar los símbolos básicos empleados en lógica.
• Interpretar expresiones lógicas sencillas.
• Entender el concepto de proposición y la forma en
que se pueden elaborar proposiciones compuestas
usando los conceptos lógicos.
• Evaluar proposiciones lógicas por medio de tablas
de verdad.

27/06/2019 Preparado por Ing. Samuel Jiménez 3

Observaciones Importantes en la tabla de la verdad

• Luego de evaluar nuestra tabla de verdad, debemos conocer su

características, estas son:

1. Tautología
2. Contradicción
3. Contingencia

27/06/2019 Preparado por Ing. Samuel Jiménez 4

Tautología

•Es aquella proposición (

compuesta) que es cierta para
todos los valores de verdad de
sus variables.

27/06/2019 Preparado por Ing. Samuel Jiménez 5

Ejemplo # 1
(p ^ q) → ( ( q ˅ p ) → p´)´
(p ^ q) → ( ( q ˅ p ) → p´)´
p q (p ^ q) (q˅p) p´ ( ( q ˅ p ) → p´)´

0 0 0 0 1 0 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 1 0 1 1

Cuando el resultado final, todo es verdadero, el resultado es una tautología

27/06/2019 Preparado por Ing. Samuel Jiménez 6

Contradicción

•Se dice que una proposición es una

contradicción o absurdo si al
evaluar esa proposición el resultado
es falso, para todo los valores de
verdad.
27/06/2019 Preparado por Ing. Samuel Jiménez 7
Ejemplo # 2
(p ^ q) ^ (p´ ^ q´ )
p q P´ q´ (p ^ q) (p´ ^ q´ ) (p ^ q) ^ (p´ ^ q´ )

0 0 1 1 0 1 0
0 1 1 0 0 0 0
1 0 0 1 0 0 0
1 1 0 0 1 0 0

Cuando el resultado final, todo es falsa, el resultado es una contradicción

27/06/2019 Preparado por Ing. Samuel Jiménez 8

Contingencia

•Una proposición compuesta cuyos

valores, en sus diferentes líneas de la
tabla de la verdad, dan como resultado
uno y ceros se llama contingencia,
inconsistencia o falacia.

27/06/2019 Preparado por Ing. Samuel Jiménez 9

Ejemplo # 3
(p ^ q) ↔ r

27/06/2019 Preparado por Ing. Samuel Jiménez 10

Definición

•En lógica computacional, una regla de

inferencia (transformación) es una
forma lógica que consiste en una
función que toma premisas, analiza su
sintaxis y devuelve una conclusión.

27/06/2019 Preparado por Ing. Samuel Jiménez 12

Tipos de Inferencias Lógicas
• Entre ellas tenemos:

•Modus Ponendo Ponens (MPP)

•Modus Tollendo Tollens (MTT)

27/06/2019 Preparado por Ing. Samuel Jiménez 13

Modus Ponendo Ponens
• Esta regla nos permite, a partir de un enunciado condicional (p→q),
concluir la verdad de su consecuente (q) a partir de la verdad de su
antecedente (p).
La premisa cualquiera debe
ser igual al antecedente, el
• Si p implica q, y p es verdadera, entonces q es cierta. resultado que arrojara es el
consecuente
Forma lógica:

27/06/2019 Preparado por Ing. Samuel Jiménez 14

Ejemplo # 1

27/06/2019 Preparado por Ing. Samuel Jiménez 15

Ejemplo # 2

27/06/2019 Preparado por Ing. Samuel Jiménez 16

Práctica # 1
Si hoy es sábado, entonces Reina está en la librería.
Hoy es sábado,
Por lo tanto, Reina está en la librería.

Datos:
p: hoy es Sábado
q: Reina esta en la librería

(MPP):
𝑝→𝑞
𝑝
𝑞
27/06/2019 Preparado por Ing. Samuel Jiménez 17
Práctica # 2
• Premisa 1: “Si quieres llegar rápido a la escuela, entonces debes tomar ese
camino”.
• Premisa 2: “Quieres llegar rápido a la escuela”.
• Concluyente: “Por lo tanto, debes tomar ese camino”.
Datos:
p: llegar rápido a la escuela
q: tomar ese camino

(MPP):
𝑝→𝑞
𝑝
𝑞

27/06/2019 Preparado por Ing. Samuel Jiménez 18

Práctica # 3
• Premisa 1: “Quieres comer pescado”.
• Premisa 2: “Si quieres comer pescado, entonces debes ir a comprar en el mercado”.
• Concluyente: “Por lo tanto, debes ir a comprar en el mercado”

Datos:
p: Comer pescado
q: comprar en el mercado

(MPP):
𝑝
𝑝→𝑞
𝑞

27/06/2019 Preparado por Ing. Samuel Jiménez 19

Práctica # 4
Considérese el siguiente argumento:
• Bajan los impuestos (Premisa 1)
• Si bajan los impuestos, entonces el ingreso se eleva (Premisa 2)

• Obtenga la regla por el método (MPP)

27/06/2019 Preparado por Ing. Samuel Jiménez 20

Respuesta
Datos:
p: bajan los impuestos
q: el ingreso se eleva

(MPP):
𝑝
𝑝→𝑞
𝑞
Demostración con el MPP
• Algunas veces no se puede ir directamente de
las premisas a la conclusión por un solo paso.
Cada vez se deduce una proposición por medio
de una regla, entonces esta proposición se
puede utilizar junto con las premisas para
deducir otra proposición.

27/06/2019 Preparado por Ing. Samuel Jiménez 22

Ejemplo # 3
(1) A  B P
(2) B  C P
(3) A P
Se quiere probar la proposición C. Para llegar a C, se
necesitan dos pasos, cada uno permitido por el modus
ponendo ponens, PP.
(1) A  B P
(2) B  C P
(3) A P
(4) B PP 1, 3
(5) C PP 2, 4
Práctica # 6
Respuesta
Modus Tollendo Tollens
• Esta regla nos permite, a partir de un enunciado condicional (P→Q),
inferir la falsedad de su antecedente (P) si su consecuente (Q)
también es falso.
Si la premisa cualquiera es
la negación del
consecuente, el resultado
• Si P implica Q, y Q no es cierta, entonces P no es cierta.. que arrojara es la negación
del antecedente
Forma lógica:

27/06/2019 Preparado por Ing. Samuel Jiménez 26

Ejemplo # 4

27/06/2019 Preparado por Ing. Samuel Jiménez 27

Práctica # 7
• Si el pastel está hecho con azúcar, entonces el pastel está dulce.
• El pastel no está dulce.
• Por lo tanto, el pastel no está hecho con azúcar.
Datos:
p: pastel hecho con azúcar
q: el pastel esta dulce

(MTT):
𝑝→𝑞
𝑞´
𝑝´
27/06/2019 Preparado por Ing. Samuel Jiménez 28
Práctica # 8
• La alarma no se activó.
• Si el sistema de seguridad detecta un intruso, entonces se activará la alarma.
• Por lo tanto, el sistema de seguridad no detectó un intruso.

Datos:
p: Sistema de seguridad detecta un intruso
q: La alarma se activo

(MPP):
𝑞´
𝑝→𝑞
𝑝´

27/06/2019 Preparado por Ing. Samuel Jiménez 29

Práctica # 9
• Si hace sol hoy, entonces vamos a la playa.
• P2: No vamos a la playa
• C: Por lo tanto no hace sol

Datos:
p: Hace sol hoy
q: Vamos a la playa

(MPP):
𝑝→𝑞
𝑞´
𝑝´
27/06/2019 Preparado por Ing. Samuel Jiménez 30
Demostración con el MTT

•Algunas veces no se puede ir directamente

de las premisas a la conclusión por un solo
paso. Cada vez se deduce una proposición
por medio de una regla, entonces esta
proposición se puede utilizar junto con las
premisas para deducir otra proposición.

27/06/2019 Preparado por Ing. Samuel Jiménez 31

Ejemplo # 6
Modus Tollendo Ponens (Disyunción) y Conjunción

27/06/2019 Preparado por Ing. Samuel Jiménez 33

Ejemplo # 7

27/06/2019 Preparado por Ing. Samuel Jiménez 34

27/06/2019 Preparado por Ing. Samuel Jiménez 35