Sunteți pe pagina 1din 7

CALCULO DE PREDICADOS

La lgica proposicional presenta las siguientes falencias:

No puede representar la estructura interna de los enunciados.


La notacin utilizada es difcil manejar con un nmero infinito de proposiciones.
Las leyes o reglas son insuficientes para efectuar la demostracin de cierto conjunto de
proposiciones.

Ejemplo: Observe el siguiente caso donde se parte de las siguientes afirmaciones.


Todos los ingenieros se preparan en matemticas
Daniela es ingeniera
es razonable y vlido deducir la proposicin
Daniela tiene preparacin en matemticas.
En el contexto de la lgica proposicional e identificando las tres proposiciones de la siguiente forma:
P : Todos los ingenieros se prepararon en matemticas
Q : Daniela es ingeniera
R : Daniela se prepar en matemticas
se tratar de demostrar si: P Q R

PQ

PQR

La lgica proposicional no puede explicar porqu R se deduce de P y de Q.

Por otra parte, el clculo proposicional no puede representar proposiciones que contienen variables como:

"x + 1 > 3" , "z = x + 2" , "y + z =x".


El cuadrado de todo impar es impar.

"P(n) es verdadero para todo n", "P(n) es verdadero para algn n" donde n pertenece a los naturales"
significa que "P(0) es verdadero", P(1) es verdadero", ...etc.
Por lo tanto expresiones que involucran variables tales como:
1. x > 3
2. x = y + 3
3. x +y = z
son encontradas frecuentemente en declaraciones matemticas y programas de computador.
Cuando los valores de las variables no son especificados, estas expresiones no son verdaderas o falsas. En
esta seccin discutiremos las formas en las cuales las proposiciones pueden ser producidas de tales
expresiones.
Para 1 la expresin tiene 2 partes:
1. la variable x es el sujeto de la expresin
2. es mayor que es el predicado (propiedad que el sujeto de la expresin puede tener) Podemos denotar
la expresin x es mayor que 3 por P(x), donde P denota el predicado es mayor que 3 y x es la variable.
La expresin P(x) ser el valor de la funcin proposicional P en x. Una vez un valor le es asignado a la
variable x, la expresin P(x) se convierte en una proposicin y tiene su valor de verdad.
Ejercicios:
Sea Q(x,y) la funcin proposicional para 2. Cules son los valores de verdad de las proposiciones Q(3,2) y
Q(5,2)?
Sea R(x,y,z) la funcin proposicional para 3. Cules son los valores de verdad de las proposiciones
R(1,2,3) y R(0,0,1)?
En general una expresin que involucra las n variables x1, x2, ..... xn puede ser denotado por P(x1, x2, .....
xn).
Una expresin de la forma P(x1, x2, ..... xn) es el valor de la funcin proposicional P en la n-tupla (x1, x2,
..... xn) y P es tambin llamado un predicado.

CUANTIFICADORES
Cuando a todas las variables en una funcin proposicional le son asignados valores, la expresin resultante
tiene un valor de verdad. A travs de la cuantificacin tambin se pueden crear proposiciones desde una
funcin proposicional.
Cuantificacin universal
La cuantificacin universal de P(x) es la proposicin P(x) es verdad para todos los valores de x en el
universo de discurso.
La notacin xP(x) denota la cuantificacin universal de P(x). Aqu es llamado el cuantificador
universal. La expresin xP(x) es tambin expresada como:
para todo x P(x) o para cada x P(x)
Ejemplo1
Denotar la expresin: cada estudiante en esta clase ha estudiado calculo como una cuantificacin
universal.
R//

1. Sea P(x) que denota la expresin x ha estudiado clculo entonces se puede expresar como: xP(x),
donde el universo de discurso consiste de los estudiantes en esta clase.
2. Tambin puede ser expresado como: x(S(x) P(x)) donde S(x) es la expresin x esta en esta clase y
el universo de discurso es el conjunto de todos los estudiantes.
Ejemplo2
Sea Q(x) la expresin x<2 cul es el valor de verdad de la cuantificacin xP(x), donde el universo de
discurso es el conjunto de los nmeros reales?
R//
Q(x) no es verdadera para todos los nmeros reales x. Por ejemplo Q(3) es falsa. As xQ(x) es falsa.
Cuando todos los elementos del universo de discurso pueden ser listados- digamos x1 x2, ..... xn se sigue
que la cuantificacin universal xP(x) es la misma como la conjuncin P(x1) P(x2) ..... P(xn) puesto
que esta conjuncin es verdad si y solo si son todas verdad.
Ejemplo3
Cul es el valor de verdad de xP(x), donde P(x) es la expresin x2 < 10 y el universo de discurso
consiste de los enteros positivos que no sobrepasan al 4?
R//
La expresin xP(x) es la misma como la conjuncin P(1) P(2) P(3) P(4) puesto que el universo de
discurso consiste de los enteros 1, 2, 3 y 4. Puesto que P(4) es la expresin 42 < 10 es falsa, entonces se
sigue que xP(x) es falsa.

