El enunciado x 4 = 0 es cierto nicamente cuando x = 4.

El enunciado x(x 2) = 0 es cierto nicamente cuando x = 0 o x = 2.

El enunciado x2 = 9 x = 2 nunca es cierto.
Cuando un enunciado no es proposicin, pero se convierte en una proposicin al tomar valores especficos
las variables involucradas en el enunciado, entonces se denomina forma proposicional. Ms precisamente se
tiene la siguienet definicin.

Definicin Se dice que un enunciado es una forma proposicional si el enunciado se convierte en una
proposicin cuando las variables involucradas en el enunciado toman valores especficos. Para ello se debe
decidir que valores pueden tomar las variables. Al conjunto de todos los valores especficos que pueden
tomar las variables se le denomina conjunto universal, y se denota usualmente por U . Recuerde la expresin
x U significa que x es un elemento de U , se lee: x pertenece a U . Una variable es un elemento del conjunto
universal U . Una constante es un elemento que se fija del conjunto universal U .

Ejemplo. El enunciado x(x 2) = 0 se puede representar por px : x(x 2) = 0. All el conjunto universal
puede ser, por ejemplo, U = N: el conjunto de los nmero naturales, o U = Z: el conjunto de los nmero
enteros, o U = R: el conjunto de los nmero reales, u otro conjunto numrico.

Definicin El conjunto solucin de una forma proposicional es el conjunto de todos los elementos del
conjunto universal U que la convierten en proposicin verdadera.

Recordemos que usualmente una proposicin se denota mediante una letra minscula, p, q, r,... Ahora si un
enunciado corresponde a una forma proposicional con variable x, se suele representar por px o por p(x). El
conjunto solucin se indica mediante {x/px }, y se lee: el conjunto el todos los elementos x de U que satisfacen
a px .

2.4. Cuantificadores.
En lgica se consideran dos cuantificadores universales, saber el cuantificador universal y el cuantificador
existencia.

2.4.1. Cuantificador universal.

Consideremos el siguiente enunciado: Si x es un nmero entero negativo, entonces x2 es un nmero entero
positivo.

En este enunciado hay dos formas proposicionales, a saber,

px : x es un nmero entero negativo, qx : x2 es un nmero entero positivo. All el conjunto universal es U

igual al conjunto de los nmeros enteros (Z). Este enunciado se puede expresar en forma equivalente de las
siguientes maneras:
Para cada nmero entero x, si x es negativo, entonces x2 es positivo.
Para cada nmero entero x, si px , entonces qx .
Para cada nmero entero x, px qx .
x Z, px qx .

All el smbolo x se lee: para todo x, y es llamado cuantificador universal .

Si p(x) es una funcin proposicional, entonces la forma proposicional (x A)(p(x)) es verdadera si y slo
si p(a) es verdadera para todos los a A.

2.4.2. Cuantificador existencial.

Si p(x) es una forma proposicional, entonces el enunciado: Existe un x en A, tal que px , corresponde a una
forma proposicional, se indica mediante la expresin, (x A)(p(x)).
La forma proposicional (x A)(p(x)) es verdadera si y slo si p(a) es verdadera para para algn a A.
Antes de mostrar algunos ejemplos se recuerda la notacin de algunos conjuntos numricos,
El conjunto de los nmero naturales se representa por N = {1, 2, 3, 4, ...}
El conjunto de los nmero enteros se representa por Z = {...,n 4, 3, 2, 0, 1, 2,o3, 4, ...}
a
El conjunto de los nmero racionales se representa por Q = /a, b Z, b 6= 0 , conjunto de todas de las
b
fracciones de nmeros enteros.
El conjunto de los nmero reales se representa por R, que es igual al conjunto de todos los nmeros decimales.

Ejemplos. Expresar en lenguaje corriente los siguientes enunciados simblicos.

1. (x N)(px ), donde px : x es nmero entero

Solucin. Para todo nmero natural x, x es nmero entero; es decir todo nmero natural es entero.

2. (x N)(qx ), donde qx : x + 4 N
Solucin. Para todo nmero natural x, x + 4 es nmero natural; es decir, para cada nmero entero,
al sumarle 4 da nmero natural.

3. (x Z)(px ), donde px : x + 2 N
Solucin. Para todo nmero entero x, x + 2 es nmero natural; es decir, para cada nmero entero, al
sumarle 2 da nmero natural.

4. (x N)(qx ), donde qx : x N

Solucin. Para todo nmero natural x, x es nmero natural; es decir, para nmero natural, su raz
cuadrada es nmero natural.

Se puede verificar que el primero y segundo ejemplo corresponden a proposiciones verdaderas, y el tercero y
cuarto corresponden a proposiciones falsas.

Ejemplos.

1. Suponga que se toma como referencia el conjunto de todos los gobernadores de los departamentos de
un determinado pas. Considere las siguiente proposiciones,
a) p: El gobernador gana la reeleccin
b) q: El gobernador se perpeta en el poder
c) r: El gobernador realiza una buena gestin
d) s: El gobernador tiene de oposicin fuerte

Expresar en forma simblica las siguientes expresiones:

a) El gobernador no se perpeta en el poder
b) El gobernador realiza una mala gestin
c) El gobernador tiene una oposicin dbil
d) El gobernador realiza una buena gestin y se perpeta en el poder
e) El gobernador no gana la reeleccin y se perpeta en el poder
f) El gobernador gana la reeleccin o se perpeta en el poder
g) El gobernador pierde la reeleccin o no se perpeta en el poder
h) El gobernador pierde la reeleccin y realiza una mala gestin
i) Si el gobernador realiza una buena gestin, se perpeta en el poder
j) Una buena gestin es suficiente para ganar la reeleccin
k) Una oposicin fuerte es necesaria para una mala gestin
l) Realizar una buena gestin y tener una oposicin dbil, es suficiente para ganar la reeleccin
m) Que el gobernador tenga una oposicin fuerte se sigue del hecho que el gobernador se perpete en
el poder
n) El gobernador tiene de oposicin fuerte slo si se perpeta en el poder
) El gobernador gana la reeleccin, si realiza una buena gestin.