Consiste en: Todo S es P

() PS
(x) (Sx ^ Px)






Consiste en: Ningn S es P
(s)~Ps
(x) (Sx -> ~Px)






Consiste en: Algn es S en P
(s) Ps
(x)(Sx ^ Px)



Consiste en: Algun S no es P
(s)~Ps
(x)(Sx^~P)





Indica que que algo es cierto para todos los
individuos
Sea A una expresion y sea x una variable. Si
deseamos indicar que A es verdadero para todos
los posibles valores de x, escribiremos (x)A
p S
x
ssssssssPsss
ssssssssssss
ssssssssssss
ssssssssssss
x
s

s
p
x
s
p
x
o (x) es cuantificador un universal
o A es el mbito (alcance) del cuantificador
o El smbolo se lee para todo
Ejemplo:
-todo el mundo tiene buena suerte de vez en cuando
B= tener buena suerte de vez en cuanto
B(x)= x tiene buena suerte de vez en cuando
xB(x) en el conjunto de los seres humanos

Sea A una expresion y x uan avariable. Si
deseamos indicador que A es verdadero para al
menos un valor de la variable x, escribiremos x
A. se denomina cuantificador existencial, y A es
el ambito o alcance del Cuantificador existencial.
Ejemplo:
-Hay una persona que ha interrumpido en el aula con
malos modales.
B=Irrumpir en el aula con malos modales
B(x)=x irrumpe en el aula con malos modales
xB(x) en el conjunto de los seres humanos






Una formula cuantificacional es abierta cuando un
smbolo predicativo no esta bajo el alcance de un
cuantificador o cuando un cuantificador que tiene bajo
su dominio al smbolo predicativo, este no tiene la misma
variable indefinida. Ejemplos
(1) Fx
(2) Fx Gx
(3) (x) Fx Gx
(4) (x) (Fy Gx )
(5) (x) (y) (Fy . . Gz v Hx)

A las variables que no estn bajo el alcance de un
cuantificador se llaman variables libres. En (1) y (2) todas
las variables son libres. En (3) solo Gx es una variable
libre porque Fx esta bajo el alcance de (x). En la (4)
Fy es una variable libre, porque una variable esta bajo
el dominio del cuantificador cuando a su vez tiene la
misma variable indefinida. En (5),Gzes una variable
libre.
La presencia de una variable libre en una formula
cuantificacional determina que es una frmula abierta.
Estas frmulas no pueden ser verdaderas ni falsas.

Una formula cuantificacional es cerrada cuando los
smbolos predicativos estn bajo el alcance del
cuantificador, donde el cuantificador que tiene bajo su
dominio los smbolos predicativos tienen la misma
variable indefinida.tambien los smbolos predicativos
seguidos de constantes de individuos son formulas
cerradas. Ejemplos:
(6) Fa
(7) Fb Gc
(8) (x) Fx
(9) (y) (x) (Fx Fy)
(10) (x) ( Fx Gx) . Fa . . Ga

Las variables que estn bajo el domino de un
cuantificador o contiene constantes de individuos se
llaman variables ligadas. En (6) y (7) las variables son
ligadas por contener constantes de individuos. En (8) y
(9) las variables estn ligadas, porque estn bajo el
dominio de cuantificadores y a la vez, en cada caso,
tienen la misma propiedad del cuantificador. En (10)
hay combinacin de variables ligadas al cuantificador
y variables que contienen constantes de individuos.

EJERCICIOS
En las siguientes formulas,determine las formulas
abiertas y las formulas cerradas, indicando las
variables libres y ligadas.

1. (x) (Fx Gx) Hx
2. Fa (x) (Fx v Gx)
3. (x)(y)(Fx v Gx .. Fy)
4. (x) (Fy Gx) .. (y)(Fy Gx)
5. (x) (Fa Gx) v (x) (z) (Fx . Gz)