1.

Entre las siguientes afirmaciones halle las que son proposiciones e indique
cuales son verdaderas o falsas.
a) Simn Bolvar naci en 1783;
Respuesta: Es una proposicin, Es verdadera.
b) La Tierra es satlite de la Luna;
Respuesta: Es una proposicin, Es falsa.
c) 2 + ;
Respuesta: No es una proposicin.
d) 3 x 5 + 4 = 19;
Respuesta: Es una proposicin, Es verdadera.
e) 6 2 + 4;
Respuesta: Es una proposicin, Es verdadera.
f) Hay un nmero natural que es negativo;
Respuesta: Es una proposicin, Es falsa.
g) Existen diversas razas de perros;
Respuesta: Es una proposicin, Es verdadera.
h) Eloy Alfaro no impulso la educacin laica;
Respuesta: Es una proposicin, Es falsa.
i) Se fueron de viaje.
Respuesta: No es una proposicin.

2. Se dan dos proposiciones: p: << el nmero 3 es divisor de 174 >>y q: << llueve
>>. En qu consisten las proposiciones:
a) ~ p;R. El numero 3 NO es divisor de 174.(p v q);
R. El nmero 3 es divisor de 174 O llueve.
b) (p q);
R. El nmero 3 es divisor de 174 Y llueve.
c) p q;
R. Si el nmero 3 es divisor de 174, ENTONCES llueve.
d) ~ p q;
R. Si el numero 3 NO es divisor de 174, ENTONCES llueve.
e) p ~ q?
R. Si el nmero 3 es divisor de 174, ENTONCES NO llueve.

3. Determine el valor de verdad de cada una de las siguientes proposiciones:

a) Si 5 + 4 = 11, entonces 6 + 6 = 12;
Respuesta:F V= V
b) No es verdad que 3 +3 = 9 si y solo si 5 + 5 = 10;
Respuesta:~(F V) = ~(F) = V
c) No es verdad que 2 3 = 1 o que 3 + 4 = 7;
Respuesta:~(F V) = ~(F) = V
d) 6 + 4 = 10 y 9 4 = 5;

Respuesta:(V V) = V
e) 8/2 = 4 y 8 + 2 = 12;
Respuesta:(V F) = F
f) La sede del congreso est en Quito o est en Macas;
Respuesta:(V F) = V
g) Si 3 x 7 = 21, entonces 9 7 = 2;
Respuesta:(V V) = V
h) Si Roma esta en Italia, entonces Bogot est en Panam.
Respuesta:(V F) = F
4. Indique el valor de verdad de las siguientes proposiciones:
a) (8 > 3) v (2 6 < 3),
Respuesta:(V v V) = V
b) (3 < 7) (

< 10);

Respuesta:(V V) = V
c) (1 + 3 + 5 + 7 =

)(

Respuesta:(V V) = V
d) (

e) Respuesta:(F V) = F
5. Realice las tablas de verdad de las siguientes proposiciones compuestas.
a) *(p v q) ~ p+;
[(p

q)

p]

b) *(p v q) ~ (p q) r+ ~ q;
[(p

q)

(p

q)

r]

c) (r q) ~ *q r+;
(r

q)

[q

r]

d) ~ *r (p v r) ~ (p r)+ v *(p v q) ~p+;

~

[r

(p

r)

(p

r)]

[(p

q)

p]

e) *p (~ q v r) ~ (~ q r)+ *r ~ (p v q)+
[p

(~

r)

(~

r)]

[r

(p

q)]

6. Demuestre si las siguientes proposiciones son lgicamente equivalentes:

a) p v p con p*(p v p) p Idempotencia
*p p Condicionante
*(~p v p) Complemento
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.
b) ~ (p q) con (p ~ q) v (~ p v q) **~ (p q)+ *(p ~ q) v (~ p v q)+
*~ (p q) v (p q)+ *(p ~ q) v (~ p v q)+ Condicionante*
*(p ~ q) v (~ p v q)+ *(p ~ q) v (~ p v q)+
Condicionante
~ *(p ~ q) v (~ p v q)+ v *(p ~ q) v (~ p v q)+Asociativa
~
,*(p ~ q) v (~ p v q)+ ~ *(p ~ q) v (~ p v q)+-Complemento *~

