Lógica cuantificacional

1. Función proposicional 2.2.Cuantificador Existencial

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" sería la variable.
Si a una función proposicional, le anteponemos la
expresión "existe un x tal que", estaremos indicando
el sentido existencial (que exista) de dicha función:
Notación:

Ejemplos: x: p(x) ó x/p(x) ó (

x) (p ()x)
p(x) : x - 2 > 18
q(x) : x2 + 4 = 16 Se lee: "existe un x, tal que, se verifique p (x)".
r(x) : “x” es un número primo "existe por lo menos un x, tal que, se
verifique p(x)".
Si en la primera función proposicional p(x) a "x" le damos "al menos un x, verifica p(x)".
diferentes valores tendremos:
Ejemplo:
para: x = 10  p(10): 10 - 2 > 18 p(x): x - 3 > 10 [función proposicional]
8 > 18 (falso) x: p(x)
x: x - 3 > 10 [proposición lógica]
para: x = 23  p(23): 23 - 2 > 18
21 > 18 (verdadero) Para verificar que es una proposición lógica, podemos
darnos cuenta que si x = 15, se cumple la
Como puede verse, dependiendo del valor de la variable desigualdad, ya hemos encontrado por lo menos un
podemos obtener resultados diferentes. "x", que verifique p(x), por lo tanto es una proposición
lógica, cuyo valor es verdadero.

2. Cuantificadores universal y existen- 3. Negación de proposiciones que tie-

cial nen cuantificadores
2.1.Cuantificador Universal Sea la proposición:
Si a una función proposicional, le anteponemos la x: p(x)
expresión "para todo x", estaremos indicando el
sentido universal de dicha función proposicional,
su negación será: ~[x: p(x)] = x: ~p(x)
obteniéndose ahora una proposición lógica.

Notación:
De la misma forma, si tenemos la proposición:
 x: p(x) ó x/p(x)(xó) (x)[p ] x: p(x)

Se lee: "para todo x, tal que, se verifique p(x)". su negación será: ~[x: p(x)] =  x: ~p(x)

Ejemplo:
Si tenemos una función proposicional: Ejemplos:
P(x): x + 5 > 2 [no es proposición lógica] i. x: x = 7
y ahora le agregamos el cuantificador universal "". ~[x: x = 7] = x: x  7
x: P(x) ii. x: "x" es un número par.
x: x + 5 > 2 [proposición lógica] ~[x: x es un número par] = x: "x" no es un nú-
tendremos una proposición lógica, cuyo valor es falso, mero par.
por que no todos los valores de "x" cumplirán la iii. x: x2 >1
proposición, por ejemplo: para x = -4, no se cumple. ~[x: x2 > 1] = x: x2  1
Entonces es falso que para todo "x", se cumpla:
x+5>2
4. Circuitos lógicos I.  x  B/x2 < 0
II.  x  B: x2 + 1  0
El valor de verdad de una proposición puede asociarse III.  x  B / (x + 1) (x - 1) > 2
con interruptores que controlan el paso de la corriente.
Así si una proposición es verdadera, el interruptor estará a) FVV b) FVF c) FFV
cerrado y la corriente pasará. Si la proposición es falsa, d) VVF e) VFV
el interruptor estará abierto y la corriente no pasará.
5. Dadas las proposiciones: p, q y r
p:  x  IR/x2 > 0
q:  x  IR: x2 + x < 1

p=V p=F 4
r:  x  IR: 3
x
hallar el valor de verdad de:
Los interruptores pueden estar en serie o paralelo: (p  ~q)  (q  ~r)
Equivalencia Lógica a) V b) F c) V o F
d) F.D. e) N.A.
4.1. Serie p q pq
6. La negación de la expresión:
p "Para todo número real "x" existe un número real "y" tal
4.2. Paralelo pq que: x.y  0"
q
a)  x  IR;  y  IR: x.y < 0
p q b)  x  IR;  y  IR: x.y = 0
4.3. Mixto (p  q)  (~r) c)  x  IR;  y  IR: x.y < 0
~r d)  x  IR,  y  IR: x.y < 0
e) N.A.
Problemas para la clase
7. Escribir la negación de las siguientes proposiciones:

