Facultad de Ciencias Bsicas IND-111, ICN-111, INF-111, ICV-112

Departamento de Matemtica, Fsica y Estadstica ALGEBRA

Semana 2, marzo 2016

Ejercitacin n 2

1. En los siguientes dos casos se hacen armaciones (sobre la lnea horizontal) para argumentar la conclusin
(bajo la lnea horizontal). Determine la validez de los argumentos

(a) Si dos lados de un trigulo son iguales, entonces los ngulos opuestos a estos lados, son iguales.
Dos lados de un tringulo no son iguales.
) Los ngulos opuestos a lados iguales de un tringulo, no son iguales.
(b) Si 7 es menor que 4, entonces 7 no es un nmero primo.
7 no es menor que 4.
) 7 es nmero primo.

2. Determine los siguientes razonaminetos son correctos:

a) p =) q; q ) p ; b) p =) q; r =) q; r ) p
c) p =) q; r =) q ) r =) p ; d) p =) q; r =) q; q ) r
e) p =) q; r_ q; r ) p ; f) p =) q; r =) q ) p =) r

3. En cada una de las siguientes argumentaciones, simbolizar y decidir si es o no vlidas:

(a) Mi Padre me alaba nicamente si puedo sentirme orgulloso de mi mismo. O soy un buen deportista
o no puedo estar orgulloso de mi mismo. Si yo estudio intensamente entonces no puedo ser un buen
deportista, Por lo tanto, si mi Padre me alaba entonces yo no estudio intensamente.
(b) Si Londres no est en Francia entonces Madrid no est en Espaa. Pero Madrid est en Espaaa,
luego Londres est en Francia.
(c) Si invierto en acciones tipo A, entonces no afecto depsitos a plazo renovables. Efectuo depsitos a
plazo renovables, siempre que viva bien con lo intereses que generan mis inversiones. Vivo bien con
los intereses que generan mis inversiones. Luego, no invierto en acciones tipo A.

4. Dado el conjunto de premisas demuestre la conclusin:

a) ;b) ;c)
P 1) T =) P ^ S P 1) (y > 5 ^ x 6= 6) P 1) R =) S
P 2) Q =) P P 2) x = 6 =) x > y P 2) Q^ S
P 3) R =) S P 3) y 5 =) x > y P 3) R_T )P
P 4) R_Q ) y =2_x>y ) (P () Q)
) T

5. Mediante una deduccin formal completa, demuestre cada una de las siguientes proposiciones a partir de
las premisas dadas:

a) Dem : R b)Dem : x<z c) Dem : P^ Q

1) P =) Q_ R P 1) x<y_x=y P 1) U ^V P
2) Q P 2) x = y =) y 6= z P 2) T _R P
3) P =) Q P 3) x < y ^ y = z =) x < z P 3) U _S ) R P
4) y =z^y >0 P 4) P _Q)T P