{F}Complemento
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.
c) (p v ~ q) (~ r v p) p v *~ (q v r)+**(p v ~ q) (~ r v p)+ *p v *~ (q v
r)]] Condicionante
*,*(p v ~ q) (~ r v p)+ *p v *~ (q v r)++- ,*p v *~ (q v r)++ *p v ~ q) (~ r
v p)]} Condicionante
*,~ *(p v ~ q) (~ r v p)+ v*p v *~ (q v r)++- ,~*p v *~ (q v r)++ v *p v ~ q) (~ r
v p)]} Morgan
*{[~(p v ~ q) v(~ r v p)] v[p v(~(q v r)} v {~[p v ~(q v r)] v ~ [(p v ~ q) v (~ r v
p)]} Destruccin de Parntesis
*~(p v ~ q) v~ r v p vp v~(q v r)v ~[p v ~(q v r)] v ~ [(p v ~ q) v ~ r v p]Morgan
*~ rvp v ~p q vp v~q~ rv~p~q~ rv~ p q~ rv pAsociativa *(~ r v ~ r)
(p v ~p) (q v ~q) v (p v ~p) (~ r~ r) v (~q q) (~ p v p) Complemento
*~ r (V) (V) v (V) ~ r v ~(V) ~(F) Complemento/ Identidad/
Asociativa
*(~r ~ r) (V) (V) v (V) v (F) (V)Idempotencia
*~ r (V) (V) v (V) v (F ) (V) Identidad
*~ r v (V) v (F ) (V)
Absorcin
*~(r F) v (F ) (V)
Identidad/Complemento
*V v (F ) (V)
Disyuncin
*(V) (V)
Conjuncin
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.
7. Verifique, mediante una tabla de verdad, que las siguientes proposiciones son
contradicciones:
a) (p q) ~ (p v q)
(p

q)

(p

q)

Respuesta: Por lo tanto se verifica que es una Contradiccin.

b) ~ [p v (~ p v ~ q)]

[p

(~

q)]

Respuesta: Por lo tanto se verifica que es una Contradiccin.

8. La proposicin (p v ~ q) ~ p es falsa. Seale el valor de verdad de las siguientes

proposiciones:
a) (~ p q) p
(~

q)

Respuesta: La proposicin es verdadera, pero cuando el primer valor sea

Verdadero y el segundo Falso, esta ser Falsa.
b) ~ (p q) p
~

(p

q)

Respuesta: La proposicin es verdadera, pero cuando el primer valor sea

Verdadero y el segundo Falso, esta ser Falsa.

c) ~ p (q p)
~

(q

p)

Respuesta: La proposicin es falsa, pero cuando el primer valor sea Verdadero y

el segundo Verdadero, esta ser Verdadera.
9. Para qu valores de p, q y r la siguiente proposicin es verdadera?
(~ p ~ q) *~ (p v q) ~ r+
(~

q)

[~

(p

q)

r]

Respuesta: Son verdaderas: cuando p es verdadero y q y r toman cualquier

valor y cuando p, q y r son las tres falsas a la vez.
10. Sean s: <<Voy al trabajo>>y t: <<Camino 30 cuadras>>. Suponiendo que t es falsa
y s es verdadera, seale el valor de verdad de las siguientes proposiciones:
a) No voy al trabajo o no camino 30 cuadras;~ (s t)
~ (V F)
~ (F)

Respuesta:V; La proposicin es Verdadera.

b) Voy al trabajo o no camino 30 cuadras;(s) v ~ (t)
(V) v ~ (F)

Respuesta:V; La proposicin es Verdadera.

