Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sesion 7-LBC
Sesion 7-LBC
07
-P
R
O
LO
Objetivos
SE
SI
O
LOGICA DE PREDICADOS
Lgica de Primer Orden
4 /40
Lgica de Predicados
5 /40
07
-P
R
O
LO
Lgica de Predicados
SE
SI
O
6 /40
-P
R
O
LO
Predicado.
Propiedades
Cualidades
Relaciones
Atributos.
Funciones
Predicado
predicado
sujeto
objeto
sentencia
07
7 /40
Ejemplos
SE
SI
O
Objetos:
personas, casas, nmeros, la SUNAT, USMP, colores,
guerras, siglos, . . . .
Relaciones:
diferente_que, hermano-de, cerca_de, amigo_de,
de_color, hijo_de_y_padre_de, vive_en, es_el_dueo.
Propiedades:
Rojo, redondo, pisos,
Funciones:
el_siguiente, mayor_que, sumatoria,
8 /40
LO
TG5-A
-P
R
O
SE
SI
O
07
9 /40
SINTAXIS
10 /40
Smbolos de conectivas:
LO
( , , , , y )
Sintaxis (1)
Cuantificador universal:
Sentencias:
(para todos)
Cuantificador existencial:
-P
R
O
sentencia
sentencias_atmicas.
(sentencia conectiva sentencia)
Trmino:
constante
variable
07
11 /40
Sintaxis
Verdadero, Falso
constantes lgicas:
SE
SI
O
smbolos de constantes
a, d (letras minsculas)
smbolos de variables
X, Z (X ,Y,Z).
smbolos de predicados y funciones (letras minsculas).
12 /40
Oraciones atmicas
LO
Sintaxis
-P
R
O
07
13 /40
Sintaxis
SE
SI
O
Oraciones
Mediante los conectores lgicos se pueden construir
oraciones ms complicadas, ejemplo:
Hermano (Ricardo, Juan) Hermano (Juan, Ricardo)
Mayor (Juan, 30) Menor (Juan, 30)
Mayor (Juan, 30) Menor (Juan, 30)
Hermano (Robin, Juan)
14 /40
Sintaxis
-P
R
O
LO
Trminos.
Es una expresin lgica que se refiere a un objeto.
Es el argumento del predicado.
07
15 /40
Cuantificadores
SE
SI
O
Cuantificadores
Los cuantificadores permiten expresar propiedades de
grupos completos de objetos en vez de enumerarlos por
sus nombres.
La lgica de primer orden contiene dos cuantificadores
estndar, denominados universales y existenciales.
16 /40
Cuantificacin universal ()
LO
Cuantificacin universal ()
-P
R
O
Lo cual equivale a
Gato (Mancha) Mamfero (Mancha) Gato (Rebeca)
Mamfero (Rebeca) Gato (Flix) Mamfero (Flix) Gato
(Juan) Mamfero (Juan)
07
17 /40
TG5-B
SE
SI
O
18 /40
Cuantificacin existencial ()
LO
Cuantificacin existencial ()
-P
R
O
07
19 /40
TG5-C
SE
SI
O
20 /40