Clculo de predicados.

1 Definicin 2 Variables y particularizaciones 3 Cuantificadores y restricciones

1.- Definicin
En clculo de predicados el valor de verdad depende de los componentes que forman el predicado. Por ejemplo: Juan es padre de Pedro es una expresin en clculo de predicados, que en general podra ser: Es padre de (j,p) x es padre de y, o simplemente p(x,y).

1. - Definicin

En general podemos decir que un predicado puede tener una o ms variables y que las variables pueden tomar valores de un conjunto especfico llamado DOMINIO. As por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x,y) donde el predicado p representa es padre de y el domino es el conjunto de las personas.

1. - Definicin

Un predicado como por ejemplo Mara es la madre de Juan se puede escribir: Es madre de( m, j)

donde el smbolo M es el predicado es madre de, m,j representan los individuos considerados.

Obsrvese que el orden es importante.

1.- Definicin

Un predicado es un enunciado que contiene una o ms variables.

Ejemplos : El gato tiene cola sujeto: el gato predicado: tiene cola Se representa en lgica de predicados: tiene cola(g) o de manera simbolica: C(g) donde C= tiene cola

Ejemplos:
Analiza cules son los predicados y las variables en los siguientes ejemplos: El libro es azul Armando y Eduardo son hermanos Jess es alumno del tecnolgico El concierto de Aranjuez es una composicin de Joaqun Rodrigo Elas tiene ms aos que Ren en el trabajo Esteban compra mercanca los lunes en Almacenes A. Solucin: AZ(x), AZ es el predicado: es de color azul, en el dominio de objetos. H(x,y), H es el predicado: es hermano de, el dominio el conjunto de las personas. T(x), T es el predicado: es alumno del Tecnolgico, el dominio el conjunto de los estudiantes. R(x), r es el predicado: es composicin de Joaqun Rodrigo, el dominio de las obras musicales. T(x,y),T es el predicado: tiene menos tiempo trabajando que, el dominio de las personas A(x,y), A es el predicado: comprar en los almacenes cierto da, el dominio para el primer argumento es el de las personas, el dominio del segundo son los das de la semana.

LGICA DE PREDICADOS PREMBULO Qu es lgica de predicados ?.

La lgica de primer orden tambin llamada lgica de predicados o clculo de predicados, es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden.

Qu es un predicado?
Los predicados son sentencias abiertas, en las que se incluyen una o ms variables.

Tambin se les llama funcin proposicional.

Estos enunciados no son ni verdaderos ni falsos, si no se especifican los valores de las variables.

Un predicado se convierte en una proposicin cuando todas las variables que aparecen en l, se remplazan por opciones permisibles del universo de discurso.

CLCULO DE PREDICADOS
En trminos de lgica hay que distinguir entre objetos y propiedades que satisfacen o no esos objetos, de tal manera que hablaramos de propiedades como predicados y de objetos como sujetos. Ejemplos:

Objetos: gente, casas, nmeros, planetas,...

Propiedades: rojo, pequeo, primo,...

Muchas proposiciones lgicas involucran sujetos u objetos, y su valor de verdad depende de estos. Ejemplo: Ana y Mara son hermanas : V Pedro y Juan son hermanos : F H(a, m) tiene 2 argumentos H(p, j) tiene 2 argumentos

CLCULO DE PREDICADOS

Llamamos predicado a la propiedad que se esta considerando, ejemplo:

Ser hermanos Ser numero primo A los sujetos u objetos los llamamos trminos. Ejemplo: Pablo es alumno. Se simboliza de la siguiente forma, donde Pablo es el sujeto y es alumno es el predicado: A(p) tiene un argumento que es p

1.- Definicin
Una frmula en lgica de predicados es una expresin que se puede obtener mediante alguna de las formas siguientes: P(x1, x2, ,xn) donde P es un smbolo que representa un predicado y x1, x2, ,xn son smbolos de variable. ( F) donde F es una frmula de lgica de predicados. (F <OP> G) donde F y G son frmulas de lgica de predicados y <OP> es cualquiera de los operadores ^, v, ,