c) Camino 30 cuadras si voy al trabajo;(s t)
(V F)
Respuesta: F, La proposicin es Falsa.
d) Si voy al trabajo camino 30 cuadras.(s t)
(V F)
Respuesta: F, La proposicin es Falsa.

11. La proposicin <<Luis juega, ya que Marco duerme y Ana estudia>> es falsa.
Determine la verdad o falsedad de las siguientes proposiciones:
a) Si Luis juega, Marco duerme;(p q)
VV
Respuesta: V; La proposicin es Verdadera.
b) Ana estudia y Marco no duerme;(r ~ q)
VF
Respuesta: F, La proposicin es Falsa.
c) Ana no estudia y Marco no duerme;~(r q)
~ (F V)
Respuesta: V; La proposicin es Verdadera.
d) Marco duerme, cuando Luis juega o Ana estudia.(p v r) q

(V v V) V
Respuesta: V; La proposicin es Verdadera.
12. Indique cuales de las proposiciones son equivalentes:
a) ~ *(~ p v q) v (q (~ p v r))+;
~

[(~

q)

(q

(~

r))]

Respuesta: La proposicin es Equivalente.

b) (p ~ q) *~ q v (~ r v p)+;
(p

q)

[~

(~

p)]

Respuesta: La proposicin es Equivalente.

c) ~ (~ q ~ p) *q ~ (p r)+
~

(~

p)

[q

(p

r)]

Respuesta: La proposicin es Equivalente.

13. Simplifique las siguientes proposiciones compuestas:
a) (~ p ~ p) v ~ q ~ (p q) Idempotencia
*~ p v ~ q ~ (p q)
Asociativa
*~ (p q) ~ (p q)
Condicionante
* *~ (p q) ~ (p q)+ *~ (p q) ~ (p q)+Condicionante* *~(~ (p
q)) v ~ (p q)+ *~(~ (p q)) v ~ (p q)+
Morgan
* [ (p
q) v ~ (p q)+ * (p q) v ~ (p q)+
Morgan
*
* (p q) v ~ p v ~ q+ * (p q) v ~ p v ~ q+
Absorcin
* ~ {[(~p v~q)v ~ p v ~ q] v [(~p v~q)v ~ p v ~ q]} Destruccin de Parntesis
*~{~p v ~q v ~ p v ~ q v ~p v ~q v ~ p v ~ q}Asociativa *~{(~p v ~ p) v(~q v ~
q) v (~p v ~p) v (~ q v ~ q)}Idempotencia*~{(~p v ~ q) v (~p v ~ q)}
Idempotencia
Respuesta : ~p v ~ q.
b) p *(p v q) (p q)+
Conmutativa*p

*(p

*p ,*p *q (p v q)+*p ,*p *q (q v p)+Condicionante

Morgan

q)

(p

q)]Asociativa
Conmutativa
Absorcin*p (p q)
**~ p v(p q)+ *~(p q) v p+
**~ p v(p q)+ *~p v ~ q v p+

Conmutativa
Complemento
Identidad
Identidad
Distributiva**(~ p vp) (~ p vq)+
**(V) (~ p vq)+
Respuesta: ~ p v q

**~ p v(p q)+ *(~p v p) v ~ q+

**~ p v(p q)+ *(V) v ~ q+
**~ p v(p q)+ (V)
**~ p v(p q)+
Complemento
Identidad

c) ,~ *~ p (~ p v q)+- v ~ p (p r) Condicionante
*,~ *p v (~ p v q)+- v ~ p (~p v r)
Asociativa
*,~ *(p v ~ p) v q)+- v ~ p (~p v r) Complemento
*,~ *(V) v q)+- v ~ p (~p v r)
Identidad
*~ *V+ v ~ p (~p v r)
Identidad**(F) v ~ p+ (~p v r)
Identidad*~ p (~p v r)
Condicionante
* p v (~p v r)
Asociativa
* (p v ~p) v r
Complemento
* (V) v r
Identidad
Respuesta: V, Es una Tautologa.

