EJERCICIOS PROPUESTOS

1. Dadas las proposiciones siguientes:

a. [ ( p q ) p ] p
b. ( p q) ( q p)

c. p [ ( q r ) ( q ( s ) ) ]

d. ( p q ) [ ( q r ) ( r p) ]

Determinar si son Tautologa, Contradiccin o Contingencia.

2. Si p y q son verdaderas, r y s son falsas. Hallar el valor de
verdad de:

3. Si la proposicin: ( p q ) [ ( p r ) t ] es falsa. Hallar el valor

veritativo de:

4. Simplificar las siguientes proposiciones aplicando las leyes

del algebra proposicional:
a. F : p ( p q )
b. E : [ ( p q ) q ] q

c. R : {[ p ( p q ) ] q } {[ q ( q p ) ] p }

5. Demostrar aplicando las reglas de inferencias en los

siguientes ejercicios:

a. Demostrar: q , si:
1. p q ..P1
2. ( p r ) s .P2
3. s ( t u ) .P3

4. t u .P4

b. Demostrar: p q , si:
1. ( q p ) r .P1
2. s r P2
3. t r ...P3
 4. s t P4

6. Haciendo uso del teorema 12.1, probar si la forma

argumentativa siguiente, es
Vlida o no:

7.- Simplificar el siguiente circuito lgico:

a.

b.-

7. Representar simblicamente las circuitos siguientes:

a.

b.

c.
Desarrolle los siguientes ejercicios propuestos, aplicando todo
lo aprendido sobre la lgica proposicional. Copie las preguntas y
desarrolle en hoja oficio cuadriculado, la recepcin del trabajo
ser el da del examen de la primera parcial. Despus de sta no
se recepcionar.