TALLER DE REVISIN DE CONCEPTOS

LGICA

A. Validacin de Verdad de Proposiciones: En cada una de las proposiciones

siguientes, verifique su valor de verdad.
a. Todo polinomio de Grado 2 tiene solucin en los reales.
b. Toda ecuacin lineal tiene solucin en los racionales.
c. Toda ecuacin lineal tiene solucin en los naturales.
d. Un polinomio es lineal si el grado mayor es 1.
e. Los polinomios aceptan exponentes fraccionarios.
f. El nmero 9 no es par ni es primo.
g. El cinco es un nmero primo.
h. El 4 es divisor del 50.
i. 6x 10 = 0 No tiene solucin en los enteros.
B. Simbolizacin del lenguaje cotidiano: Simbolizar las proposiciones
siguientes, diciendo claramente lo que representan las letras maysculas
como smbolos. Para las proposiciones matemticas, utilizar los smbolos
matemticos tpicos.
a. Si el libro cuesta ms de cien pesetas, entonces Juan no podr
comprarlo.
b. O sta es la casa de Antonio o la direccin que nos han dado no es
correcta.
c. Se ha levantado aire y ha refrescado.
d. Si es menor que tres, entonces es menor que cuatro.
e. Si no es igual a cinco, entonces o es mayor que cinco o es menor
que cinco.
C. Simbolizacin con Smbolos Dados: Utilizando los smbolos presentados,
representar las siguientes proposiciones.
Sea
P:Juan ha venido demasiado pronto.
Q:Mara ha venido demasiado tarde.
R:El Sr Prez est enfadado.
a. Si Juan ha venido demasiado pronto o Mara demasiado tarde,
entonces el Sr. Prez est enfadado.
b. Si Mara ha venido demasiado tarde, entonces Juan no ha venido
demasiado pronto.
c. O el Sr. Prez est enfadado, o Mara no ha venido demasiado
tarde.
d. Mara ha venido demasiado tarde y Juan ha venido demasiado
pronto, y el Sr. Prez est enfadado.
 e. Si el Sr. Prez no est enfadado, entonces Juan no ha venido
demasiado pronto y Mara no ha venido demasiado tarde.
f. O Mara no ha venido demasiado tarde o Juan ha venido demasiado
pronto.
g. Si Mara no ha venido demasiado tarde y Juan no ha venido
demasiado pronto, entonces el Sr. Prez no est enfadado.
D. Definiciones: Completar las proposiciones siguientes con las definiciones
vistas.
a. La proposicin molecular que utiliza el trmino de enlace y es una:
________________.
b. La proposicin molecular que utiliza el trmino de enlace no es una:
_________________.
c. La combinacin de una o ms proposiciones atmicas con un
trmino de enlace de proposiciones se denomina: ______________.
d. En Lgica, una proposicin completa que no tiene trmino de enlace
se denomina: ___________________.
e. La proposicin molecular que utiliza el trmino de enlace si
entonces. Se denomina: ________________.
f. La proposicin situada antes del trmino de enlace en una
proposicin condicional se denomina: _______________________
g. La proposicin situada despus del trmino de enlace en una
proposicin se denomina: _____________________.
h. La proposicin molecular que utiliza el trmino de enlace o es una:
_______________________.
E. Tautologas y Contradicciones: Verifique que las siguientes proposiciones
sean tautologas por medio de la tabla de verdad.
a.
b. ( )
c. ( )
d. [( ) ( )] ( )
e. ( ) {[ ( )] ( )}

Adems, de un ejemplo de una contradiccin que tenga dos

proposiciones y otra que tenga tres.

F. Valores y Tablas de Verdad: Determine los valores pedidos de acuerdo a

las hiptesis dadas y justificando su respuesta.
a. Si el valor de verdad de p q es verdadero cul el valor de
verdad de p ( p q) ?
b. Si el valor de verdad de ( p q) p es falso cul es el valor de
verdad de q?
 c. Si p q es verdadero se puede determinar el valor de verdad
de ( p q) ( p q) ?
d. Si p q es verdadero se puede determinar el valor de verdad
de ( p q) ( p q)
e. Halle el valor de verdad de ( p q) (q p) si es verdadero.
f. Halle el valor de verdad de ( p q) ( p q) si es verdadero.

INTERVALOS, DESIGUALDADES Y VALOR ABSOLUTO

A. Resuelva la desigualdad en trminos de intervalos e ilustre el conjunto

solucin sobre el eje de los nmeros reales.
a. 2 + 7 > 3
b. 1 2
c. 2 + 1 < 5 8
d. 3 11 < 4
e. 4 3 6
f. 1 + 5 > 5 3
g. 1 < 2 5 < 7
h. 1 < 3 + 4 16
i. 0 1 < 1
j. 4 < 2 + 1 3 + 2
k. 2 3 < + 4 < 3 2
l. ( 1)( 2) > 0
m. (2 + 3)( 1) 0
n. 2 2 + 1
o. 2