Jorge Ibarra Huguet

________________________________________________________________________________________
________________________________________________________________________________________
Lgica

1. Demuestre, utilizando propiedades de lgica, si las siguientes proposiciones

son Tautolgicas, Contradicciones o Contingencias.

a) p q p q r

b) p q p r q
c) p r q p q
d) p q r p q

e) p q p q q p p q r
f) p q r p r q r
g) p q u s p u s u s u
h) p q r p q q r

2. Determine el valor de verdad de las siguientes proposiciones.

a) 22 y 2 Q

b) Si n se divide a 12, entonces n divide a 4

3
c) es un nmero par o impar
5

d) Si n es par, entonces (n+1) es impar

e) Si 3 es racional, entonces 3 es entero

3. Sabiendo que p q r s es verdadero. Determinar el valor de verdad de:

p r q s
4. Determinar el valor de verdad de p y r, para que junto con la proposicin q que es
verdadera, haga, que la proposicin:

p q q r p q Sea Falsa
5. Si p representa una proposicin verdadera. Si es posible determinar el valor de verdad de
q, de modo que:

________________________________________________________________________________________
________________________________________________________________________________________
 Jorge Ibarra Huguet
________________________________________________________________________________________
________________________________________________________________________________________

p q p q F Sea Verdadera

6. Si p es una proposicin falsa. Determinar el valor de verdad de la expresin:

p q r q p r p q
7. Reduzca usando propiedades de lgica proposicional:

a) p q p q p p q

b) q p q q q r
c) p q r s p r q s

d) p p p p p V
e) p q p q p q
f) p q r r p r q
8. A travs de una tabla de verdad determine si los esquemas son Tautologa, Contradiccin
o Contingencia.

a) p q p q p q

b) q p q q q p
c) p q p r q r

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

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

p q p q p T
10. Utilizando el lgebra lgica:

________________________________________________________________________________________
________________________________________________________________________________________
2
 Jorge Ibarra Huguet
________________________________________________________________________________________
________________________________________________________________________________________

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

11. Demuestre que los esquemas p q r y p q r son lgicamente equivalentes.

12. 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) p q r q : V
b) p q p r p r : F
c) p q p r p q r : V
d) p q p r p q q r : F
e) p q r p q p r : F Comente su Re sultado.
13. Demuestre que si q tiene v. de v. F, entonces la proposicin compuesta:

p q q r p q Re sulte serFALSA
14. 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

15. 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 la
casa.

Si se supo que sus dos primeras afirmaciones son Falsas, Qu valor de verdad tiene su ltima
declaracin?

________________________________________________________________________________________
________________________________________________________________________________________
3
 Jorge Ibarra Huguet
________________________________________________________________________________________
________________________________________________________________________________________

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

a) p q p q

b) p q p q

c) p q q
d) p q q
e) p q p q
f) p q p q p
g) p q p q
17. 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 p q p q p q
18. Demuestre que el valor de verdad de p q p r q r es independiente del
valor de verdad de la proposicin r.

________________________________________________________________________________________
________________________________________________________________________________________
4