Jorge Ibarra Huguet

___________________________________________________________________________________________________
___________________________________________________________________________________________________
LOGICA

1. Sean los enunciados declarativos representados por las proposiciones p y q :

p : 4 es un nmero primo y q : 4 es divisor de 32
Exprese en espaol los enunciados representados por :
a) pq b) q p c) p q
d) p q e) p q f) (q p) q

2. Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de las
siguientes proposiciones :
a) (p q) r b) ( p r ) q
c) ( p r ) q d) (p r ) (r p)

3. Indique, en cada caso, si la expresin simblica que corresponde es p q q p,

escribindola a su lado.
p slo si q ......................
p es una condicin suficiente para q ......................
p es una condicin necesaria para q ......................
Una condicin suficiente para p es q ......................
Una condicin necesaria para p es q ......................
Para que ocurra p es suficiente que ocurra q ......................
Para que ocurra p es necesario que ocurra q ......................

4. Considere las proposiciones, p: l es Ingeniero Civil, q: l es Informtico, r: l es

empresario. Escriba en forma simblica los siguientes enunciados:
a) l no es Ingeniero Civil ni Informtico, pero si Empresario.
b) l no es Ingeniero Civil y es Informtico.
c) Ser Ingeniero Civil o Empresario es lo mismo que ser Informtico.
d) Si l es Ingeniero Civil e Informtico, entonces es Empresario.
e) Si no es Ingeniero Civil y es Informtico, entonces es Empresario.
f) Es Ingeniero Civil slo si es Economista y Empresario.

___________________________________________________________________________________________________
___________________________________________________________________________________________________
 Jorge Ibarra Huguet
___________________________________________________________________________________________________
___________________________________________________________________________________________________

5. Defina proposiciones simples adecuadas y traduzca a metalenguaje los siguientes enunciados

:
a) Si los limones son caros y el azcar es barata, entonces es difcil encontrar limonada
amarga.
b) una condicin necesaria para que los limones sean baratos es que el azcar sea cara.
c) Se encuentra fcilmente limonada amarga, a menos que el azcar sea barata.
d) La limonada amarga se encuentra difcilmente si el azcar es barata.

6. A travs de una matriz de valores veritativos, determine si los esquemas son Tautologa,
Contradiccin o Contingencia :
a) [ ( p q ) ( p q )] (p q )
b) [ (q p ) q ] [ q ( q p ) ]
c) (pq)[(pr)(qr)]
d) [ ( p q ) ( q q )] ( p q )
e) [ a ( b c ) ] [ ( a b c ) { ( b c ) a } ]
f) [ ( p q ) q ] p
g) [ ( a b ) ( a b ) ] b
h) [ ( p q ) ( q q ) ] ( p q )

7. Verifique si las siguientes proposiciones compuestas tienen carcter de Tautologa,

Contradiccin o Contingencia, sin recurrir a tablas de verdad:
a) { [ ( a b ) c ] [ ( a c ) b ] }
b) ( p q ) [ ( p q ) ( q p ) ]
c) { [ a ( b c ) ] b } ( a c )
d) [ ( p q ) ( p q ) ] ( p q )
e) [ (q r ) p ] [ ( p r ) ( p r ) ]
f) { a [ c ( a b ) ] } ( c b )
g) [ ( p q ) ( r p ) ] ( p r )

8. Si se sabe que p q C, demuestre, usando lgebra lgica, que:

[ ( p q ) ( p q ) ] p T

___________________________________________________________________________________________________
___________________________________________________________________________________________________
2
 Jorge Ibarra Huguet
___________________________________________________________________________________________________
___________________________________________________________________________________________________

9. Utilizando el lgebra lgica:

a) Demuestre que: ( p q ) p p q
b) Si p q T, demuestre que: [ ( p q ) ( p q ) ] q T
c) Simplifique al mximo: [ ( p q ) ( q p ) ] ( q p )
d) Demuestre que: { [ p ( q p ) ] q } ( p q )
e) Simplificar al mximo: i) [p ( q p ) ] p
ii) q [ p q ]
iii) ( p q ) ( q p )

10. Demuestre que los esquemas p ( q r ) y ( p q ) r son lgicamente equivalentes.

11. Determine el valor de verdad de p , q y r en cada uno de los siguientes casos, sabiendo que el
valor de verdad del esquema propuesto es el que se indica.

a) [(pq)(rq)]:V
b) {[(pq)(pr)](pr)} :F
c) { [ ( p q ) ( p r ) ] [ p ( q r ) ] } : V
d) {[(pq) (pr)][(pq)(qr)]} :F
e) { [ p ( q r ) ] [ ( p q ) ( p r ) ] } : F. Comente su resultado.

12. Demuestre que si q tiene v. de v. F, entonces la proposicin compuesta

( p q ) [ ( q r ) ( p q ) ] resulta ser Falsa.

13. Considere tres proposiciones p , q y r de las cuales se sabe que p q es Verdadero, y que q
r es Falso. Determine el valor veritativo del esquema ( r p ) ( r p ).

14. Un funcionario bancario hizo tres declaraciones sucesivas. La primera fue : Si el jefe no se
retira temprano, hoy llegar tarde a casa y partiremos maana a la playa . Luego dijo : El
jefe se retirar temprano o llegar temprano a casa . Por ltimo, declar : Si el jefe se retira
temprano y partiremos maana a la playa, entonces partiremos maana a la playa o llegar
temprano a casa .
Si se supo que sus dos primeras afirmaciones son Falsas, Qu valor de
verdad tiene su ltima declaracin?

___________________________________________________________________________________________________
___________________________________________________________________________________________________
3
 Jorge Ibarra Huguet
___________________________________________________________________________________________________
___________________________________________________________________________________________________

15. Usando el lgebra lgica, obtenga un esquema equivalente ms sencillo para :

a) [ p ( q p ) ] q
b) (q p)(pq)
c) ( p q ) q
d) (pq)q
e) p[q(pq)]
f) [(pq)(pq)]p
g) [ (pq)(pq)]

16. Demuestre, usando lgebra lgica, las siguientes equivalencias entre esquemas.
a) q [ p ( p q ) ] (p p)
b) p [ ( p q ) ( q p ) ] ( p p )
c) p [ p ( q p ) ] T
d) [(p q) (p q)] p
e) [( p q) (q p )] q
f) q[(pq)(pq)] p q

17. Considere los enunciados :

I.- " Si Juan termina de solucionar ese problema y el horario de trabajo termin, entonces se
retira muy satisfecho. "
II.- " Juan no termin de solucionar ese problema o el horario de trabajo no termin, o Juan se
retira muy satisfecho. "
Traduzca cada enunciado a metalenguaje y demuestre, usando lgebra de
proposiciones, que los enunciados I y II son equivalentes.

18. Demuestre que el valor de verdad de ( p q ) [ ( p r) (q r ) ] es independiente

del valor de verdad de la proposicin r.

19. Se define el nuevo conectivo o mediante la tabla adjunta. p q p o q

V V F
Exprese p (q r ) slo en trminos de las conectivas o y . V F F
F V F
F F V

___________________________________________________________________________________________________
___________________________________________________________________________________________________
4