UNIVERSIDAD TECNOLÓGICA DE PANAMÁ

SEDE VICTOR LEVI SASSO

FACULTAD DE INGENIERÍA DE SISTEMAS COMPUTACIONALES

Materia: Fundamentos de lógica computacional

Profesor: Dr. Carlos A. Rovetto
Fecha: Miércoles, 9 de Agosto de 2017

Introducción a la Lógica de Predicados

Un sistema formal o cálculo lógico es cualquier sistema bien definido de pensamiento

abstracto basado en el modelo de la matemática.
Introducción a la lógica
La lógica es un lenguaje para el razonamiento. Es una colección de reglas que utilizamos
al hacer razonamiento lógico. Existen grandes aportes de los cuales podemos destacar los
trabajos del matemático británico George Boole a mediados del siglo XIX. También los
trabajos de la Teoría de Conjuntos del matemático alemán Friedrich Ludwig Gottlob Frege
a finales del siglo XIX junto a Georg Ferdinand Ludwig Philipp Cantor. Posteriormente, el
filósofo / matemático británico, Bertrand Russell, encontró un defecto en los supuestos
básicos de la teoría de conjuntos. Este error fue corregido por él junto a Alfred Whitehead
y a la fecha se ha mantenido esta teoría.
Existen diversos tipos de lógicas como:

 Lógica de oraciones (lógica proposicional)

 Lógica de objetos (lógica de predicados)
 Lógica que implica incertidumbres (Difusa)
 Lógica temporal entre otras
La Lógica proposicional y la lógica predicados son fundamentales para todo tipo de
lógica.
Lógica Proposicional: es una lógica en el nivel de la sentencia. La unidad más pequeña que
tratamos en la lógica proposicional es una oración. No nos interesa las oraciones
individuales o sus significados debido a que solo nos interesa saber si las frases son
verdaderas o falsas. De igual forma es relevante saber si la verdad o falsedad de una
determinada deriva de un conjunto de oraciones y, en caso afirmativo, cómo se obtiene.
Así, las sentencias consideradas en esta lógica no son oraciones arbitrarias, sino las que
son verdaderas o falsas. Este tipo de oraciones se llaman proposiciones.
Proposiciones: Las oraciones consideradas en la lógica proposicional no son oraciones
arbitrarias, sino las que son verdaderas o falsas, pero no ambas. Este tipo de oraciones se
llaman proposiciones.

1
Si una proposición es verdadera, entonces decimos que tiene un valor de verdad de
"verdadero"; Si una proposición es falsa, su valor de verdad es "falso".
Por ejemplo: "La hierba es verde", y "2 + 5 = 5" son proposiciones.
La primera proposición tiene el valor de verdad de "verdadero" y el segundo de "falso".
Pero "Cierra la puerta", "¿Hace calor afuera?" ó "x = x" No son proposiciones.
También "x es mayor que 2", donde x es una variable que representa un número, no es
una proposición, porque a menos que se dé un valor específico a x, no podemos decir si
es verdadero o falso, ni sabemos qué representa x.
Elementos: Las frases simples que son verdaderas o falsas son proposiciones básicas. Las
oraciones más grandes y más complejas se construyen a partir de proposiciones básicas
combinándolas con conectivas. Así, las proposiciones y los conectivos son los elementos
básicos de la lógica proposicional. Aunque hay muchas conectivas las más básicas son las
siguientes:

Conectivas Símbolo
┌ Not
∧ And
∨ Or
→ Si --- Implica
↔ Si y solo si --- iff

Lógica de Predicados: La lógica proposicional no es lo suficientemente poderosa como

para representar todo tipo de aserciones que se utilizan en la informática y las
matemáticas, o para expresar ciertos tipos de relación entre proposiciones tales como la
equivalencia. Por ejemplo, la aserción "x es mayor que 1", donde x es una variable, no es
una proposición porque no se puede decir si es verdadera o falsa a menos que se conozca
el valor de x. Así, la lógica proposicional no puede ocuparse de tales oraciones. Sin
embargo, tales aserciones aparecen con bastante frecuencia en matemáticas y se
requiere realizar inferencias sobre esas afirmaciones.
También el patrón implicado en las equivalencias lógicas siguientes no puede ser
capturado por la lógica proposicional:

 "No todos los pájaros vuelan" equivalente a "Algunos pájaros no vuelan".

 "No todos los enteros son pares" equivalente a "Algunos enteros no son iguales".
 "No todos los autos son caros" equivalente a "Algunos autos no son caros".
Cada una de esas proposiciones se trata independientemente de las otras en lógica
proposicional. Por ejemplo, si P representa "No todos los pájaros vuelan" y Q representa
"Algunos enteros no son iguales", entonces no hay ningún mecanismo en la lógica
proposicional para descubrir que P es equivalente a Q.