Bloque I
p(x) :  x R ; x 0 x<0
1. ¿Cuál de las siguientes expresiones son funciones q(x) :  x IR ;  n ZZ, n x < n + 1
proposicionales? r(x) :  x IR; 2 x + 4 7
s(x;y) :  x IR;  y IR; (x2 + y2 = 4) (x = y)
I. p(x): x2 + x > 4 t(x) :  x IR ; x 3 x 2
II. q(x): "x" es un número impar
III. r(x): 3x + 7 8. Dado el conjunto: A = {-2; -1; 0; 1; 2}; determinar el
valor de: ~ p q, siendo:
a) Sólo I b) Sólo II c) Sólo III
d) I y III e) I y II
p(x;y) :  x A ;  y A; x + y = 0
2. Dada la función proposicional: p(x): x3 - 2x > 0 q(x;y) :  x A;  y A; xy = 0
hallar los valores de verdad para: x = -1; x = 2; x = 1
9. Si: A = {-2; -1; 0; 1;2} y
a) VVV b) VVF c) VFV
d) FVV e) FVF p(x;y) :  x A,  y A; x . y = y
q(x;y) :  x A,  y A; xy no está definido
3. Dado el conjunto: A = {3;4;5;6}
r(x;y) :  x A,  y A; -2 x + y < 1
hallar el valor de verdad de cada proposición.
s(x;y) :  x A,  y A; x2 - y2 = (x + y) (x - y)
I.  x  A: x + 3 > 4
II.  x  A/x - 5 > 1 Hallar el valor de: [(p m) (q n)] (r s)
III.  x  A/x2 - 15 > 0
10.Dadas las proposiciones:
a) VVF b) FFF c) FVF
d) VFV e) VFF p(x) : (  x IR; x-1 IR) ( x IR; x2 + 3 < x)
4. Dado el conjunto: B = {-1;0;1;2} q(x) : (  x Q; x I) (  x I; x2 - 4 0)
hallar el valor de verdad de cada proposición. r(x) : (  x IR; x0 1) (  x ZZ; 7  x / 3x = 0,6)
)
 A. Hallar el valor de: [p (~ q r)] [~ r (r ~ 4. Si se sabe que: U = {x ZZ/ -2 < x 6}
q)] B. Negar simbólicamente cada proposición.
p(x;y) : x U,  y U / x2 + y2 < 36
11.Hallar la expresión equivalente al circuito mostrado: q(x;y) : x U, y U / 2(x + y) - 2(x - y) = 4y
p r(x;y) : x U,  y U / x + y = 0
~r s(x;y) : { x U / (x > 10) (x > 6)} =
q
Hallar el valor de verdad de:
[ ~ p ( ~ q r)] (s  q)
a) (p  q)  r b) (p  q)  ~r
c) (p  q)  ~r d) (p  q)  r
e) (p  q)  ~r 5. Si: A = {2; 1/2; 2 ; -2; - 2 }

12.Hallar la expresión equivalente del circuito mostrado: p(x) : x A, x2 > 0 x es par

p q(x) : x A, x 2 = x x 2 - 4 = (x + 2) (x - 2)
r(x;y) : x A, y A, x + y > 0
q s(x; y) :  x A,  y A, x3 - y3 = (x - y) (x2 + xy + y2)

r ~s A. Determinar el valor de verdad de p; q; r y s

B. Negar cada una de las proposiciones.
a) p  (r  s)
6. Dadas las proposiciones:
b) (p  q)  (r  ~s)
c) (p  q)  (r  ~s) p(x) :  x U; x > 3 x 2
d) (p  q)  (r  ~s) q(x) :  x U; x2 = 2 x 1
e) (p  q)  (r  s)
x2  4
r(x) :  x U; =x-2
Bloque II x  2
Donde: U = {x A / x 2 x < 2}
1. Dado el conjunto: A = {-2; -1; 0; 1; 2; 3}
A = {1; 2; 3; 4; 5}
decir el valor de verdad de:
Hallar el valor de verdad de: (p q) r
I.  x  A/x2 - 9 = 0
7. Hallar el equivalente del circuito:
II.  x  A/x + 3 > 7
III.  x  A/x + 5 < 4 ~p
~p
a) VVV b) VFV c) VVF ~q
d) VFF e) FFF
a) ~ p b) ~ q c) ~ p q
2. Si: U = {1; 2; 3; 4; 5} d) p ~q e) p
¿cuál es el valor de verdad de las siguientes
proposiciones? 8. Hallar el equivalente del circuito:
~p
I.  x  U: x  3  x < 4 p
II.  x  U: x + 2 < 8  x > 6 q
III.  x  U: x + 2 = 5  x - 1 = 2
a) p b) ~ p c) q
a) VVV b) FFV c) VFF d) p q e) p q
d) FVV e) FFF
9. Hallar la expresión equivalente que representa al circuito:
3. Sea: A = {x ZZ/ -3 x < 3}
~(p  q)
~(p  q) ~q
p(x;y) :  x A,  y A / x = 2(y - 1)
r
q(x;y) :  x A,  y A / 2x + y = y
r(x;y) :  x A,  y A / x-1 = y a) p b) ~ p c) q
2
x  y 2 d) ~ q e) (p q)
s(x;y) :  x A,  y A/  x  y
x  y
10.Dado el conjunto: A = {2;3;4;5}
Hallar el valor de verdad de: (p q) (~r ~ s) Cuántas de las siguientes proposiciones son verdaderas:
 I.  x; x2 - 2x - 1 > 0 III.  x  M;  y  M/x + y > 6
II.  x;  y/x + y < 6 IV.  x  M/2x < 11
III.  x;  y: x + y < 10
IV.  x;  y: x + y < 10 a) 0 b) 1 c) 2
V.  x;  y/x + y < 10 d) 3 e) 4

a) 1 b) 2 c) 3 12.De las siguientes expresiones, ¿cuáles son funciones

d) 4 e) 5 proposicionales?

11.Dado el conjunto: I. "x" es un número par.

M = {3; 4; 5; 6} II. (x2 - 3x + 2) - (5x + 2)
¿Cuántas de las siguientes proposiciones son III. todos los gatos son negros.
verdaderas?
a) I y II b) Todas c) Sólo I
I.  x  M/(2x - 5)  1 d) Sólo III e) II y III
II.  x  M;  y  M/x3 + y3 > 16