Formulas atmicas y compuestas

Un predicado seguido por su lista de argumentos es una frmula atmica. Ej. Madre(Mara, Juana) Las frmulas se pueden combinar mediante conectores lgicos (frmula compuesta). Ejemplo: Madre(Maria, Juana) ~Madre(Juana, Maria).

2.- Variables y particularidades

En clculo de predicados tenemos expresiones con variables, las variables pertenecen a un conjunto o dominio previamente determinado.
Por lo que es muy importante definir el dominio cuando interpretamos una frmula mediante un predicado especfico.

2.- Variables y particularidades

Ejemplo: x es alumno de la UPT que se podra representar por Al(x) el predicado Al es alumno de la UPT y el dominio podra ser D= el conjunto de los estudiantes de Tlaxcala.

Es muy importante que se especifique con toda claridad el dominio.

Cuantificadores

The New York Times 2012

3.- LOS CUANTIFICADORES

Los cuantificadores son smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, pero los ms estudiados y utilizados son:

CUANTIFICADOR UNIVERSAL CUANTIFICADOR EXISTENCIAL

3.- LOS CUANTIFICADORES

El clculo de predicados permite tambin el uso de cuantificadores para referirse a colecciones de objetos.

Universal o General Todos los gatos tienen cola. Existencial o Particular Existen nmeros primos.

QUE ES UN CUANTIFICADOR UNIVERSAL?

Indica que una proposicin es Verdadera para todos los valores de una variable en un universo en particular.
P(x) es verdadera, para todos los valores de x en el dominio.
Es falsa, si existe al menos un x para el cual P(x) es falsa.

CUANTIFICADOR UNIVERSAL
As por ejemplo si tenemos que la frmula es: Al(x) donde Al representa es alumno de la UPT y x representa un alumno de Tlaxcala, la frmula ( x) Al(x) es falsa pues sabemos que hay alumnos en Tlaxcala que no son de la UPT.

CUANTIFICADOR UNIVERSAL
En lenguaje natural decimos... Formas de expresarlo: Para todo x Para cada x Para cualquier x Para todo x y y Para todo x,y
NOTACIN: x P(x) x , y P ( x,y )

si pongo x Se lee para todo x

CUANTIFICADOR UNIVERSAL
FRASE EJEMPLO:
Todo estudiante de la clase de Lgica Computacional vive en Mrida.
TRADUCCIN:

Se define el dominio: Todas las personas P(x) : estudiante de la clase de Lgica Computacional Q(x) : vive en Mrida

FRASE LGICA
Para toda persona x, si la persona x es un estudiante de la Clase de Logica Computacional, entonces la persona x vive en Mrida.

CUANTIFICADOR UNIVERSAL
Lo que se traduce en: x P(x) Q(x)

donde: x : dominio: de todas las personas P(x) : es estudiante de la clase de Lgica Computacional Q(x) : vive en Mrida

CUANTIFICADOR UNIVERSAL
Hay expresiones dentro del espaol que son muy utilizadas como por ejemplo: Todos los alumnos son estudiosos Todos los hombres son mortales Todos los alumnos de Computacin estudian lgica.

En este caso estamos tomando una parte del dominio para establecer una caracterstica universal, esto se puede hacer mediante la combinacin de dos predicados de una variable conectados mediante UNA CONDICIONAL y tomando el CUANTIFICADOR UNIVERSAL.

CUANTIFICADOR UNIVERSAL
As por ejemplo: Todos los alumnos son estudiosos

se puede representar mediante: ( x) (A(x) E(x))

donde el predicado A significa alumno, el predicado E significa estudioso y x es un elemento del dominio general = las personas. Por ejemplo podran ser todos las personas que viven en Tlaxcala. Aqu podemos ver claramente que el dominio juega un papel preponderante, ya que en un conjunto todos los alumnos podran ser estudiosos y si cambiamos el conjunto puede ser que ya no sea verdad.

