Gua # 1 Lgica

Patricia Llach Fernndez

1. Demuestre, utilizando propiedades de lgica, si las siguientes proposiciones
son Tautolgicas, Contradicciones o Contingencias.


a) ( ) ( ) | | r q p q p v

b) ( ) ( ) { } q r p q p .

c) ( ) | | ( ) q p q r p v

d) ( ) | | ( ) q p r q p .

e) ( ) ( ) | | ( ) { } ( ) | | r q p p q q p q p v . .

f) ( ) | | ( ) ( ) | | r q r p r q p v .

g) ( ) { } ( ) | | { } ( ) ( ) | | u s u s u p s u q p v v v v

h) ( ) | | ( ) ( ) | | r q q p r q p .

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

a) Q y e < 2 2 2

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

c)
5
3
es un nmero par o impar

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

e) Si 3 es racional, entonces 3 es entero

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

a) ( ) | | s q r p v v


Gua # 1 Lgica



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

a) ( ) ( ) | | ( ) Falsa Sea q p r q q p . .

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

a) ( ) ( ) | | Verdadera Sea F q p q p .

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

a) ( ) ( ) | | { } ( ) q p r p q r q p . . . v

7. Reduzca usando propiedades de lgica proposicional:

a) ( ) ( ) | | { } ( ) q p p q p q p . .

b) ( ) ( ) | | ( ) r q q q p q v . . v

c) ( ) ( ) | | ( ) ( ) | | s q r p s r q p . . .

d) ( ) | | { } V p p p p p

e) ( ) ( ) | | ( ) q p q p q p . v . v

f) ( ) | | ( ) ( ) | | q r p r r q p v

8. A travs de una tabla de verdad determine si los esquemas son Tautologa, Contradiccin o
Contingencia.

a) ( ) ( ) | | ( ) q p q p q p v

b) ( ) | | ( ) | | p q q q p q v . v

c) ( ) ( ) ( ) | | r q r p q p . .

Gua # 1 Lgica



Patricia Llach Fernndez
d) ( ) ( ) | | ( ) q p q q q p . .

e) ( ) | | ( ) ( ) { } | | a c b c b a c b a . v v v . v

f) ( ) | | p q q p .

g) ( ) ( ) | | b b a b a . v

h) ( ) ( ) | | ( ) q p q q q p . .

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

a) ( ) ( ) | | T p q p q p v . v

10. Utilizando el lgebra lgica:

a) ( ) q p p q p que Demuestre . . :

b) ( ) ( ) | | T q q p q p que demuestre T q p Si v . v v : ,

c) ( ) ( ) | | ( ) p q p q q p mximo al e Simplifiqu . . v . :

d) ( ) | | { } ( ) q p q p q p que Demuestre . v :

e)





11. Demuestre que los esquemas ( ) ( ) r q p y r q p . v 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) ( ) ( ) | | V q r q p : v .

( ) | |
| |
( ) ( ) p q q p iii
q p q ii
p p q p i mximo al r Simplifica
.

v
)
)
) :
Gua # 1 Lgica



Patricia Llach Fernndez
b) ( ) ( ) | | ( ) { } F r p r p q p : v . .

c) ( ) ( ) | | ( ) | | { } V r q p r p q p : . . v

d) ( ) ( ) | | ( ) ( ) | | { } F r q q p r p q p : v . . v

e) ( ) | | ( ) ( ) | | { } . Re : sultado su Comente F r p q p r q p . v v .

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

( ) ( ) ( ) | | FALSA ser sulte q p r q q p Re v . .

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

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?

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

a) ( ) | | q p q p . v .

b) ( ) ( ) q p q p v

c) ( ) q q p v

d) ( ) | | q q p v

e) ( ) | | q p q p

f) ( ) ( ) | | p q p q p . v .

Gua # 1 Lgica



Patricia Llach Fernndez
g) ( ) ( ) | | q p q p v . .

17. Demuestre, usando lgebra lgica, las siguientes equivalencias entre esquemas.

a) ( ) | | ( ) p p q p p q . v

b) ( ) ( ) | | ( ) p p p q q p p v v v .

c) ( ) | | T p q p p v . v

d) ( ) ( ) | | p q p q p . v

e) ( ) ( ) | | q p q q p . v .

f) ( ) ( ) | | q p q p q p q . v . .

18. Demuestre que el valor de verdad de ( ) ( ) ( ) | | r q r p q p v . . es independiente del valor de
verdad de la proposicin r.