d) *(p ~ q) (p q)+ v ,(p ~ p) v *((p q) r) v (q v r)+-Asociativa

**(p p) (~ q q)+ v ,(p ~ p) v *~ ((~p v ~ q) v ~ r) v (q v r)+-**p (F)+ v
{(V) v [~ ((~p v ~ q) v ~ r) v (q v r)]} Complemento
* (F) v {(V)
v [~ ((~p v ~ q) v ~ r) v (q v r)]} Destruccin de Parntesis* (F) v (V) v p q
rvqvr
Disyuncin
*(V) v p q
r v q v r
Asociativa
*(V) v p (q v q) (r v r)
Conmutativa/ Idempotencia
*(V) v p q r
Complemento
Respuesta: p q r
e) *~(p q) ~ q+ *q v (q ~ p)+ ~ *q (q ~ p)+Condicionante
**~ (~p v q) ~ q+ *q v (~q v ~ p)+ ~ *q (~q v ~ p)+ Morgan/ Aso. *[p
(~ q ~ q)+ *(q v ~q) v ~ p)+ ~ *(q ~q) v ~ p)+ Complemento **p ~
q+ *(V) v ~ p)+ ~ *(F) v ~ p)+
Identidad
*[p
~ q+ (V) (~ p)
Identidad
**p ~ q+ (~ p)
Condicionante
*,*p ~ q+ (~ p)- ,(~ p) *p ~ q+ Condicionante
*,~(p ~ q) v (~ p)- ,~(~ p) v (p ~ q)Morgan
*,~p v q) v (~ p)- ,p v (p ~ q)Asociativa
*, q v (~p v ~ p)- ,(p p) v~ q)}
Idempotencia

*(q v ~ p) (p v~ q)
(p v ~ p)
Conjuncin Respuesta: V, Es Tautologa.
f)

Asociativa*(q v ~ q)
Complemento*(V) (V)

*~ (p q) ~ (~ q v p)+ v *~ (q p) v ~ p+Condicionante
**~ (~p v q) ~ (~ q v p)+ v *~ (~q v p) v ~ p]
Morgan
**p ~ q q ~p)+ v *(q ~ p) v ~ p+
Asociativa
**(p ~ p) (q ~q)+ v *(q ~ p) v ~ p+ Idempotencia/Complemento
**(F) (F)+ v *(q ~ p) v ~ p+Conjuncin
*(F) v *(q
~ p) v ~ p]Complemento
Respuesta: (q v ~ p) ~ p

14. Si p, q, y r son proposiciones. Escriba las negaciones de las siguientes

proposiciones:
a) p q;
Respuesta: ~ p v ~ q.
b) (p v q) r;
Respuesta: (~ p ~ q) v ~ r.
c) (p q) r;
Respuesta: (~ p v ~ q) v ~ r.
d) (p q) p;
~ (p q) v p;
Respuesta: (p q) ~ p.
e) *(~ p v ~ q) q+ (~ p);
~ [(~ p
v ~ q) q+ v (~ p);
Respuesta: (p q) v ~ q+ p.
f) (p v q) r;
~ (p v q) v r;

Respuesta: (p v q) ~ r.
15. Demuestre, justificando cada paso, que:
a) p v (p q) p
*(p v p) q pIdempotencia
*(p q) p
**(p q) p+ *p (p q)+
* *~ (p q) v p+ *~ p v (p q)+
* *~ p v ~ q v p+ *~ p v (p q)+
* *(~ p v p) v ~ q+ *~ p v (p q)+
* *(V) v ~ q+ *~ p v (p q)+
* (V) *~ p v (p q)+

Asociativa
Condicionante
Condicionante
Morgan
Asociativa
Complemento
Complemento
Complemento

