Introducción a la Lógica

Sistemas Basados en el Conocimiento

MSc. Cesar Luza Montero.
cluza@uigv.edu.pe
Objetivos de aprendizaje
• Al finalizar esta sesión, el estudiante:
• Identifica la importancia de la lógica en la representación de
conocimiento.

2
Agenda
• Definición de lógica
• Lógica proposicional
• Lógica de predicados

3
Definición de Lógica
• Gran parte de los formalismos de representación del conocimiento
que se utilizan en inteligencia artificial se fundamentan directamente
en la lógica.
• Por tanto, es pertinente ver la lógica como lenguaje de
representación,

“La lógica es la ciencia que estudia la validez de un argumento o

enunciado” .
https://www.youtube.com/watch?v=OGiap9yRy-M

4
Definición de Lógica
• Nos centraremos en la lógica clásica, particularmente en:

• La lógica proposicional

• La lógica de predicados

5
Agenda
• Definición de lógica
• Lógica proposicional
• Lógica de predicados

6
Lógica proposicional
• La lógica proposicional o lógica de enunciados toma como elemento
básico las frases declarativas simples o proposiciones.
• Las proposiciones son aquellos elementos de una frase que, por si
solas, constituyen una unidad de comunicaciones de conocimiento y
pueden ser considerados verdades o falsas.

7
Lógica proposicional
• Enunciados

• Los enunciados son expresiones que tiene un sentido completo.

• Ejemplos:

• Espero ingresar a la universidad

• ¿Cómo te llamas?

• X+5=7

• Paris es capital de Francia

• 1+1=3

• El es un escritor americano

• P(x) : x > 6

• X+1=2
8
Lógica proposicional
• Enunciados Cerrados

• Son enunciados que admiten la posibilidad de ser Verdaderos o Falsos.

• Diga cuales son verdaderos o falsos

• Espero ingresar a la universidad

• ¿Cómo te llamas?

• X+5=7

• Paris es capital de Francia V

Enunciados cerrados
• 1+1=3 F
• El es un escritor americano

• P(x) : x > 6

• X+1=2
9
Lógica proposicional
• Enunciados Abiertos

• Son enunciados que contienen variables, cuya Verdad o Falsedad

depende del valor de variables.
• Ejemplos
• X+5=7

• El es un escritor americano

• P(x) : x > 6

• X+1=2

10
Lógica proposicional
• Proposiciones lógicas

• Son enunciados (afirmaciones) que admiten la posibilidad de ser

Verdaderos o Falsos.

¿Los enunciados cerrados son proposiciones?

¿Los enunciados abiertos son proposiciones?

11
Lógica proposicional
• Proposición Lógica

• Enunciados afirmativos que pueden ser verdaderos o falsos

• Se representan: p, q, r, s, …

• Ejemplos

• Paris es capital de Francia ; p(V)

• 1+1=3 ; q(F)
• Pablo Neruda nación en Chile ; r(V)

12
Lógica proposicional
• Clases de Proposiciones Lógicas:

• Proposición Simple

• Uno mas uno es dos

• Proposición Compuesta

• Juan estudia y trabaja

Conector

13
Lógica proposicional
• Conectivos: Juan estudia y trabaja
p q

14
Lógica proposicional
• Tablas de verdad: Juan estudia y trabaja
p q

P Q P ˅ Q P ˄ Q P  Q P > Q P ΔQ
V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F

15
Lógica proposicional
• Hallar el valor de verdad

• Si la proposición: (p ˄ ¬q)  (r ¬s) es falsa, el valor de verdad

de p, q, r, s es:
•P= V
•q= F (p ˄ ¬q)  (r ¬s)
•r= V VV V V F F
F
•s= V

16
Lógica proposicional
• Hallar el valor de verdad

• De la falsedad de la proposición: (p  ¬q) ˅ (¬r s) se deduce

el valor de verdad del siguiente esquema: (¬p ˄ ¬q) ˅ ¬q

•P= V
•q= V (p  ¬q) ˅ (¬r s)
•r = F V F F V F F
F
•s = F
(¬p ˄ ¬q) ˅ ¬q
V V V
F F F
F
F 17
Lógica proposicional
• Hallar tabla de verdad

• Hallar la tabla de verdad del esquema: (¬p  ¬q)  r ˄ p)

Considera

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

18
Lógica proposicional
• La lógica proposicional es el lenguaje lógico más simple

• Permite definir relaciones entre frases declarativas atómicas (no se

pueden descomponer en elementos más simples).
• El lenguaje se define a partir de átomos y conectivas, siendo estas

• La conjunción (˄)
• La disyunción (˅),
• La negación (¬)
• El condicional ().
• Disyunción exclusiva (>)

19
Lógica proposicional
• Equivalencias lógicas
• La equivalencia lógica se presenta cuando dos enunciados α y β tienen
los mismos valores de verdad para el mismo conjunto de modelos.

• Doble Negación: • Leyes de DeMorgan

