Ejercicios

Captulo 1

1. Simbolice completamente las proposiciones siguientes, utilizando los smbolos correspondientes a cada
trmino de enlace. Indique las proposiciones simples sustituidas por cada letra mayscula.

En el hemisferio sur, julio no es un mes de verano.

Si dos pulsaciones se atraviesan, continan conservando la forma original.
Jaime no es puntual o Toms llega tarde.
Ni Antonio ni Ana estudian en la universidad.
Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
Si este cuadro es negro, entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo.
A la vez, si este cuadro es negro, entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo.
Patinaremos si y slo si el hielo no es demasiado delgado.

2. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, qu puede afirmarse del valor de
verdad de cada una de las proposiciones siguientes?

P Q R P S P
R P P Q R (S P)
R P P P S P S (Q P)
S P P Q R Q P R Q

3. Qu puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?
Si P es falsa.
Si P es falsa, Q verdadera y R verdadera.

4. Sean P, Q y R frmulas, entonces:

Si R P Q P es falsa y P es falsa, qu puede afirmarse de R y de Q?

Si Q Q P es verdadera y P es falsa, qu puede afirmarse de Q?
Si R P Q P es falsa, qu puede afirmarse de P, Q y R?
Si (Q R) (P Q) R es falsa, qu puede afirmarse de P, Q y R?
 Si (P Q) (R P R Q) es verdadera, qu puede afirmarse de P, Q y R?

5. Sean P, Q y R frmulas. Determine cules de las siguientes proposiciones son tautologas:

P Q P R ( P Q) ( Q P)
P P Q (P Q) (P Q)
P (Q P) P ((P Q) R)
(P (Q P)) Q P ( P R)

6. Simbolice los siguientes enunciados:

No hace fro, pero llueve.

O se protege la flora y la fauna, o se quebrar el equilibrio ecolgico.
La desercin escolar disminuir si y slo si se mejoran las condiciones de la poblacin y se
moderniza la educacin.

7. Para cada enunciado escriba su recproco, su contrarrecproco y su contrario.

Si una funcin es derivable en un punto, entonces es continua en dicho punto.
Si una figura plana es un cuadrado, entonces es un rectngulo.
Si una matriz cuadrada tiene inversa, entonces su determinante es distinto de cero.

8. Demuestre que los siguientes enunciados son teoremas:

((P Q) ((R Q)) ((P R) Q).

((P Q) (P R)) (P (Q R)).

9. Justifique cada regla de prueba:

Si P Q es verdadera, entonces R P Q es verdadera.

Si P Q R es verdadera, entonces Q R es verdadera.
Si Q Q es verdadera, entonces P es verdadera.
Si P Q y P son verdaderas, entonces Q es verdadera.
10. Demuestre los siguientes teoremas:

(P (Q R) ((P Q) R).
(P Q) ((Q R) (P R)).
P (Q P Q).
(P (Q R)) ((P Q) R)
((P Q) (P R)) (P (Q R)).

11. En cada una de las siguientes listas de premisas escriba los pasos que conducen a la conclusin,
justificando cada uno de ellos.

T S P Q R
F T S R
S F T T S (P Q)

(P Q) R P (Q R)
(R S) P S T
S (P Q) T

(P Q) Q P
R Q (R S)
Q (R S) S R P

P R P S
P Q P Q
Q R P S R T
Q R T

12. Demuestre que los siguientes conjuntos de premisas son inconsistentes, deduciendo una contradiccin
para cada caso.

Q R T P T R
 R S T R (R S)
(P Q) Q R T S
P S (P S) Q

x=1 y<x R (R Q)
y<x y = 0 S R
(y = 0 x 1) T Q
S T

13. Simbolice el siguiente razonamiento y demuestre la conclusin dada a partir de las siguientes premisas:

Si el partido A gana las elecciones, tendr mayora en el congreso.

Si tiene mayora en el congreso, el presidente podr cumplir el programa de gobierno propuesto.
O el presidente no podr cumplir el programa propuesto o la oposicin lo atacar duramente.
Pero la oposicin no lo atacar duramente.

Conclusin: el partido A no ganar las elecciones.

14. Use cualquier mtodo de demostracin para probar los siguientes teoremas:

El producto de un nmero par por otro impar es un nmero par.

Se dice que el entero t divide al entero a y se escribe ta si y slo si a = kt para algn K Z .

Demuestre que si ta y tb, entonces t(ma + nb), siendo m y n enteros arbitrarios.

Si q es un nmero racional, demuestre que q + 2 es un nmero irracional.

15. Demuestre que si P Q es verdadera, entonces:

P R Q R
P R R Q
R P R Q
R P Q R
son verdaderas.

16. Demuestre que si P Q y R S son verdaderas, entonces:

P R Q S
P R Q S
 son verdaderas.

17. Demuestre que:

a. Si P Q es verdadera, entonces, son verdaderas:

P Q
R P R Q
R P R Q
(R P) (R Q)
(P R) (Q R)
(P R) (Q R)
QP

b. Si P Qy Q R son verdaderas, entonces P R es verdadera.

18. Demuestre los siguientes teoremas:

PP
P P (doble negacin).
P P P (idempotencia).
P P P (idempotencia).
P (Q R) (P Q) R (ley asociativa).
P (Q R) (P Q) R (ley asociativa).
(P Q) ( Q P) (ley del contrarrecproco).
P Q Q P (ley conmutativa).
P Q Q P (ley conmutativa)
P (Q R) (P Q) (P R) (distributivitividad).
P (Q R) (P Q) (P R) (distributivitividad).
(P Q) P Q (ley de Morgan).
(P Q) P Q (ley de Morgan).
(P Q) P Q
P Q ( P Q)