MATEMÁTICAS DISCRETAS

Lógica de predicados: enfoque

semántico

• M.C. José Luis Ramírez Alcántara

• jlram@cenidet.edu.mx

» Agosto-2005
 Enfoque semántico del cálculo de predicados
• Lenguaje:

Símbolos de términos o individuos: letras de variables

( x, y, z, t, w, etc.) para individuos genéricos o
desconocidos; letras de constantes (primeras letras del
alfabeto, a, b, c, d, etc.) para individuos conocidos. Un
conjunto numerable de ellas y además, ambas pueden
tener subíndices.

Símbolos de conectivos y paréntesis: ¬, , ,

, , (, ), [,],{,}.
 Teoría semántica del cálculo de predicados

Símbolos de predicado: letras mayúsculas del alfabeto:

P, Q, R, S, ..., o secuencias finitas de ellas OM, COM,
PT, o secuencias indexadas Q1, Q2, Q3 ...(Un conjunto
numerable de cada una de ellas). Cada predicado tiene
asociada una aridad, es decir un cierto número de
n
argumentos: Ri

Ejemplos de predicados:
predicado unario: “ser par”, simbolizado por P1 1(x) y que se lee
como: “x es un número par” o “x tiene la propiedad de ser par”.
predicado binario: “debe dinero a ---“, que podemos simbolizar como
D12 (x,y) y que se lee de la siguiente forma: x debe dinero a y.
Predicado terniario: “estar entre” ETR13 (x,y,z): x está entre y y z.
 Teoría semántica del cálculo de predicados
• Símbolos de función: las funciones se representa por
las letras f, g, h, ... y cada función tiene una aridad (un
n
cierto número de argumentos) : fi .

• Ejemplos:
• a) la función “padre de” es una función unaria
simbolizada por f, el símbolo f(x) se lee “el padre de x”
y su valor es un término.
• b) la función: “la edad de x” simbolizada por e(x).

• Símbolos de cuantificación:
Cuantificador universal 
Cuantificador existencial 
 Teoría semántica del cálculo de predicados:
Significado de los Cuantificadores:

• Cuantificador universal: 
• x P(x) significa que la propiedad (o característica) P
se satisface para todos los valores de x en el dominio
(universo) asociado a esa variable.

• Ejemplo: Todos los computadores tienen memoria RAM.

C(x)  x es un computador;
M(x)  x tienen memoria RAM.
• x (C(x)  M(x))

• ¿Cuál es el dominio o universo asociado a este

enunciado?
 Teoría semántica del cálculo de predicados:
Significado de los Cuantificadores:

•Cuantificación existencial: 
• xP(x) significa que P se satisface para algún
valor de la variable x en el dominio asociado a
esa variable.
•Ejemplo: Existen computadores con 2MG de
memoria RAM.
•C(x) x es un computador; M(x) x Tiene 2MG
de memoria RAM
•x (C(x)  M(x))
•¿Cuál es el universo asociado a este enunciado?
 Teoría semántica del cálculo de predicados:

• FBF
1).- Una fórmula atómica (simple) es una
FBF.
Las siguientes expresiones son
fórmulas atómicas (simples):
P, Q(t), M(x,y), S(x,y,z), ....
2).- Si P es una fórmula bien formada,
entonces ¬P es una FBF.
 Teoría semántica del cálculo de predicados:

3).- Si P, Q son FBFs, entonces:

P  Q, P v Q, P  Q, P  Q,
son FBFs.
4).- Si P es una FBF y x una variable,
entonces
(x)P(x), (x)P(x)
son FBFs.
5).- Sólo las fórmulas que se obtienen, en un
número finito de pasos, usando las reglas 1)
a 4) son FBFs.
 Teoría semántica del cálculo de predicados:

• La teoría semántica del cálculo de predicados

se basa en la asignación de significado a las
fórmulas.
• Las fórmulas de predicados incluyen:
– Letras de individuos o términos
– De predicados
– De funciones
– Conectivas y
– Cuantificadores
(x) [N(x) → (P(x)  ¬M(x))]
 Teoría semántica del cálculo de predicados:

•Una Interpretación de una Di

FBF requiere de:

• Definición de un conjunto
no vacío de “objetos”:
Dominio o Universo de
interpretación, denotado f
por DI o UI
a
• Función que asocia a r
cada elemento del
dominio una letra ll
constante.
 Teoría semántica del cálculo de predicados:

