LGICA

Mg. MAXIMO TEJERO

ALEGRE

CUANTIFICADORES

ORIENTACIONES
Para tener una visin mas amplia sobre Lgica
formal Cuantificadores: universal y existencial
es necesario que realicen lo siguiente:
* Leer el texto de lectura obligatoria.
* Leer la Ayuda de la semana 6
* Desarrollar la autoevaluacin de la semana 6.
* Participar en el Foro de la semana 6
* Hacer comentario en el blog del curso

CUANTIFICADORES
Funcin Proposicional
Es aquel enunciado que contiene una
variable y que tiene la propiedad de
convertirse en verdadero o falso para
cierto valor de la variable. Las funciones
proposicionales se pueden representar
por: p(x), q(x), r(x), etc., donde x sera
la variable.

CUANTIFICADORES
Ejemplo:
p(x): x es un nmero par
Si en p(x) a x le damos diferentes valores
tendremos:
para: x = 4 p(4): 4 es un nmero par
(verdadero)
para: x = 9 p(9): 9 es un nmero par (falso)
Como puede verse, dependiendo del valor de la
variable podemos obtener resultados
diferentes.

CUANTIFICADOR UNIVERSAL
Cuantificador universal
Si a una funcin proposicional, le
anteponemos la expresin para todo x,
estaremos indicando el sentido universal de
dicha funcin proposicional, obtenindose
ahora una proposicin lgica.
Notacin: x: p(x)
Se lee: para todo x, se verifica p(x).

CUANTIFICADOR UNIVERSAL
Ejemplo:
x : 2x + 3 > 0
Tenemos una proposicin lgica,
cuyo valor es falso, por que no
todos los valores de x cumplirn la
proposicin, por ejemplo:
para x = 4, no se cumple.

CUANTIFICADOR EXISTENCIAL
Cuantificador existencial
Si a una funcin proposicional, le
anteponemos la expresin existe un x tal
que, estaremos indicando el sentido
existencial (que exista) de dicha funcin.
Notacin: x/ p(x)
Se lee: existe un x, tal que, se verifique
p(x) o al menos un x, verifica p(x).

CUANTIFICADOR EXISTENCIAL
Ejemplo:
x / x2 0
Si: x = 1; 2; 3; 1/2, etc. la proposicin sera
falsa pero podemos darnos cuenta que si:
x = 0, se cumple la desigualdad, ya hemos
encontrado por lo menos un x, que verifique
p(x), por lo tanto es una proposicin lgica,
cuyo valor es verdadero.

NEGACION DE CUANTIFICADORES
Negacin de proposiciones con cuantificadores
~ x: p(x) = x /~p(x)
~ x / p(x) = x; ~p(x)
Ejemplos:
Negar las siguientes proposiciones:
p(x): x R / 2x + 5 > 10, entonces:
~p(x): x R ; 2x + 5 10
q(x): x ; x es un nmero primo, entonces:
~q(x): x / x no es un nmero primo.

EJERCICIOS
1. Cul de las siguientes expresiones son
funciones proposicionales?
p(x): x > 4
r(x): x2 + 1
2. Dada la funcin proposicional:
p(x): 2x + 5 > 0,
hallar el valor de verdad de:
p(1)
p(3)

EJERCICIOS
3. Dado el conjunto: A = {1; 2; 3; 4}, hallar el valor
de verdad de cada proposicin.
x A: x + 1 > 3
x A/ x 4 > 0
4. Expresar en forma simblica:
Para todo x natural; x3 es mayor que 8
Existe un x entero tal que x2 sea igual a 4
5. Cmo se lee?:
x/x>3
x/x<0

EJERCICIOS
6. Cul de las siguientes expresiones son
funciones
proposicionales?
A. p(x): x2 + x > 0
B. q(x): x es un nmero par
C. r(x): 2x 7
7. Dada la funcin proposicional, p(x): x2 x < 0,
hallar los valores de verdad para:
x = 1;
x = 2;
x = 1/2

EJERCICIOS
8. Dado el conjunto: A = {2; 3; 4; 5; 6}, hallar el
valor de verdad de cada proposicin.
x A / x2 < 40
x A / x + 4 es primo
x A / x2 > x
9. Dado el conjunto: A = { 2; 1; 0; 1; 2}, hallar
el valor de verdad de cada proposicin.
x A / x2 > 0
x A / x2 + x 0
x A / x(x 1) = 6

EJERCICIOS
9. Hallar el valor de verdad de p, q y r.
p: x / 0x = 0
q: y / y2 = y
r: x / x2 > 0
10 . La negacin de la expresin:
Para todo nmero real x existe un nmero
real y tal que: x.y 0

GRACIAS