Cuantificacin existencial
La cuantificacin existencial de P(x) es la proposicin existe un elemento x en el universo de discurso tal
que P(x) es verdad.
La notacin xP(x) denota la cuantificacin existencial de P(x). Aqu Es llamado el cuantificador
existencial. La expresin xP(x) es tambin expresada como:
hay un x tal que P(x) o hay al menos un x tal que P(x) o para algn x P(x)
Ejemplo1
Sea Q(x) que denota la expresin x = x + 1 Cual es el valor de verdad de xQ(x), donde el universo de
discurso es el conjunto de los nmeros reales?
R//
Puesto que Q(x) es falso para cada nmero real x, la cuantificacin existencial de Q(x), la cual es xQ(x), es
falsa.
Cuando todos los elementos del universo de discurso pueden ser listados- digamos x1, x2, ..... xn la
cuantificacin existencial xP(x) es la misma como la disyuncin P(x1) P(x2) ..... P(xn) puesto que
esta disyuncin es verdad si y solo si al menos una de P(x1), P(x2),..... P(xn) es verdad
Ejemplo2
Cul es el valor de verdad de xP(x), donde P(x) es la expresin x2 > 10 y el universo de discurso consiste
de los enteros positivos que no sobrepasan al 4 ?
R//
La expresin xP(x) es la misma como la disyuncin P(1) P(2) P(3) P(4). Ya que P(4) la cual es la
expresin 42 > 10 es verdad, entonces se sigue que xP(x) es verdad.
Ejemplo3

Trasladar la expresin dada a continuacin al espaol, donde C(x) es x tiene un computador, F(x,y) es x y
y son amigos y el universo de discurso para ambas x y y es el conjunto de todos los estudiantes en su
escuela x(C(x) y(C(y) F(x,y)))
R//
Cada estudiante en su escuela tiene un computador o tiene un amigo quien tiene un computador.

Ejercicios
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

Algn estudiante de esta clase visitar Cali y cada estudiante de esta clase visitar Medelln o Cali.
Todos tenemos exactamente un mejor amigo.
Si m es un entero par, entonces m + 7 es impar.
Todos los leones son fieras.
Algunos leones no toman caf.
Algunas criaturas salvajes no son de frica.
Algunos nmeros negativos no son enteros.
Algunos gobiernos no respetan la libertad.
Si todo es rojo, hay algo rojo.
Todo estudiante de la EIS tiene un computador o existe un estudiante que tiene un computador.

Negaciones
El cuantificador universal puede aparecer negado, como en el enunciado:

"No todos son mecnicos". xM(x) donde M(x) : "x es mecnico" conjunto de referencia formado
por los hombres.

Las palabras "ningn", "ninguno", "nada", "nadie" corresponden tambin a enunciados universales
con negaciones, pero de una manera distinta a las proposiciones anteriores. La proposicin
"ninguno es mecnico" no equivale a la proposicin "no todos son mecnicos" sino a la expresin
"para todo x, x no es mecnico" que se simboliza x(M (x)).

Expresiones como "no es cierto que hay fantasmas" xF(x) donde F(x) : "x es un fantasma".
Anlogamente a lo que ocurre con los cuantificadores universales, las proposiciones existenciales
puede tener negaciones internas como "algo no es mortal" la cual se simboliza como x ( M(x))
donde M(x) : "x es mortal".

Por ejemplo, consideremos la negacin de la declaracin:


cada estudiante en la clase ha tomado un curso de clculo o xP(x). Donde P(x) es la declaracin x
ha tomado un curso de clculo.
La negacin de esta declaracin es:
no es el caso que cada estudiante en la clase ha tomado un curso de clculo o hay un estudiante
en la clase quien no ha tomado un curso de clculo.
En esta ltima declaracin se ve que es simplemente la cuantificacin existencial de la negacin de la
funcin proposicional original. Es decir xP(x).
Considere la negacin de la declaracin:
hay un estudiante en la clase que ha tomado un curso de clculo o x P(x). Donde P(x) es la
declaracin x ha tomado un curso de clculo.
La negacin de esta declaracin es:

no es el caso que hay un estudiante en la clase que ha tomado un curso de clculo o cada
estudiante en la clase no ha tomado un curso de clculo.
En esta ltima declaracin se ve que es simplemente la cuantificacin universal de la negacin de la funcin
proposicional. Es decir xP(x).
Ejemplo1
Cules son las negaciones de las declaraciones:
Hay un poltico honesto
R//
Sea H(x) que denota x es honesto donde el universo de discurso son todos los polticos. Entonces la
declaracin se puede simbolizar como: xH(x). Luego la negacin es xH(x), la cual es equivalente a
xH(x) la cual corresponde a Cada poltico es honesto

Todos los americanos comen hamburguesas


