1.

funciones proposicionales:
Existen expresiones que parecen proposiciones, pero no lo son. Tienen
uno o ms sujetos que cumplen una determinada propiedad. Ejemplos: x
es un nmero par ; x + y < 2000 ; x > 3 x < 5 , x obreros
preparan un paro y un piquete en la ruta 9 . No son proposiciones puesto
que no esta definido el o los sujetos a que hace referencia la propiedad y no
se puede saber si es verdadera o falsa la expresin.
Son Formas proposicionales
Se denomina forma proposicional o funcin proposicional, a una expresin
que contiene una o ms indeterminadas que, al ser reemplazadas por
elementos de un conjunto fijado (dominio de la variable) se transforma en
una proposicin.
Se simboliza con : P(x) , Q(x), P(x,y) , R(x,y,z) , etc donde x, y, .. son las
indeterminadas La construccin de proposiciones requiere la definicin
previa de un dominio de trminos posibles que le llamaremos U , Universo
de la funcin proposicional (conjunto de valores posibles que sustituyen a
la/s variable/s o indeterminadas.
Ejemplo:
U = { 1, 2, 3, 4} universo de discurso
p(x) : x es par
forma proposicional donde x est indeterminada y puede tomar los valores
del conjunto fijado U, as:
si x = 1, p(x) se convierte en:
si x= 2, p(2) : 2 es par

p(1) :1 es par proposicin falsa

proposicin verdadera

Las formas proposicionales pueden ser simples o compuestas dependiendo

de la presencia de conectivas.
Ejemplo: x > 3 x < 5 lo podemos expresar como: P(x) Q(x) ( prop.
compuesta) Supongamos que el universo de los elementos de x sea:
U = Z ( nmeros enteros)
Si x = 2, la funcin se convierte en una proposicin falsa pues: 2 >3 2 < 5
Si x = 4 da nicamente proposicin verdadera ( es el nico caso)
Como interesan las proposiciones verdaderas deberemos precisar otro
conjunto que est incluido en el Universal y que contenga los valores
verdaderos.

2. Cuantificadores:
Los cuantificadores nos permiten construir proposiciones a partir de
funciones proposicionales ya sea particularizando o generalizando.
Ejemplifiquemos esto. Si consideramos la funcin proposicional
P(x) : x es mayor que 0,
podemos particularizar esto diciendo:
Existe un numero real que es mayor que 0
o generalizarlo diciendo
Todos los nmeros reales son mayores que 0.
Notemos que tanto en la particularizacin como en la generalizacin se
especifica un conjunto en donde toma valores la variable, en este
ejemplo el conjunto son los nmeros reales. Existe una notacin
especfica para la particularizacin y la generalizacin:
x R | x > 0
Que se lee existe un x R tal que x es mayor que 0; mientras que
x R, x > 0
Se lee para todo x R se cumple que x es mayor que 0.
El smbolo se llama cuantificador universal
y el smbolo es el cuantificador existencial
Como ya lo hemos afirmado, un cuantificador transforma una funcin
proposicional en una proposicin, a la cual se le asigna un valor de
verdad.
EJEMPLO:
Consideremos la funcin proposicional P(x): 4x es par. Entonces la
proposicin
n N, P(n)
Es decir, para todo n natural se cumple que 4 n es par, es equivalente
a enunciar
4 1 es par y 4 2 es par y 4 3 es par y 4 4 es par y....
Por lo tanto esta proposicin es verdadera ya que cada una de las
proposiciones P(n) es verdadera.
El cuantificador universal: indica que algo es cierto para todos los
individuos Sea A una expresin y sea x una variable. Si deseamos indicar
que A es verdadero para todos los posibles valores de x, escribiremos
(x) A.
(x) es cuantificador universal
A es el mbito (alcance) del cuantificador.
El smbolo se lee para todo.

Ejemplo 1:
Expresar todos los gatos tienen cola en clculo de predicados.
Solucin:
Hallar primero el mbito del cuantificador universal, que es Si x es un
gato, entonces x tiene cola y se define como
Gx x es un gato
Cx x tiene cola
(x) Gx Cx
Ejemplo 2: Cada nmero positivo es mayor que cero 1 es un nmero
positivo 3 es un nmero positivo Por lo tanto, 1 y 3 son mayores que
cero
Se define:
Px x es un nmero positivo
Demostrar 1>0 & 3>0 s..
El Cuantificador Existencial:
Si p(x) es una funcin proposicional en U, entonces la expresin:
x p(x); Se lee existe x tal que p(x)
y significa que hay al menos un elemento a que pertenece al
universo, de modo que p(a) es verdadera.
Ejemplo:
1. Sea A = {1, 2, 3, 4, 5}. Determine el valor de verdad de cada uno de los
enunciados siguientes:

a. ( X E A) (X+3=10)
Es FALSO porque ningn nmero de A es una solucin de x+3=10
b. (XEA) (X+3 <10)
Es VERDADERO. Cualquier nmero de A cumple que x+3<10

Cuantificador existencial de unicidad:

Hay un cuantificador ms que se utiliza con frecuencia:
Definicin (Existencia y unicidad) La proposicin (!x)p(x), que se lee existe
un nico x tal que p(x), es verdadera cuando hay exactamente una cadena de
smbolos hace verdadero p(x).
Ejemplo 1: Nuevamente, considerando nuestra funcin proposicional p(x) = x
es un jugador de futbol. Cul ser el valor de verdad de (!x) p(x)?

Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen

que p(x) sea verdadera.
Es decir, si bien existe un x que hace a p(x) verdadera, no es nico. As, (!x)
p(x) es falsa.
Observacin: Notemos que ! no es un cuantificador nuevo, en el
sentido de que puede ser definido en funcin de los dos cuantificadores
anteriores. Es decir la siguiente proposicin es verdadera.
Reglas de negacin de los cuantificadores:
La negacin de la proposicin en la cual se ha utilizado el cuantificador universal,
corresponde a una proposicin en la cual se utiliza el cuantificador existencial; a su vez,
la negacin de una proposicin en la cual se ha usado el cuantificador existencial,
corresponde a una proposicion en la cual se utiliza el cuantificador universal.
EJEMPLO: Negar las siguientes proposiciones cuantificadas. Luego, simbolizar la
proposicion y la negacin.
a. Todos los nmeros naturales sin iguales
Negacin: existe por lo menos un nmero natural que no es impar
simblicamente.
B. existe un nmero par que no es mltiplo de 4.
Negacin: todos los nmeros pares son mltiplos de 4 simblicamente.
Sea p(x) una funcin proposicional con extensin A, entonces
(x A)p(x)=( x A)p(x)
(x A)p(x)=( x A)p(x)

Proposiciones con dos o ms cuantificadores:

En la lgica de predicados, las proposiciones utilizan un conjunto de
smbolos que aparecern en distintas formalizaciones siguiendo reglas
sintcticas de construccin. De esta manera podemos hacer
combinaciones de variables, conectivos, cuantificadores, etc
Ejemplo:

Dada la expresin Cada estudiante del ITESCAM tiene una computadora

o tiene al menos un amigo que tiene una computadora, formalizarla
utilizando cuantificadores. Donde:
C(x) es x tiene una computadora.
F(y) es y son amigos que tienen una computadora del universo
estudiantes del ITESCAM.
x(C(x) v y (F(y))