2
Por lo tanto, para ser utilizado en la inferencia, cada una de Estas equivalencias deben
ser listadas individualmente en lugar de tratar con una fórmula general que cubre
colectivamente todas estas equivalencias e instanciarlas cuando sean necesarias, si sólo
se usa la lógica proposicional. Por lo tanto, necesitamos una lógica más poderosa para
lidiar con estos y otros problemas. La lógica del predicado es una de esas lógicas y aborda
estas cuestiones entre otras.

Para hacer frente a las deficiencias de la lógica proposicional introducimos dos nuevas
características: predicados y cuantificadores.
Un predicado es una plantilla de frase verbal que describe una propiedad de
objetos o una relación entre objetos representados por las variables.
Por ejemplo, las oraciones "El automóvil que JURGEN está manejando es azul", "El cielo
es azul" y "La portada de este libro es azul" proviene de la plantilla "es azul" colocando
una frase sustantiva / nominal apropiada delante Del mismo. La frase "es azul" es un
predicado y describe la propiedad de ser azul. A los predicados se les da a menudo un
nombre. Por ejemplo, cualquiera de "es_azul", "Azul" o "A" puede usarse para
representar el predicado "es_Azul" entre otros. Si adoptamos A como el nombre del
predicado "es_azul", las oraciones que afirman que un objeto es azul pueden
representarse como "A (x)", donde x representa un objeto arbitrario. A (x) se lee como "x
es azul".
Del mismo modo, las oraciones "SUREYA le da el libro a KEVIN", "JANELYS le da una pizza
a LUIS" o "DIEGO da una explicación a CRISTIAN" se obtienen sustituyendo un objeto
apropiado por las variables x, y z en la oración "X da y a z". La plantilla "... da ... a ..." es un
predicado y describe una relación entre tres objetos. Este predicado puede ser
representado por Dar (x, y, z) o G (x, y, z), por ejemplo.
Cuantificadores
Un predicado con variables no es una proposición. Por ejemplo, la sentencia x > 1 con la
variable x sobre el universo de números reales no es ni verdad ni falsa, ya que no sabemos
qué x es. Puede ser verdadera o falsa dependiendo del valor de x.
Se puede hacer una proposición aplicando una de las dos operaciones siguientes a cada
una de sus variables:

 Asignar un valor a la variable

 Cuantificar la variable utilizando un cuantificador
Por ejemplo, x > 1 se convierte en 3> 1 si 3 se asigna a x, y se convierte en una declaración
verdadera, por lo tanto, es una proposición.

3
En general, se realiza una cuantificación en fórmulas de lógica de predicados
(denominadas wff), tales como x > 1 o P (x), utilizando cuantificadores de variables. Hay
dos tipos de cuantificadores: cuantificador universal y cuantificador existencial.
El cuantificador universal convierte, por ejemplo, la afirmación x > 1 a "para todo objeto
x en el universo, x > 1", que se expresa como "∀ x, x > 1". Esta nueva afirmación es
verdadera o falsa en el universo del discurso. Por lo tanto, es una proposición una vez
que se especifica el universo.
Del mismo modo, el cuantificador existencial gira, por ejemplo, la afirmación x> 1 a "para
algún objeto x en el universo, x> 1", que se expresa como "∃ x, x> 1". Una vez más, es
cierto o falso en el universo del discurso, y por lo tanto es una proposición una vez que
se especifica el universo.
Universo del Discurso
El universo del discurso, también llamado universo, es el conjunto de objetos de interés.
El universo es, pues, el dominio de las variables (individuales). Puede ser el conjunto de
números reales, el conjunto de enteros, el conjunto de todos los automóviles en un
estacionamiento, el conjunto de todos los estudiantes de la UTP, etc. El universo a
menudo se deja implícito en la práctica, pero debe ser obvio desde el contexto.
El cuantificador universal
La expresión: ∀x P(x), denota la cuantificación universal de la fórmula atómica P(x). Se le
Para todo x , P(x) tiene","para cada x, P (x) tiene" o "para cada x, P (x) mantiene". A ∀ se le
llama cuantificador universal, y x significa todos los objetos x en el universo. Si esto es
seguido por P(x) entonces el significado es que P(x) es verdadero para cada objeto x en
el universo. Por ejemplo, "Todos los automóviles tienen cuatro ruedas" podría
transformarse en la forma proposicional, ∀ x P(x), donde:

 P (x) es el predicado denotando: x tiene ruedas, en donde, el universo del discurso

sólo está poblado de automóviles.
Cuantificador Universal y Conectivo AND (Y ó ∧)
Si todos los elementos del universo del discurso pueden ser enumerados entonces la
cuantificación universal x P(x) es equivalente a la conjunción: ∀P(x1) ∧ P(x2) ∧ P(x3) ... ∧
P(xn).

