EJERCICIOS DE CONJUNTOS Y LOGICA (4215)

Indice
1. Proposiciones logicas y conectivos 2

1
2 EJERCICIOS DE CONJUNTOS Y LOGICA (4215)

1. Proposiciones logicas y conectivos

1.1. Determine la forma proposicional de los siguientes enunciados y calcule el valor
de verdad de los mismos.
(1) No es el caso que 2 sea impar.
(2) f (x) = ex es creciente y concava hacia arriba.
(3) Tanto 7 como 5 son factores de 70.
(4) Si 7 + 6 = 14, entonces 5 + 5 = 10.

(5) 5 es primo siempre que 2 no sea irracional.
(6) 1 + 1 = 2 es una condicion suficiente para que 3 > 6.
(7) Si un angulo interior de un triangulo rectangulo mide 92 , entonces el otro
angulo interior mide 88 .
1.2. Presente negaciones utiles de los siguientes enunciados.
(1) x es un entero positivo.
(2) X no es acotado o X es compacto.
(3) Las primeras dos derivadas de f son positivas en x0 .
(4) x2 > 0 si y solo si x > 0.
(5) Una sucesion es acotada siempre que esta sea convergente.
1.3. Determine cuales enunciados califican para ser definiciones.
(1) f (x) es una funcion lineal siempre que su grafica sea una lnea recta.
(2) En caso de f (x) contenga x2 en su regla de correspondencia, f (x) es una
funcion cuadratica.
(3) Un triangulo es un triangulo rectangulo cuando la suma de dos de sus
angulos interiores es 90 .
(4) Dos lneas son paralelas si tiene la misma pendiente.
1.4. Considere p, q y r proposiciones y demuestre las siguientes equivalencias entre
proposiciones.
(1) p (p).
(2) p q q p.
(3) pq qp .
(4) p (q r) (p q) r.
(5) p (q r) (p q) r.
(6) p (q r) (p q) (p r).
(7) p (q r) (p q) (p r).
(8) (p q) (p) (q).
(9) (p q) (p) (q).
(10) p q (p) q.
(11) p q (p q) (q p).
(12) (p q) p (q).
(13) (p q) p (q) q (p).
(14) p (q r) (p q) r.
 EJERCICIOS DE CONJUNTOS Y LOGICA (4215) 3

(15) p (q r) (p q) (p r).
(16) (p q) r (p r) (q r).
(17) p q (q) (p).
1.5. Suponga que p y q son una tautologa y una contradiccion, respectivamente.
Determine el caracter de las siguientes proposiciones, es decir, justifique si se trata
de una tautologa, contradiccion o contigencia (proposicion que tienen al menos una
valuacion V y una F).
(1) p q.
(2) p q.
(3) p (q).
(4) [(p) q].
1.6. Compruebe que 0 = 1 El calentamiento global es una falacia es una bi-
condicional verdadera pero no una tautologa.
1.7. Resuelva los siguiente incisos.
(1) Muestre que , y se pueden describir en terminos de y
.
(2) Suponga que T es una tautologa y demuestre que p p, (T p) p y
(p T ) T tambien lo son. As, a partir de p y , las unicas proposi-
ciones que podemos obtener son tautologas o proposiciones equivalentes a
p.
(3) Demuestre que no se puede obtener a partir de .

1.8. La palabra o es utilizada en el Espanol en dos formas distintas. La disyuncion

matematica representa el o inclusivo y entendemos su significado como uno o lo
otro o ambos. El o exclusivo, denotado por , significa uno o lo otro pero no
ambos.
(1) Elabore una tabla de verdad para el conectivo .
(2) Si p y q son proposiciones, demuestre que p q (p q) [ (p q)].
1.9. Defina la opuesta de la implicacion p q como (p) (q).
(1) Muestre que una implicacion y su opuesta no son formas equivalentes.
(2) Determine los valores de verdad de p y q bajo los cuales p q y su opuesta
son ambas V.
(3) Cual es la proposicion equivalente a la inversa de una implicacion, la con-
trapuesta de la opuesta o la opuesta de la contrapuesta?