ESTRUCTURAS DISCRETAS

DR. SORIA QUIJAITE JUAN JESÚS

CÁLCULO PROPOSICIONAL Y
CÁLCULO DE PREDICADOS
 INFERENCIA LÓGICA
¿Qué es el cálculo proposicional?
Es la operación donde de ciertos enunciados o
premisas se pueden obtener como conclusiones
otros enunciados, aplicando reglas o leyes
establecidas

Dr. Soria Quijaite Juan Jesús

 INFERENCIA LÓGICA O ARGUMENTO LÓGICO

DEFINICIÓN
La inferencia es la acción y efecto de inferir, deducir algo, sacar una
consecuencia de otra cosa, conducir a un nuevo resultado. La inferencia nace
a partir de una evaluación mental entre distintas expresiones, que al ser
relacionadas como abstracciones, permiten trazar una implicación lógica.

Dr. Soria Quijaite Juan Jesús

INFERENCIA LÓGICA O ARGUMENTO LÓGICO

Dr. Soria Quijaite Juan Jesús

 INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Ejemplo 1:

Dr. Soria Quijaite Juan Jesús

 INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Ejemplo 2:

Dr. Soria Quijaite Juan Jesús

INFERENCIA LÓGICA

Dr. Soria Quijaite Juan Jesús

 DEFINICIÓN

Dr. Soria Quijaite Juan Jesús

Ejemplo1 :
Determinar si p ˅ q es una consecuencia Válida de las
premisas p  q , q  r, r

Resolución
Las premisas p  q, q  r, r y la conclusión p v q
, por lo tanto debemos demostrar que: [(p  q) ˄ (q  r) ˄ r ] → [p ˅ q] es
una tautología.

Dr. Soria Quijaite Juan Jesús

 P1 P2 P3 (P1˄P2˄P3) C
p q r p  q q  r r [(p  q) ˄ (q  r) ˄r ] → [p ˅ q]
0 0 0 1 0 1 0 1 0
0 0 1 1 1 0 0 1 0
0 1 0 0 1 1 0 1 1
0 1 1 0 1 0 0 1 1
1 0 0 1 0 1 0 1 1
1 0 1 1 1 0 0 1 1
1 1 0 1 1 1 1 1 1
1 1 1 1 1 0 0 1 1
p  q q  r
(0)1 0 (1)0 (0)1 0 (0)
p˅q
0 0 0
Como la TVV es una tautología, la inferencia es Válida, es decir la conclusión es una
consecuencia lógica de las premisas.
Dr. Soria Quijaite Juan Jesús
1=V ; 0=F
 INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Ejemplo 2:

Dr. Soria Quijaite Juan Jesús

 P1 P2 (P1˄P2)  C
p q r pr p [(p  r) ˄ p ] → r
0 0 0 1 0 0 1 0
0 0 1 1 0 0 1 1
0 1 0 1 0 0 1 0
0 1 1 1 0 0 1 1
1 0 0 0 1 0 1 0
1 0 1 1 1 1 1 1
1 1 0 0 1 0 1 0
1 1 1 1 1 1 1 1
pr
1 0 0
Como la TVV es una tautología, la inferencia es Válida, es decir la conclusión es una
consecuencia lógica de las premisas.
Dr. Soria Quijaite Juan Jesús
1=V ; 0=F
 INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Taller para el alumno:

Determine si la conclusión es consecuencia lógica de las

premisas.
Dr. Soria Quijaite Juan Jesús
 Tarea: Determinar la validez del siguiente razonamiento
1) Si María obtiene el puesto de supervisor y trabaja mucho,
entonces obtendrá un aumento. Si obtiene el aumento, entonces
comprará un auto nuevo. Ella no ha adquirido un auto nuevo. Por lo
tanto, María no ha obtenido el puesto de supervisor o no ha trabajado
mucho.
2) Si estudio electrónica realizaré investigación en sistemas digitales.
Si estudio informática, entonces manejaré la información de una
empresa. Si realizo investigaciones en sistemas digitales o manejo la
información de una empresa, entonces estaré Feliz. Por lo tanto, si
no estoy feliz, entonces no estudié electrónica y no estudié
informática.
3) Si no le acelero al automóvil, entonces el automóvil no correrá. Si
no le freno al automóvil, entonces el automóvil no se detendrá. Si el
automóvil no corre o no se detiene,, entonces el automóvil está
fallando. De tal manera que si el automóvil no está fallando, entonces
puedo acelerar y frenar el automóvil.

Dr. Soria Quijaite Juan Jesús

Dr. Soria Quijaite Juan Jesús
Dr. Soria Quijaite Juan Jesús
Dr. Soria Quijaite Juan Jesús
EL MÉTODO ABREVIADO

Dr. Soria Quijaite Juan Jesús

EL MÉTODO ABREVIADO

Dr. Soria Quijaite Juan Jesús

EL MÉTODO ABREVIADO

Como
Dr. Soria q es verdadero
Quijaite y q es falso por otra parte, lo cual es una
Juan Jesús
contradicción Por lo tanto la inferencia es válida.
EJEMPLO 2

Dr. Soria Quijaite Juan Jesús

EL MÉTODO DE DERIVACIÓN

Dr. Soria Quijaite Juan Jesús

Dr. Soria Quijaite Juan Jesús
Dr. Soria Quijaite Juan Jesús
LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

CUANTIFICADORES EXISTENCIAL Y UNIVERSAL

Dr. Soria Quijaite Juan Jesús

CUANTIFICADORES EXISTENCIAL Y UNIVERSAL

Dr. Soria Quijaite Juan Jesús

LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

NEGACIÓN DE PROPOSICIÓN CON CUANTIFICADORES

Dr. Soria Quijaite Juan Jesús

LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

 LÓGICA CUANTIFICACIONAL

Los programas son las premisas y la salida del

programa es la conclusión.
Si F(x,y) quiere decir “y es el factorial de x”,
entonces podemos tener este programa lógico
Premisas:
F(0,1)
F(1,1)
∀x .∀y .F(x,y) ⇒F(x +1,y ×(x +1))
¿F(3,x)?
Conclusión F(3,6)
Dr. Soria Quijaite Juan Jesús
LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

LÓGICA CUANTIFICACIONAL

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

MISCELÁNEA DE EJERCICIOS

Dr. Soria Quijaite Juan Jesús

GRACIAS