• ~( ~p ) ≡ p • ~( p v q ) ≡ ~p ^ ~q
• Leyes Conmutativas • ~( p ^ q ) ≡ ~p v ~q
• (pvq)≡(qvp) • Leyes de Identidad
• (p^q)≡(q^p) • ( p v ~p ) ≡ t
• Leyes Asociativas • ( p ^ ~p ) ≡ f
• (pvq)vr≡pv(qvr) • (pvf)≡p
• (p^q)^r≡p^(q^r) • (pvt)≡t
• Leyes Distributivas • (pvf)≡f
• pv(q^r)≡(pvq)^(pvr) • (pvt)≡p
• p ^ ( q v r ) ≡ ( p ^ q ) v ( p ^ r ) • Leyes de la Implicación
• Leyes de Idempotencia • (p ⇔ q) ≡ (p ⇒ q) ^ (q ⇒ p)
• (pvp)≡p • (p ⇒ q) ≡ (~q ⇒ ~p)
• (p^p)≡p • (q ⇒ p) ≡ (~p ⇒ ~q) 20
• (p ⇒ q) ≡ (~p v q)
Lógica proposicional
• Ejercicios

• (~(P) ^(Q v R)) ⇒ S

• (p⇒q)^(q⇒r)

• p^(p⇒q)

• ((p ^ q) ⇔ (p v ~q))

• ((~(p ⇒ q) ^ r ) v ~(p ⇔ ~q))

21
Agenda
• Definición de lógica
• Lógica proposicional
• Lógica de predicados

22
Lógica de predicados
• La lógica de predicados o lógica de primer orden estudia las
frases declarativas con mayor grado de detalle considerando la
estructura interna de las proposiciones.
• Se tomaran como elementos básicos los objetos y las relaciones
entre dichos objetos.
• Por ejemplo:
• x > 3,
• x = y + z,
• La computadora x está bajo el ataque de un intruso,
• El estudiante x no está atendiendo a la clase.

• Estos predicados no tienen valor de verdad si no se especifica

valores a la variable.

23
Lógica de predicados
• P(x): se llama la función proposicional P de x.
• Por ejemplo:
a) P(x): x > 3. ¿Cuál es el valor de verdad de P (4) y P (2)?
b) Q(x, y): x = y + 3. ¿Cuál es el valor de verdad de Q (1, 2) , Q (3,0) y Q(2, 1) ?
c) R(x, y, z): z + y = z. ¿Cuál es el valor de verdad de R(1, 2, 3) y R (0, 0, 0) ?

24
Lógica de predicados
• Cuantificadores
• Las palabras todo, cada uno, todos y ninguno se denominan
cuantificadores universales.
• Las palabras hay y al menos uno se conocen como cuantificadores
existenciales.
• Los cuantificadores son muy usados en matemáticas para indicar
cuantos casos existen de una situación determinada.
• Su valor de verdad depende del dominio de la variable.

25
Lógica de predicados
• Mencione el valor de verdad de cada una de las siguientes
proposiciones:
• Todas las personas no tienen el tiempo para dedicarlo al mantenimiento
de sus autos.
(Falso, algunas personas)

• Todo número natural es un entero.

(Cierto)

• Todos los números primos son impares.

(Falso, 2 no es impar pero es primo)

• Todos los números impares son primos.

(Falso, 15, 21, 25 son impares pero no son primos)

• Algunos números racionales son enteros.

(Cierto)

26
Lógica de predicados
• Cuantificador universal:
• xP(x) equivale P(x) para todos los valores de x en el dominio
• Ejemplo: Diga si las siguientes proposiciones son ciertas para el dominio
especificado. (Si no se especifica entonces el dominio es todo número
entero)
a) x + 1 > x para toda x real. (xP(x) ) (Cierta)
b) x < 2 ,  x P(x) . No es cierto para toda x.
c)  x (x > 0 V x < 0). (No es cierta para x = 0)

27
Lógica de predicados
• Cuantificador existencial: Existe un elemento x en el dominio tal que
P(x).
• ᴟxP(x). Existe por lo menos uno, hay un x tal que P(x)

• Se debe especificar un dominio cuando se usa esta proposición. Su significado

cambia si el dominio cambia. Si no se especifica un dominio no tiene sentido esta
proposición
• Mencione si son ciertas o falsas las siguientes proposiciones: (Si no se especifica
entonces el dominio es todo número entero)
• a) “x > 3 “ ᴟxP(x) (cierta)

• b) “ x = x + 1 “ ᴟxP(x) (falso)

• c) 𝑥 ∗∗ 2 > 10 ᴟxP(x) dominio = { 1, 2, 3, 4} (4 la hace cierta)

28
Lógica de predicados
• Ejemplo: En el dominio de todas las películas, sea R(x) el predicado “x es
romántica”. Exprese las siguientes proposiciones utilizando predicados y
cuantificadores.

Algunas películas son románticas.

Algunas películas no son románticas.

Ninguna película es romántica

Todas las películas son románticas

29
Lógica de predicados
• Ejemplo: En el dominio de todos los libros, considere los siguientes
predicados: P(x) = es pesado y C(x) = es confuso

Si todos los libros son pesados entonces son

confusos

Algunos libros son confusos y pesados.

Todos los libros son confusos ó pesados

Existe un libro pesado que no es confuso

30
Preguntas

31
Tareas
• Revisar los videos
https://www.youtube.com/watch?v=gVzEIUBetWM&feature=youtu.be

https://www.youtube.com/watch?v=c_Rl4II_tg4
https://www.youtube.com/watch?v=8XbmarGJAr8
https://www.youtube.com/watch?v=Jo9249D-7KQ
https://www.youtube.com/watch?v=Rcb3w_tkl1A

32
33 33