PAUTA DE CORRECCIÓN

PRIMERA PRUEBA DE ÁLGEBRA I

03 de Septiembre de 2018

1. (15 ptos.) Sean p; q; r;y s proposiciones, tal que la proposición:

( p , q) _ [p Y ( q_ r)] ;

es Falsa. Justi…cando, determine el valor de verdad de la proposición:

[ r ^ (p _ s)] ) [s _ q] :

Desarrollo:

Notemos que la proposición ( p , q) _ [p Y ( q_ r)] es una disyunción, si la

disyunción ( p , q) _ [p Y ( q_ r)] es F; entonces por de…nición:

las proposiciones compuestas ( p , q) y [p Y ( q_ r)] son F (~)

a) Si p es F y como ( p , q) es F entonces
por de…nición de , tenemos que: q es F:
Luego ( q_ r) es V; y por de…nición de Y tenemos que: [p Y ( q_ r)]
es V lo que contradice a (~)
Por lo tanto p necesariamente es V:

b) Si p es V y como ( p , q) es F entonces por de…nición de , tenemos

que: q es V:
Si p es V y como [p Y ( q_ r)] es F; luego por de…nición de Y tenemos
que: ( q_ r) es V.
Como q es F y ( q_ r) es V, luego por de…nición de _ tenemos que:
r es V y no tendríamos contradicción con (~).

En conclusión p es V, q es V y r es V.

Luego:

[ r ^ (p _ s)] es V ( )y

[s _ q] es V ( )

De ( ) y ( ) obtenemos que la implicación

[ r ^ (p _ s)] ) [s _ q] es Verdadera.
1
2. (15 ptos.) Sean p; q; r proposiciones lógicas. Haciendo uso de las leyes lógicas y
justi…cando, determine si la siguiente proposición es una tautología, contradicción
o contingencia:
f[(p ) q) ^ (q ) r) ^ p] ^ rg ) (p ^ q) :

Desarrollo:
Sea S : f[(p ) q) ^ (q ) r) ^ p] ^ rg ) (p ^ q) :
S f[(p _ q) ^ (q _ r) ^ p] ^ rg ) (p ^ q) m)n m_n
f[f(p _ q) ^ pg ^ (q _ r)] ^ rg ) (p ^ q) L. Asociativa
f[f(p ^ p) _ (q ^ p)g ^ (q _ r)] ^ rg ) (p ^ q) L. Distributiva
f[f0 _ (q ^ p)g ^ (q _ r)] ^ rg ) (p ^ q) m^m 0
f[(q ^ p) ^ (q _ r)] ^ rg ) (p ^ q) 0_m m
f(q ^ p) ^ [(q _ r) ^ r]g ) (p ^ q) L. Asociativa
f(q ^ p) ^ rg ) (p ^ q) L. Absorción
(q ^ p) ^ r _ (p ^ q) m)n m_n
(q ^ p) _ r _ (p ^ q) L. De Morgan
(p ^ q) _ (p ^ q) _ r L. Conmutativa
h i
(p ^ q) _ (p ^ q) _ r L. Asociativa
1_r m_m 1
1 1_m 1
Por lo tanto, S : f[(p ) q) ^ (q ) r) ^ p] ^ rg ) (p ^ q) es una Tautología.

2
3. (15 ptos.) Sean las siguientes funciones proposicionales con dominio R :
3 2 1
f (x) : x (x 1) x; g (x) : < y h(x) : 0:
2x2+3 2x + 3 x

Justi…cando, determine la negación de la siguiente proposición y su correspon-

diente valor de verdad:
1
g ( 1) ) h ) (8x 2 R : f (x) _ g (x)) :
3

Desarrollo:
1
Sea R : p ) q, con: p : g ( 1) ) h y q : (8x 2 R : f (x) _ g (x)).
3
Entonces, R : p ) q p ^ q. Así,
1 3 2
R g ( 1) ) h ^ 9x 2 R : x (x 1) < x ^ 2 :
3 2x + 3 2x + 3
Para determinar los valores de verdad de p y q, se tiene que:
3 2 3 2
g ( 1) : 2 < , es decir, g ( 1) : < .
2 ( 1) + 3 2 ( 1) + 3 5 1
Por tanto, g ( 1) es V.
1
Además, h : 3 0 es también V.
3
1
Luego, p : g ( 1) ) h es V. (~)
3
Por otro lado, x (x 1) < x , x2 x+x < 0 , x2 < 0; entonces x (x 1) < x
es F para cada x 2 R;
Como una conjunción es falsa cuando una de las proposiciones es F. Se concluye
que cualquiera que sea x en R
3 2
x (x 1) < x ^ 2 es F
2x + 3 2x + 3
3 2
Luego, q : 9x 2 R : x (x 1) < x^ es F. (~~)
2x2 + 3 2x + 3
Por lo tanto, de (~) y (~~) la proposición R es Falsa.

3
4. (15 ptos.) Encuentre el valor de verdad de la siguiente proposición:

(8x 2 Q) (8y 2 N) : x2 + 4y 2 25 = 0 ) x + 2y 6= 7 :

Desarrollo:
Sea P : [(8x 2 Q) (8y 2 N) : (x2 + 4y 2 25 = 0 ) x + 2y 6= 7)]. Entonces,
P [(9x 2 Q) (9y 2 N) : (x2 + 4y 2 25 = 0 ^ x + 2y = 7)]
Para determinar los valores de x tales que: x2 + 4y 2 25 = 0 ^ x + 2y = 7,
resolvemos el sistema:
(
x2 + 4y 2 25 = 0 E1
x + 2y = 7 E2
De E1 : x = 7 2y. Remplazando este valor en E2 se tiene:
(7 2y)2 + 4y 2 25 = 0 () 49 + 28y + 8y 2 25 = 0 () 8y 2 + 28y + 24 = 0
3
Luego, 2y 2 + 7y + 6 = 0 , (2y 3) (y 2) = 0 () y = _ y = 2.
2
3
Así, y = =) x = 4 y y = 2 =) x = 3:
2
3
) Cs = 4; ; (3; 2) :
2
3
Como x 2 Q e y 2 N el par ordenado 4; no se considera.
2
Luego, tenemos que: (9 x = 3 2 Q) (9 y = 2 2 N) tal que la conjunción (3)2 +
4 (2)2 25 = 0 ^ (3) + 2 (2) = 7 es V.
) la proposición P : [(8x 2 Q) (8x 2 N) : (x2 + 4y 2 25 = 0 ) x + 2y 6= 7)] es
Verdadera.