Documente Academic
Documente Profesional
Documente Cultură
PQ
PQR
Por otra parte, el clculo proposicional no puede representar proposiciones que contienen variables como:
"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".
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
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)
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.