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
A Universal Todo S es P Todos los hombres son
afirmativo mortales sp
E Universal Ningn S es Ningn hombre es mortal
Negativo P ~sp
I Particular Algn s es P Algn hombre es mortal
afirmativo
sp
O Particular
negativo
Algn s no
es P
Algn hombre es no mortal !~( 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.

Sitenemos 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:
 Estoselementos 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)