PAUTA PRIMER CONTROL DE ALGEBRA I

27 de Agosto de 2018

1. (15 ptos.) Dadas las proposiciones:

s : p ) (r _ q) y t : (q ) p) _ (r ) p) :

Usando tablas de verdad, determine si la proposicion w : s , t es una Tautolog a,

Contradiccion o Contingencia.

Desarrollo:

Sean ( ) : (r _ q); ( ) : p ) (r _ q) ; ( ) : (q ) p) y ( ) : (r ) p)
p q r p q r ( ) ( ) ( ) ( ) _ [ , _ ] = (s , t)
V V V F F F V V F V V V
V V F F F V F F F F F V
V F V F V F V V V V V V
V F F F V V V V V F V V
F V V V F F V V V V V V
F V F V F V F V V V V V
F F V V V F V V V V V V
F F F V V V V V V V V V
) la proposicion s , t es una Tautolog a.

2. (15 ptos.) Dadas las proposiciones p, q, r, y t tales que:

[(p ^ q) ) r] ^ (q Y t)

es una proposicion Verdadera. Justi cando, determine el valor de verdad de la

proposicion:
f[t ^ (p_ r)] ) qg , fr ^ (q_ p)g :

Desarrollo:
Notemos que la proposicion [(p^q) ) r] ^ (q Y t) es una conjuncion, si
la conjuncion [(p^q) ) r] ^ (q Y t) es V; entonces por de nicion:
las proposiciones compuestas [(p^q) ) r] y (q Y t) son V .

i) Si [(p^q) ) r] es V entonces [(p^q) ) r] es F:

Como [(p^q) ) r] [( p_ q) _ r] ; luego por de nicion de disyuncion
tenemos que: p; q y r son F:
Por lo tanto, las proposiciones p; q y r son V:

ii) Si q es V y (q Y t) es V entonces t es F .

iii) Luego como p; q; r son V y t es F , entonces:

f[t ^ (p_ r)] ) qg es V ( )y
[r ^ (q_ p)] es V ( )
De ( ) y ( ) obtenemos que la proposicion
f[t ^ (p_ r)] ) qg , [r^(q_ p)] es Verdadera
1
3. (15 ptos.) Sean p; q r y s proposiciones. Usando las leyes logicas simpli que al
maximo la proposicion:

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

Desarrollo:
[(p ^ q) _ (q _ p)] ) [(r_s) ^ (s _ r)] Conmutativa (L5) y Asociativa (L6) de _
[(p ^ q)_q] _ p ) [(r_s) ^ (r _ s)] Distributiva (L7)
(p_q) ^ (q _ q) _ p ) [r_(s ^ s)] m_m 1 y m ^ m 0 Complemento (L4)
[(p_q) ^ (1)] _ p ) [r_(0)] m^1 m y m_0 m Identidad (L1)
[(p_q)] _ p ) [r] Conmutativa (L5)
(q_p) _ p ) r Asociativa (L6)
q_ (p _ p) ) r m_m 1 (L4) Complemento (L4)
q_ (1) ) r m_1 1 Identidad (L1)
1)r (m)n) ( m_n) (E1)
1_r m m Involucion (L3)
1_r m_1 1 Identidad (L1)
1

Luego la proposicion:
[(p ^ q) _ (q _ p)] ) [(r_s) ^ (s _ r)] es verdadera independiente de los
valores de verdad de p, q, r y s.
) es una Tautolog a.

4. (15 ptos.) Sean las proposiciones:

p : 9x 2 [ 2; 1] : 2x2 + 5x 3=0 ^ x 1

y
e3x 2
q : 8x 2 N : x2 4x 10 ) =1 :
e2x
Determine el valor de verdad de la proposicion:

(pY q) ^ ( p , q) :

Desarrollo:

i) Determinando el valor de verdad de la proposicion p :

Sea s(x) : (2x2 + 5x 3=0 ^ x 1)
1
Como 2x2 + 5x 3 = 0 , (2x + 1) (x 3) = 0 entonces x = ox=3
2
Luego la conjuncion !
2
1 1 1 1
s( ) : 2 +5 3=0 ^ 1 es verdadera.
2 2 2 2
) la proposicion p : 9x 2 [ 2; 1] : s(x) es V:
ii) Determinando el valor de verdad de la proposicion q :
e3x 2
Sea r (x) : x2 4x 10 ) e2x
=1
Como x 2
4x 10 , x 2
4x + 10 0 , (x 2)2 + 6 0
entonces es falso 8x 2 R; en particular es falso para cada a 2 N:
e3a 2
Luego la implicacion r (a) : a2 4a 10 ) e2a
=1 es V para
cada a 2 N:
) la proposicion q : 8x 2 N : r (x) es V .
2
iii) Luego como p y q son V , entonces
(pY q) es F ( ) y
p , q es F ( )
De ( ) y ( ) obtenemos que la proposicion
(pY q) ^ ( p , q) es Falsa.