Introduccin a las matemticas

superiores
Tarea: Lgica
1. En cada inciso, indica si la oracin es una proposicin. Justifica tu respuesta.
a) Entreguen esta tarea el prximo mircoles.
b) Ya acabaron la tarea, verdad?
c) Las galletas Oreo son las mejores galletas del mundo.
d) La solucin de la funcin x2 2x + 1 es 1.
e) Si esta proposicin es verdadera, entonces Santa Claus existe.
2. Determina el valor de verdad de las proposiciones compuestas dadas a continuacin.

a) (3 16 = 1) (10/ 25 = 3).

b) (10/ 25 = 3) (3 16 = 1).
3. Utiliza tablas de verdad para demostrar las siguientes equivalencias. En tus propias
palabras, explica que dicen las equivalencias.
a) Leyes de De Morgan: (P Q) P Q y (P Q) P Q.
b) Distributividad: P (Q R) (P Q) (P R) y P (Q R) (P Q) (P R).
c) Absorcin: P (P Q) P y P (P Q) P .
d) Equivalencias de la condicional: P Q Q P y P Q P Q.
e) Negacin de condicional: (P Q) P Q.
f) Equivalencia de la bicondicional: P Q (P Q) (Q P )
4. Determina la hiptesis y la conclusin en las siguientes implicaciones. Escribe su recproca
y su contra-recproca.
a) Si la funcin es diferenciable en el intervalo, entonces es continua en el intervalo.
b) Es necesario que est nublado para que est lloviendo.
c) Es suficiente aprobar el examen final y que el promedio sea al menos 6 para aprobar
la material.

d) Si un nmero es divisible entre 5 entonces su ltima cifra es 5 o 0.

5. Da ejemplos de lo siguiente:
a) Una proposicin condicional verdadera cuya recproca sea falsa.
b) Una proposicin condicional verdadera cuya recproca sea verdadera.
c) Una proposicin condicional verdadera cuya hiptesis sea falsa.
d) Una proposicin condicional verdadera cuya conclusin sea falsa.
6. Considera la siguiente proposicin condicional verdadera.
Si el animal es un tigre, entonces tiene rayas y es un felino.
Para cada inciso, supn que la proposicin indicada es verdadera. Indica si podemos concluir
algo dada la condicional. Si no tenemos suficiente informacin para concluir algo, da ejemplos
que lo justifiquen.
a) El animal es un tigre.
b) El animal tiene rayas y es un felino.
c) El animal no tiene rayas.
d) El animal no es un tigre.
7. Niega las siguientes proposiciones o predicados.
a) 5 x 10. (Pista: Esto es slo una conjuncin)
b) z < 10 z > 10.
c) Si la funcin es diferenciable en el intervalo, entonces es continua en el intervalo.
d) Si el alumno aprueba el examen final y su promedio es al menos 6, entonces aprueba
la materia.
e) Es necesario presentar el acta de nacimiento o la credencial de elector para registrarse
en el sistema.
f) Un nmero es par si y slo si su ltima cifra es par. (Pista: Usa las equivalencias
ejercicio 3 para determinar la negacin de una bicondicional.)
8. El o exclusivo de dos proposiciones se denota como P Q y se lee P o Q, pero no
ambas. Es verdadera slo si una proposicin es falsa y la otra es verdadera.
a) Haz la tabla de verdad de P Q.

b) Utiliza tablas de verdad para verificar que P Q equivale a (P Q).

c) Muestra, usando el inciso anterior y las equivalencias del ejercicio 3, que P Q
equivale a
(P Q) (Q P ),
(P Q) (P Q).
Evita utilizar tablas de verdad en este inciso.
9. Tenemos una coleccin de cartas que tienen letras en un lado, y nmeros en el otro lado.
Las cartas deben cumplir la siguiente regla:
Si una carta tiene una vocal en un lado, debe de tener un nmero par en el otro lado.
En una mesa tenemos la siguientes cartas boca arriba:
A

a) Qu cartas debemos de voltear para determinar si la regla ha sido seguida o no?

Justifica tu respuesta.
b) Qu cartas no importan para decidir si la regla ha sido seguida o no? Justifica tu
respuesta.