3.- LOS CUANTIFICADORES

Qu es un cuantificador existencial o particular?

Denota que existe al menos un elemento x del Universo, para el cual p(x) es verdadera.

De lo contrario es falsa.

CUANTIFICADOR EXISTENCIAL
En lenguaje natural decimos... Formas de expresarlo: Hay un x Para algn x Para al menos un x Para ciertos x Existe un x tal que
NOTACION:otacin:

x p(x) x y p(x, y)
si pongo (x) Se lee algn x o

existe un x

CUANTIFICADOR EXISTENCIAL
FRASE EN LENGUAJE NATURAL

Algn venezolano es medallista olmpico

SE TRADUCE EN:

Existe al menos un venezolano que cumple con la condicin de ser medallista olmpico
PREDICADOS Q(x) x es un medallista olimpico P(x) x es venezolano

LO QUE SE TRADUCE EN: El dominio es: D= todas las personas x (P(x) ^ Q(x))

NEGACION DE LOS CUANTIFICADORES

La negacin del cuantificador universal es equivalente a la afirmacin de cuantificador existencial, respecto de la proposicin negada; y viceversa.
Tanto las proposiciones universales como las existenciales posee su negativa respectiva, y se simboliza negando la segunda proposicin (el consecuente en el caso del condicional).

NEGACION DE LOS CUANTIFICADORES

: 1. Formalizar la expresin No todos son alumnos".
Ejemplo

Sea P(x)=x es alumno Donde x= todas las personas . x P(x)

Si lo miramos desde otra perspectiva podemos afirmar que No todas las personas son alumnos es equivalente a afirmar que Existe al menos una persona que no es alumno la cual expresaramos de la siguiente manera:

x P(x)

Es decir que
x P(x) x P(x)

3.- Cuantificadores y restricciones.

Expresiones UNIVERSALES y EXISTENCIALES: Tipo A, E, I,O

3.- Cuantificadores y restricciones.

Todos los hombres son mortales se puede representar por ( x) (H(x) M(x)) donde: H es hombre y M el predicado mortal. Todos los pericos son verdes es: ( x) (P(x) V(x)) con P, perico y V verde. A una expresin como las anteriores se le llama Universal Afirmativa y se representa con la letra A.

3.- Cuantificadores y restricciones.

Una expresin tipo E es llamada Universal Negativa y se representa por ( x) (P(x) Q(x)) y en espaol se lee ningn P cumple Q o sea que los que cumplen el predicado P(x) no cumplen el predicado Q(x). Ningn alumno lleg tarde se puede representar por (x) (A(x) T(x)) donde A es alumno y T es lleg tarde.

3.- Cuantificadores y restricciones.

Las dos expresiones restantes corresponden a casos particulares y para formarlas utilizamos el cuantificador existencial, y en lugar del operador condicional se usa la conjuncin, as I es ( x) (P(x) Q(x)) llamado Particular Afirmativa y O es ( x) (P(x) Q(x)) que es la Particular Negativa. En el primer caso se indica un elemento que cumple las dos condiciones dadas por los predicados y en el segundo aseguramos que hay un elemento que cumple la primera condicin pero no la segunda.

3.- Cuantificadores y restricciones.

Propiedad: ( x) P(x) es equivalente a ( x) ( P(x)) ( x) P(x) es equivalente a ( x) (P(x))

Ahora s, podemos combinar estos dos resultados con las Universales y Particulares Afirmativas y Negativas y tenemos lo siguiente.

3.- Cuantificadores y restricciones.

Teorema:

La negacin de la Universal Afirmativa es la Particular Negativa y La negacin de la Particular Afirmativa es la Universal Negativa. O sea que la negacin de la forma A es la forma O y la negacin de la forma I es la forma E. ( x) (P(x) Q(x)) es equivalente a ( x) (P(x) ^ Q(x)) ( x) (P(x) ^ Q(x)) es equivalente a ( x) (P(x) Q(x))