• Relación n-aria
entre elementos del R11 : {a,r} CASO n = 1

dominio para cada

letra de predicado R12 : {(a,r), (a,ll), (ll,r)}
…
n-ario.

• Función de n
variables definida en f12 : {(a,r), (ll,a)}
el dominio para cada …
letra de función.
 Teoría semántica del cálculo de predicados:

• Definición del
conjunto de R11 a r ll
significados a asociar V V F
a las funciones y los
predicados.
R 12 a r ll
a F V V
r F F F
ll F V F
 Teoría semántica del cálculo de predicados:

• Definición
• Las mismas que el la
semántica de
Lógica Proposicional
conectivas.

• Definición semántica de cuantificadores.

A una fórmula cuantificada A una fórmula cuantificada

universalmente, respecto a la
variable x, se le asignará el
significado V si, para
cualquier elemento del
dominio asignado a x, la
fórmula es verdadera.
existencialmente, respecto a la
variable x, se asignará V si,
para algún elemento del
dominio, asignado a la variable
x, la fórmula es verdadera.
 Teoría semántica del cálculo de predicados:

• Definición semántica de validez.

• Una fórmula es satisfacible si existe una

interpretación que la hace verdadera.

• Una fórmula es válida en un dominio si

cualquier interpretación que pueda
plantearse en ese dominio satisface la
fórmula.
 Teoría semántica del cálculo de predicados:

• Ejemplo de interpretación de la fórmula:

x(P(x) → R(x)) → y Q(y)

• Dominio o Universo: { a, b, c}

• Función que asocia a cada elemento del dominio

una letra constante: NO HAY
• Relación n-aria entre elementos del dominio para
cada letra de predicado n-ario:
• P:{a,b}; R:{b}; Q:

*** En el caso en que n = 1, en realidad se habla de

subconjuntos de D
 Teoría semántica del cálculo de predicados:

• Función de n variables definida en el dominio para

cada letra de función: NO HAY.

• Definición del conjunto de significados a asociar a las

funciones y los predicados:

P a b c R a b c
V V F F V F

Q a b c
F F F
 Teoría semántica del cálculo de predicados:
• Evaluación de la fórmula:
x P(x) R(x) P(x) → R(x) x(P(x) → R(x)) Q(y) yQ(y)

a V F F F
b V V V F F F
c F F V F

La fórmula x(P(x) → R(x)) es falsa ya que hay un elemento del

dominio que hace que P(x) → R(x) sea falsa, ese elemento es a.
yQ(y) es falsa ya que no hay elementos del dominio que satisfagan a Q(x)

POR LO TANTO, de acuerdo a la interpretación semántica de → la

fórmula es verdadera.
 Teoría semántica del cálculo de predicados:

Definiciones:
a) Una fórmula A es satisfacible si existe una
interpretación que la verifica (en la cual es
verdadera).

b) Una fórmula A es válida en un dominio si cualquier

interpretación que pueda plantearse en ese dominio
satisface la fórmula.

c) Una fórmula A es semánticamente válida cuando

es válida en cualquier dominio. ╞A
 Teoría semántica del cálculo de predicados:

• ¿La fórmula:
P(x)  x(R(x)  P(y)) →yQ(x,y)
es válida en el dominio: D = {1,2}

Interpretación de términos: A las variables libres x y y se les asignan:

X = 1 y y = 2.

Interpretación de predicados:

x y Q(x,y) P(x) R(x)

1 1 V V F
1 2 F
2 1 V F V
2 2 F
 Teoría semántica del cálculo de predicados:

• Interpretación de la fórmula:
– Considerando las variables libres resulta:
P(1)  x(R(x)  P(2)) →yQ(1,y)

• Evaluación de la fórmula: evaluación del antecedente

x R(x) R(x)  P(2) x(R(x)  P(2)) P(1) x(R(x)  P(2))

1 F F
2 V F F F
 Teoría semántica del cálculo de predicados:

• Evaluación de la fórmula: evaluación del consecuente

y Q(1,y) yQ(1,y)
1 V
2 F V

• Por lo tanto la fórmula es verdadera con esa interpretación.

• Es decir, la fórmula es satisfacible.

¿La fórmula será válida en ese dominio?