ALGEBRA SUPERIOR I.

TAREA
DR. FRANK PATRICK MURPHY HERNANDEZ.

Repaso de nociones logicas basicas.

Fecha de entrega: 21 de agosto del 2015

Ejercicio 1. Decir cuales de los siguientes enunciados son proposiciones. Argumenta tu

respuesta.
1. Comenzamos!
2. Manana sera un da nublado.
3. Muero porque no muero.
4. Cuando estudiaras para el examen?
5. Para tener exito, la planificacion sola es insuficiente. Uno debe improvisar tam-
bien.
6. La afirmacion siguiente es falsa.
7. La afirmacion anterior es verdadera.
8. El hombre mas irremediablemente estupido es aquel que ignora su sabidura.
9. La suerte favorece solo a la mente preparada.
10. Una persona feliz no puede ser mejor.

Ejercicio 2. Defnanse P=Es un da caluroso, Q=Mi primo esta escuchando musica

y R=Voy a salir a nadar. Escribe las siguientes proposiciones con palabras:
1. Q
2. P R
3. P R
4. (Q R)
5. Q (R Q)

Ejercicio 3. Sea T una tautologa y C una contradiccion. Demuestra que para cualquier
proposicion P:
1. T P es una tautologa.
2. P C es una contradiccion.

Ejercicio 4. Sean P, Q y R proposiciones. Demuestra que las siguientes proposiciones

son tautologas.
1. P Q Q P
2. P (Q R) (P Q) R
1
2 TAREA DR. FRANK PATRICK MURPHY HERNANDEZ.

P Q P Q P | Q
1 1 0 0
1 0 0 1
0 1 0 1
0 0 1 1
Cuadro 1

3. P (Q R) (P Q) (P R)
4. (P Q) P Q
5. (P Q) (P Q) (P Q)

Ejercicio 5. Para dos proposiciones P y Q definimos los conectivos | y mediante la

tabla de verdad mostrada en el cuadro 1.
1. Escribe proposiciones logicamente equivalentes a la negacion y a la conjuncion
usando unicamente el conectivo .
2. Repite el inciso anterior usando unicamente el conectivo |.

Ejercicio 6. Sean P, Q, R y S proposiciones. Demuestra las siguientes reglas de infe-

rencia.
1. (Modus Tollendo Ponens) P Q, Q; P
2. (Modus Tollens) P Q, Q; P
3. (Silogismo Hipotetico) P Q, Q R; P R
4. (Dilema Constructivo) P Q, R S, P R; Q S