Respuesta: ~ p v (p q)
b) *(p q) r+ *p (q r)+
Condicionante
**~ (p q) v r+ *~p v (~q v r)+
Condicionante
**~ p v ~ q v r+ *~p v ~q v r+
Condicionante
*,*~ p v ~ q v r+ *~p v ~q v r+- ,*~p v ~q v r+ *~p v ~q v r+- Cond.
* ,~ *~ p v ~ q v r+ v *~p v ~q v r+- ,~ *~p v ~q v r+ v *~p v ~q v r+* (V)
(V)
Complemento
Respuesta:V, Es Tautologa.
c) *(p q) r+ *(p q) (p r)]
Condicionante
**~ (p q) v r+ *(~ p v q) (~ p v r)+
Condicionante
**~ (p q) v r+ *~ (~ p v q) v (~ p v r)+
Morgan
**~ p v~ q v r+ *(p ~ q) v (~ p v r)]
Condicionante
* ,*~ p v ~ q v r+ *(p ~ q) v (~ p v r)+- ,*(p ~ q) v (~ p v r)+ *~ p v ~ q v
r]}
Condicionante
* {~ [~ p v ~ q v r+ v *(p ~ q) v (~ p v r)+- ,~ *(p ~ q) v (~ p v r)+v*~ p v ~ q v
r]}
Morgan
* ,*p q ~ r+ v *(p ~ q) v (~ p v r)+- ,*(~p v q) (p ~ r)+ v *~ p v ~ q v r+Asociativa
* ,*p q ~ r+ v *(p v~ p) (~ q v r)+- ,*(~p v p) (q ~ r)+ v *~ p v ~ q v r+Complemento
* ,*p q ~ r+ v *(V) (~ q v r)+- ,*(V) (q ~ r)+ v
[~ p v ~ q v r]}
* ,*p q ~ r+ v *(~ q v r)+- ,*(q ~ r)+ v *~ p v ~ q v r+-

d) p (p q) q
*p (~p v q) q
*p ~ (~p v q) v q
*p p ~ q v q
*(p p) (~ q v q)
*p (V)

Condicionante
Condicionante
Morgan
Asociativa
Idempotencia/ Complemento
Identidad

Respuesta: p

16. Sean p y q proposiciones. Determine en cada uno de los siguientes casos si q es

verdadera.
a) v(p) = V y v(p q) = V;

b) v*(~q) (p ~p) = V;

c) v(p q) = Fyv(p) = V;
d) v(q (~p) = Fyv(p) = V

17. Sea r ~ (~ p q) q. Encuentre el valor de verdad de r cuando:

a) v(p) = Fy v(q) = V

b) v(p) = Vy v(q) = F

18. Determine en qu casos es verdadera la proposicin: ~ *(p q) v r+ p,

sabiendo que r es la proposicin <<2 es un nmero impar>>.

19. Sean p, q, r proposiciones y supongamos que p es falsa, q falsa y r verdadera.

Culesde las siguientes proposiciones son verdaderas?

a) (p q) r; * (F F) V
*(F) V
Respuesta: V; La proposicin es Verdadera.
b) (~ q) (~ r);
* (~F) (~V)* (V) (F)
Respuesta: F, La proposicin es Falsa.
c) *p v (~ q)+ (q r);
* *F v (~F)+ (F V)* *F v (V)+ (F V)
* *V+ (F)
Respuesta: F, La proposicin es Falsa.
d) (~ p v r) (q v r);
* (~F v V) (F v V)* (V v V) (V)* (V) (V)
Respuesta: V; La proposicin es Verdadera.
20. Si q es la proposicin <<2 + 1 = 3>>, Para qu valores de p y r la siguiente
proposicin es falsa?
(p ~ q) ,*(~ r ~q) v p+ ~ *(~ r ~ q) ~p+(p

q)

{[(~

q)

p]

[(~

q)

p]}

V F

F F

V F

F V

V F

F F

V F

F V

Respuesta: La proposicin es Falsa, cuando p es Verdadera y r es Falsa.