R//
Sea C(x) que denota x come hamburguesas donde el universo de discurso son todos los americanos.
Entonces la declaracin se puede simbolizar como: xC(x). Luego la negacin esxC(x), la cual es
equivalente axC(x) la cual corresponde a Hay un americano quien no come hamburguesas
Ejemplo2
Cules son las negaciones de:
x(x2>x)
R
x(x2>x) la cual es equivalente a x(x2>x). Lo cual puede ser reescrito como x (x2x)
x(x2 = 2)
R
x(x2=2) la cual es equivalente a x(x2=2). Lo cual puede ser reescrito como x (x22)
Ejercicios:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

Alguien no es perfecto.
No hay cosas slidas.
Nada se mueve.
No todo es perecedero.
Nada es perecedero.
Ningn estudiante de sistemas deja las tareas inconclusas.
x(x2>=x+1)
x(x2>x x>0)
x (x2 x-2)
x (x2x x>0)
x (x2>=x+1)
x (x2x x>0)

Reglas en la Lgica de Predicados


A continuacin se listan otras reglas que pueden ser demostradas para la lgica de predicados.
x (P[x] Q[x]) x P[x] x Q[x]
x (P[x] Q[x]) x P[x] x Q[x]
x P[x] x P[x] Ley de De Morgan

x P[x] x P[x] Ley de De Morgan


x P[x] x Q[x] x (P[x] Q[x])
x (P[x] Q[x]) x P[x] x Q[x]
x y P(x,y) y x P(x,y)
x y P(x,y) y x P(x,y)
x y P(x,y) y x P(x,y)
y x P(x,y) x y P(x,y)
y x P(x,y) x y P(x,y)
x y P(x,y) y x P(x,y)
x y P(x,y) y x P(x,y)
y x P(x,y) x y P(x,y)
x y P(x,y) y x P(x,y)

Variables Libres y Ligadas


Cuando un cuantificador es usado sobre la variable x o cuando nosotros asignamos un valor a esta variable,
decimos que esta ocurrencia de la variable est ligada. Una ocurrencia de una variable que no est ligada
por un cuantificador o igualada a un valor particular se dice que es libre. Todas las variables que ocurren en
una funcin proposicional deben estar ligadas para tornarla en una proposicin. Esto se puede realizar
usando una combinacin de cuantificadores universales, existenciales y asignacin de valores.
La parte de una expresin lgica para la cual un cuantificador es aplicado es llamada el alcance de este
cuantificador. Consecuentemente, una variable es libre si esta fuera del alcance de todos los cuantificadores
en la formula que especifican esta variable.
Ejemplo 1
En la declaracin xQ(x,y), la variable x est ligada por la cuantificacin existencial x, pero la variable y es
libre porque no est ligada por un cuantificador y ningn valor es asignado a esta variable.
Ejemplo 2
En la declaracin x(P(x) Q(x)) xR(x), todas las variables estn ligadas. El alcance del primer
cuantificador, x, es la expresin P(x) Q(x). El alcance del segundo cuantificador, x, es la expresin R(x).
Es decir el alcance de los 2 cuantificadores no se sobrelapan.
Ejemplo 3
(i :: x * i = 0)
Esta expresin asegura que x multiplicada por cualquier nmero entero es cero. Lo cual es cierto siempre
que x = 0, de modo que es equivalente a la expresin x = 0, por lo tanto el valor de la expresin depende del
valor de x en algn estado pero no depende del valor que pueda asumir la variable i.
Ejemplo 4
Comparemos las expresiones
i2*i1
y
(i : 1 i 29 : i 2 * i 1)

En la primera la variable i puede tomar cualquier valor dentro del tipo correspondiente, mientras que en la
segunda la variable i est restringida por el cuantificador universal a tomar valores dentro del rango de

especificacin. En el primer caso la variable i est libre mientras que en el segundo caso se dir que est
ligada.

Ejercicios varios:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.

P(x,y) : " y es madre de x" x y P(x,y) o y x P(x,y)


P(x,y) : " x < y" x y P(x,y) o y x P(x,y)
P(x,y) : " y > 2^x" x y P(x,y) o y x P(x,y)
P(x,y) : " x + y = 0" x y P(x,y) o y x P(x,y)
P(x,y) : " xy = 0" x y P(x,y) o y x P(x,y)
Para cada nmero real x, si x >1, entonces x + 1 > 1
Para cada nmero real x, x^2 - 1 > 0
Para algn nmero real x, x/ x^2 + 1 = 2/5
Para algn nmero real x, 1/x + 1> 1
Todos los enteros son nmeros racionales.
Todos los ciudadanos respetuosos de la ley pagan sus impuestos.
Todos los cursos de matemticas son divertidos
Hay cisnes negros.
Existen animales carnvoros.
Hay nmeros perfectos.
Existen ciudades de clima fro.
Todos los nevados son colombianos

S-ar putea să vă placă și