Lógica de Predicados

Definiciones
 Definiciones

 El calculo proposicional no es suficientemente fuerte para hacer todas

las afirmaciones que se necesitan en matemáticas

 Afirmaciones como “x = 5” ´o “x > y” no son proposiciones ya que

no son necesariamente verdaderas o falsas. Sin embargo, asignando
valores concretos a las variables x e y, las afirmaciones anteriores son
susceptibles de ser verdaderas o falsas, es decir, se convierten en
proposiciones.

 En castellano también ocurren situaciones similares:

Juan estudia MD.

María estudia MD.
Juan y María viven en Cuenca
 Definiciones

Predicado

Es una afirmación que expresa una propiedad de un objeto o una

relación entre objetos. Estas afirmaciones se hacen verdaderas o falsas
cuando se reemplazan las variables (objetos) por valores específicos.

Ejemplo:
• La afirmación p(x) : x es alta y rubia es un predicado
• Expresa la propiedad del objeto x de ser alta y rubia
• Si sustituimos la variable x por Laura, entonces el predicado se
transforma en proposición
 Definiciones

Predicado

Es una afirmación que expresa una propiedad de un objeto o una

relación entre objetos. Estas afirmaciones se hacen verdaderas o falsas
cuando se reemplazan las variables (objetos) por valores específicos.

Ejemplo:
La afirmación q(x,y) : x vive en y es un predicado
Expresa la propiedad del objeto x que vive en el objeto y
Si sustituimos la variable
x por Juan,
y por Cuenca,
entonces el predicado se transforma en proposición
 Definiciones

Universo del Discurso

Llamaremos de esta forma al conjunto al cual pertenecen los

valores que puedan tomar las variables. Lo notaremos por U y
lo nombraremos por conjunto universal o, simplemente,
universo. Debe contener, al menos, un elemento.

Ejemplo:
Sea el predicado p(x) : x > 5
Universo de discurso: Números enteros
 Definiciones

Predicados y Proposiciones

Si p(x1 , x2 , . . . , xn ) es un predicado constante con n variables y asignamos los

valores c1 , c2 , . . . , cn a cada una de ellas, el resultado es la proposición p(c1 , c2 , . .
. , cn ).

Para transformar un predicado en proposición, cada variable del predicado debe estar
“ligada”.
Cuantificadores
 Cuantificadores

Otra forma de ligar las variables individuales es cuantificarlas.

Cuantificador Universal

Si p(x) es un predicado cuya variable es x, entonces la afirmación

“para todo x, p(x)”

es una proposición en la cual se dice que la variable x esta universalmente cuantificada.

La frase “para todo” se simboliza con ∀, símbolo que recibe el nombre de “cuantificador universal”.

Así pues, “para todo x, p(x)” se escribe “ ∀x, p(x)”. El símbolo ∀x puede interpretarse también como: “para
cada x”, “para cualquier x” y “para x arbitrario”.
 Cuantificadores

Valor de Verdad del Cuantificador Universal

Sea p(x) un predicado cuya variable x toma valores en un universo del discurso U .

∀x, p(x) es verdad si el predicado p(x) es una proposición verdadera para todos los
valores de x
en el universo U.

∀x, p(x) es falsa si hay, al menos, un valor de x en U para el cual el predicado

p(x) sea una proposición falsa.
Cuantificadores
 Cuantificadores

Cuantificador Existencial

Si p(x) es un predicado cuya variable es x, entonces la afirmación

“existe un x tal que p(x)”

es una proposición en la que diremos que la variable x está existencialmente

cuantificada.

La frase “existe [al menos]” se simboliza con ∃, símbolo que recibe el

nombre de cuantificador existencial.

Por tanto, “existe un x, tal que p(x)” se escribe “∃x : p(x)” y puede leerse
también como “para algún x, p(x)” o “existe, al menos, un x, tal que p(x)”.
 Cuantificadores

Valor de Verdad del Cuantificador Existencial

Sea p(x) un predicado de variable x que toma valores en un universo del

discurso U .

∃x : p(x) es verdadera, si el predicado p(x) es una proposición verdadera

para, al menos, uno de los valores de x en U.

∃x : p(x) es falsa, si el predicado p(x) es una proposición falsa para todos

los valores de x en U.
Cuantificadores
 Cuantificadores

Valores de verdad de los cuantificadores

 Cuantificadores

Leyes de De Morgan Generalizadas