You are on page 1of 5

Guía # 1 Lógica

Patricia Llach Fernández
1. Demuestre, utilizando propiedades de lógica, si las siguientes proposiciones
son Tautológicas, 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 número 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 ¬


Guía # 1 Lógica



Patricia Llach Fernández
4. Determinar el valor de verdad de p y r, para que junto con la proposición q que es verdadera,
haga, que la proposición:

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

5. Si p representa una proposición 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 proposición falsa. Determinar el valor de verdad de la expresión:

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

7. Reduzca usando propiedades de lógica 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 través de una tabla de verdad determine si los esquemas son Tautología, Contradicción 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 . ¬ . ¬ ¬

Guía # 1 Lógica



Patricia Llach Fernández
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 lógica, que:

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

10. Utilizando el álgebra lógica:

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 máximo 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 lógicamente 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 máximo al r Simplifica
¬ . ¬
¬ ·
¬ ¬ v
)
)
) :
Guía # 1 Lógica



Patricia Llach Fernández
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 proposición 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 mañana 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
mañana a la playa, entonces partiremos mañana 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
declaración?

16. Usando el álgebra lógica, obtenga un esquema equivalente más 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 . ¬

Guía # 1 Lógica



Patricia Llach Fernández
g) ( ) ( ) | | q p q p v . .

17. Demuestre, usando álgebra lógica, 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 proposición r.



Determinar el valor de verdad de p y r. Si p representa una proposición verdadera. Reduzca usando propiedades de lógica 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. que la proposición: a)  p  q  q  r   p  q Sea Falsa 5. haga.Guía # 1 Lógica 4. Si es posible determinar el valor de verdad de q. A través de una tabla de verdad determine si los esquemas son Tautología. Determinar el valor de verdad de la expresión: a)  p  q  r  q  p r  p  q  7. Si p es una proposición falsa. para que junto con la proposición q que es verdadera. Contradicción o Contingencia. de modo que: a)  p  q    p  q   F  Sea Verdadera 6. a) p  q   p  q   p  q b) q  p  q  q  q  p            c)  p  q    p  r   q  r  Patricia Llach Fernández .

a)    p  q  r  q: V Patricia Llach Fernández .Guía # 1 Lógica d)  p  q  q  q   p  q    p  q  q  p e) a  b  c   a  b  c   b  c   a f) g) a  b  a  b  b h)     p  q  q  q   p  q 9. usando álgebra lógica. demuestre. Si se sabe que p  q  C . Determine el valor de verdad de p. Utilizando el álgebra lógica: a) Demuestre que : p  q  p  p  q b) Si p  q  T . que: a)  p  q  p  q p  T   10. Demuestre que los esquemas p  q  r  y p  q  r son lógicamente equivalentes. demuestre que :  p  q   p  q  q  T c) Simplifiqu e al máximo :  p  q   q  p  q  p  d) Demuestre que : p  q  p   q   p  q  e) Simplifica r al máximo : i ) p  q  p  p           ii ) q  p  q  iii )  p  q   q  p    11. sabiendo que el valor de verdad del esquema propuesto es el que se indica. 12. q y r en cada uno de los siguientes casos.

La primera fue: “Si el jefe no se retira temprano. Un funcionario bancario hizo tres declaraciones sucesivas. Si se supo que sus dos primeras afirmaciones son Falsas. entonces partiremos mañana a la playa o llegaré temprano a la casa”. Por último declaró: “Si el jefe se retira temprano y partiremos mañana a la playa.Guía # 1 Lógica b) c) d) e)  p  q   p  r    p  r : F  p  q   p  r    p  q  r : V  p  q   p  r    p  q  q  r : F  p  q  r    p  q   p  r : F Comente su Re sultado. obtenga un esquema equivalente más 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    Patricia Llach Fernández . de v. 13. hoy llegaré tarde a casa y partiremos mañana a la playa”. Demuestre que si q tiene v. Usando el álgebra lógica. q y r de las cuales se sabe que p  q es Verdadero y que q  r es FALSO. Luego dijo: “El jefe se retirará temprano o llegaré temprano a casa”. entonces la proposición compuesta: p  q  q  r   p  q Re sulte serFALSA 14. F. Determine el valor veritativo del esquema r  p   r  p  15. Considere tres proposiciones p. ¿Qué valor de verdad tiene su última declaración? 16.

Demuestre.                      Patricia Llach Fernández . usando álgebra lógica. 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. las siguientes equivalencias entre esquemas. Demuestre que el valor de verdad de p  q   p  r   q  r es independiente del valor de verdad de la proposición r.Guía # 1 Lógica g)  p  q  p  q      17.