Por ejemplo, en el ejemplo anterior de ∀x, P(x), si supiéramos que sólo había cuatro
automóviles en nuestro universo de discurso (c1, c2, c3 y c4), también podríamos traducir
la sentencia como: P(c1) ∧ P(c2) ∧ P(c3) ∧ P(c4).
El cuantificador existencial
La expresión: Ǝx P(x), denota la cuantificación existencial de P(x). La expresión también
podría entenderse como: "Existe una x tal que P(x)" o "Hay al menos un x tal que P(x)" se
llama cuantificador existencial, y x significa Al menos un objeto x en el universo. Si esto es

4
seguido por P(x) entonces el significado es que P(x) es cierto para al menos un objeto x
del universo. Por ejemplo, "Alguien desea hablar contigo" podría transformarse en la
forma proposicional, Ǝx, P(x), donde:

 P(x) es el significado del predicado: x desea hablar contigo,

 El universo del discurso contiene (pero no se limita a) todos los humanos.
Cuantificador existencial y el OR conectivo
Si se pueden enumerar todos los elementos del universo del discurso, entonces la
cuantificación existencial Ǝ x, P(x) es equivalente a la disyunción: ∀P(x1) ∨ P(x2) ∨ P(x3) ...
∨ P(xn)..

Por ejemplo, en el ejemplo anterior de Ǝx, P(x), si supiéramos que sólo había cinco
entidades en nuestro universo de discurso (digamos yo, él, ella, Google y Android),
también podríamos escribir la declaración Como: P(me) ∨ P(él) ∨ P(ella) ∨ P(Google) ∨
P(Android).
Cómo leer las fórmulas cuantificadas
Al leer fórmulas cuantificadas, se debe leer de izquierda a derecha. ∀x puede ser leído
como "para cada/todo objeto x en el universo se sustenta/sostiene/dice" y Ǝx puede ser
leído como "existe un objeto x en el universo que satisface el siguiente" o "para algún
objeto x en el universo lo siguiente se cumple".

Por ejemplo: Sea el universo el conjunto de aviones y sea F(x, y) el predicado "x vuela más
rápido que y ". Entonces

 ∀x ∀y F(x, y) puede traducirse como "Para cada avión x se cumple lo siguiente: x

es más rápido que cada (cualquier) avión y". En una manera más simple se lee:
"Cada avión es más rápido que cada avión (¡incluso sí mismo!)".
 ∀x ∃y F(x, y) se puede leer como "Para cada avión x se cumple lo siguiente: para
algún avión y, x es más rápido que y". En una manera más simple se lee "Cada
avión es más rápido que un avión".
 ∃x ∀y F(x, y) representa "Existe un avión x que satisface lo siguiente: (o tal que)
para cada avión y, x es más rápido que y". En una manera más simple se lee "hay
un avión que es más rápido que cada avión" o "un avión es más rápido que cada
avión".
 ∃x ∃y F(x, y) dice: "Para un avión x existe un avión y tal que x es más rápido que
y", lo que significa "Un avión es más rápido que un avión".

Orden de aplicación de los cuantificadores

Las posiciones del mismo tipo de cuantificadores pueden conmutarse sin afectar al valor
de verdad, siempre que no haya cuantificadores del otro tipo entre los intercambiables.
Por ejemplo: ∃x ∃y ∃z, P(x, y, z) es equivalente a ∃y ∃x ∃z P(x, y, z), … etc.

5
Sin embargo, las posiciones de los diferentes tipos de cuantificadores no se pueden
cambiar.
Por ejemplo ∀x ∃y F(x, y) no es equivalente a ∃y ∀x F(x, y).

Fórmulas bien formuladas (WFF) para la lógica predictiva de primer orden

No todas las cadenas pueden representar proposiciones de la lógica predicada. Para que
los símbolos que produzcan una proposición y sean bien interpretados deben seguir las
reglas dadas abajo, y se llaman wffs (fórmulas bien formadas) de la lógica del predicado
del primer orden.
Reglas para construir Wffs
Un nombre de predicado seguido por una lista de variables tales como P(x, y) , donde P
es un nombre de predicado y x, y son variables, se llama fórmula atómica. Wffs se
construyen utilizando las siguientes reglas:

 Las wff son Verdadero y Falso

 Cada constante proposicional (es decir, proposición específica), y cada variable
proposicional (es decir, una variable que representa proposiciones) son wffs.
 Cada fórmula atómica (es decir, un predicado específico con variables) es un wff.
 Si A, B y C son wffs, también lo son ┌ A, (A Λ B), (A ∨ B), (A ⟶B) y (A ⟷ B).
 Si x es una variable (que representa objetos del universo del discurso), y A es un
wff, entonces también son ∀x A y ∃ x A.