POR

Viviana Mara Moreno

Grupo 03

HASTA AHORA SE HA TRABAJADO EN LA

LOGICA PROPOSICIONES DE LAS CUALES
SE PODIA DECIR QUE ERAN FALSAS O
VERDADERAS, PERO POR EJEMPLO LA
PROPOSICION X>10, ES UNA PROPOSICION
DE LA CUAL NO SE PUEDE ASEGURAR NADA
HASTA QUE LE ASIGNEMOS UN VALOR A LA
VARIABLE X,

Supongamos 5, entonces 5>10, inmediatamente la

proposicin asume un valor de verdad. pero para
hallar el valor de verdad se debe contar con un
universo de referencia. Por ello cuando se
encuentran
frmulas
del
tipo
proposicin
dependiente de x p(x) o q(x). debemos hacerlo
explcito. y decimos que p(x) es universal y verdadera
y lo denotamos por x:p(x), y se lee para todo x, es
verdad si se cumple que para todo reemplazo de x
por un elemento de X, en p(x), p(x) es Verdadero.
El cuantificador universal indica que lo que se
escriba a su derecha es verdadero para todo valor de
la variable que lo acompaa.

Ejemplos:

P(x)=x/x pertenece a la universidad del Quindo

x:p(x)=Para todo x, x es estudiante de la universidad del
Quindo
P(x):x/x profesor de la universidad
x:p(x)=Para todo x, x es profesor de la universidad del
Quindo

p(x)=x/x es estudiante de la universidad del Quindo

q(x):x/x es mayor de 30 aos
Todos los estudiantes de la universidad mayores de 30
x:p(x)q(x)=Para todo x, x es estudiante y es mayor de
30 aos

El valor de Verdad de x:p(x) depende

totalmente del universo en que se d como en
nuestro caso que es la Universidad.

Si una proposicin tipo x:p(x) no es verdadera, debe

existir un elemento (y) en el universo, tal que p(y) tenga
el valor de F o que ~(p(y)) sea V, lo que se puede afirmar
es que Existe un x tal que ~p(x) es verdadera. Esta frase
es Existe un x tal que no p(x) y Se simboliza x:~P(x).
En general ~p(x)=q(x) obtenemos: x:q(x)
Su valor de verdad es V si existe un remplazo para x en
el universo, para el cual q(x) es una proposicin
verdadera. De otra manera x, q(x) tiene el valor de
verdad F.
El cuantificador existencial indica que todas las
funciones proposicionales que se escriben a su derecha
se verifica para por lo menos un valor considerado para
la variable o variables de la funcin proposicional

Ejemplos:
q(x)=x/x estudia en la universidad del Quindo
r(x)=x/x es mujer
Existen estudiantes de la universidad del Quindo que son
mujeres

x:q(x)r(x)

q(x)=x/x estudia en la universidad del Quindo

r(x)=x/x estudia lgica
Existen estudiantes de la universidad que estudian lgica

x:q(x)r(x)

q(x)=x/x estudia lgica

r(x)=x/x gana el curso de lgica
Existen estudiantes que si estudian lgica, ganan el curso.

x:q(x)r(x)

Cuando slo hay un elemento en el conjunto que

cumple con la proposicin se escribe !x:p(x), se
lee existe un nico x tal que p(x) es verdadero.

Ejemplo:
P(x):x/x es rector de la universidad del Quindo
Existe un nico rector en la universidad del
Quindo.
!x:p(x): Existe un nico x tal que x es rector de
la Universidad del Quindo(Gundizalbo)

Ejemplos:

P(x):x/x es profesor de lgica de la universidad del

Quindo
Existe un nico profesor que dicta lgica en la
universidad del Quindo.
!x:p(x): Existe un nico x tal que x es profesor de
lgica de la U. del Quindo(Julio Csar)
P(x):x/x es mujer
Q(x)=x/x es estudiante de lgica
R(x)=x/x tiene mas de 4 hijos
Existe una nica mujer estudiante de lgica que tiene
ms de 3 hijos.
!x:p(x)q(x)r(x): Existe un nico x tal que x es
mujer estudiante de lgica y tiene 3 hijos

Clase

Denominacin

esquema

Expresin ejemplo

smbolo

Universal
afirmativo

Todo S es P

Todos los hombres son

mortales

sp

Universal
Negativo

Ningn S es
P

Ningn hombre es mortal

Particular
afirmativo

Algn s es P

Algn hombre es mortal

sp

Particular
negativo

Algn s no
es P

Algn hombre es no mortal

!~( sp)

~sp

. x, P(x) es verdadera si para cada x en el Universo

P(x) es cierta.
. x, P(x) es verdadera si hay algn x en el universo
para el que P(x) es cierta. Basta un slo valor.

. x, P(x) es falsa si hay un valor de x en el Universo

para el que P(x) es falsa. Basta un slo valor.

. x, P(x) es falsa si para cada x en el Universo

es falsa.

Los cuantificadores se pueden aplicar a varios

campos de las matemticas y una de ellas son
los conjuntos.

Si tenemos dos conjuntos diferentes A y B, y A

es un subconjunto de B:

A: conjunto saln de clase de lgica

B: conjunto estudiantes de lgica mujeres

x:xAx B
Todo elemento x de A pertenece a B:
Por que todas las mujeres estn inscritas en
el curso de lgica.

Si A es subconjunto de B y AB tenemos que

A: conjunto de estudiantes de lgica
B: conjunto de hombres que estudian lgica
existe al menos un elemento x de B que pertenece a
A:
x: xAx B
x:xAx B
Al afirmar que existe al menos un x que pertenece
a B y pertenece a A, quiere decir que no todos los
elementos de B pertenecen a A, al ser A y B
conjuntos distintos, existe al menos un elemento
de B que no pertenece a A:

Estos elementos son los hombres, pues ellos

pertenecen a B pero no pertenecen a A.

Cuantificadores Universal y Existencial.

Tomado de www.Wapedia.com (28 abril 2010)

Takeyas Lpez Bruno. Ejemplos de cuantificadores

universales y Existenciales(parte libro Lgica para
ingenieros). Tomado de www.scribde.com (28 abril 2010)
Curso de lgica (Cuantificadores). Tomado de
www.netfirms.com (27 abril 2010)

Lgica o pensamiento cientfico. Tomado de

www.monografias.com (27 abril de 2010)