Universidad de Valparaiso

Ingeniera Ambiental
Matemtica I
Gua de Trabajo No 1
Lgica
Prof. Juan Carlos Morgado.
1. Para que valores de p y q la siguiente proposicin es falsa?
p =) (q _ p)

Solucin: p = F

q=F

2. Determine el valor de la proposicin [(p ^ q) _ (p ^ r)] =) [q _ (p =) r)] sabiendo que p =) (q _ s)

es falsa.
Solucin: Verdadera
3. Determinar el valor de verdad de [(p =) q) =) r] =) [(r =) p) =) (s =) p)] sabiendo que "r" es
una proposicin verdadera y "s" una proposicin falsa
Solucin: Verdadera
4. Sean p,q proposiciones, tal que p =) q es una proposicin falsa.Determine el valor de verdad de la
proposicin (p _ q) ^ (q ^ p)
Solucin: Falso

5. Sean p; q; r proposiciones. Encontrar el valor de verdad de las siguientes proposiciones:

(a) (p =) q) ^ (p _ q) sabiendo que p es verdadera y q es falsa

(b) (q () r) =) [p ^ q ^ r] sabiendo que p es verdadera , q es verdadera y r es falsa

Solucin: (a). F (b). V
6. Sea p; q; r proposiciones, tales que p es Verdadera, q es falsa y r una proposicin cualquiera. Determinar
el valor de verdad de las siguientes proposiciones
(a) (p =) q) ^ (p _ q)

(b) (p =) r) () (q _ r)

(c) (p =) r) () (q =) p)
Solucin: (a) F (b) V (c) depende de r

7. Sean p; q; r; s proposiciones. Se sabe que "s" es verdadera y que s =) [(p =) q) ^ (p =) r)] es verdadera.
Probar que q _ r es verdadera
8. hDetermine el valori de verdad de las proposiciones p; q; r; s sabiendo que la proposicin [s =) (r _ r)] =)
(p =) q) ^ s ^ r es verdadera.
Solucin:p = V

q=F

r=F

s=V

9. Si la siguiente proposicin (q ^ p) =) (r _ s) es falsa, determine el valor de verdad de las siguientes

proposiciones
i
h
(a) (r =) s) ^ (p _ r) () [r Y (q ^ p)]
(b) [(s ^ q) () q] =) [(r Y p) Y q]
Solucin: (a) V (b) F

10. Realice la tabla de verdad para las siguientes proposiciones

h
i
(a) (p Y p) () (p _ q) ^ p
(b) (p () q) () [(p () q) () (q Y (q ^ p))]
(c) [p =) (q Y p)] ^ [(q () p) =) (p =) q)]

(d) [p ^ (q =) p)] ^ [p =) (p Y q)]

(e) [p =) (q ^ r)] _ (q () p)
(f) [p =) (q ^ r)] _ (q _ r)

(g) (q Y (q ^ p)) Y (r =) p)
h
i
(h) (p _ q) ^ p ^ (p ^ r ^ q)

(i) [p =) (q Y r)] ^ [r =) (q Y r)]

h
i
(j) (p ^ q) =) (p _ q) ^ (p ^ q)

(k) (p () q) () (p () q)
(l) (p ^ q) () (q Y (q ^ p))

(m) [p =) (q Y p)] ^ [p =) (p Y q)]

(n) [p ^ (q =) p)] ^ [(q () p) =) (p =) q)]

h
i
(o) (r =) s) ^ (s _ r) =) [r Y (s ^ t)]
(p) [(p =) s) _ t] =) [(p =) (t =) s))]

11. Sea p, q, r proposiciones. Determine si las siguientes proposiciones son tautologas, contradiccin o
contingencia
(a) p =) (q ^ p)

(b) [p ^ (q _ r)] =) [(p ^ q) _ r]

(c) [(p =) r) ^ (r =) p)] =) [q () r]

h
i h
i
(d) r =) (p ^ q) _ p =) (r _ p)
(e) [p =) (q ^ r ^ s)] Y [(q ^ p) () r]

(f) f[(p =) (q =) u)) _ (s =) p)] _ ug =) [(s _ u) =) (s _ u)]

(g) [(p =) q) ^ s] () [(p ^ s) _ (q ^ s)]

(h) r =) [(r _ p) ^ (p =) (q ^ r))]

12. Considere el conectivo lgico
p
V
V
F
F

q
V
F
V
F

, denido por la siguiente tabla de verdad:

p*q
F
V
V
V

Determine si la siguiente proposicin es una tautologa

[(p =) q) _ q] () [(p ^ q) q]

Solucin: Es tautologa

13. El conectivo # es la conjuncin negativa; p # q se lee "ni p ni q"

(a) Construir la tabla de verdad para p # q

(b) Demuestre las siguientes igualdades

i. p p # p
ii. p ^ q (p # p) # (q # q)
iii. p _ q (p # q) # (p # q)
14. Demuestre sin tabla de verdad que las siguientes proposiciones son una tautologa
(a) p =) (p _ q)

(b) (p =) r) =) [(p ^ q) =) r]

(c) [(p () q) ^ (q () r)] =) (p () r)

(d) [(p =) q) ^ (r =) q)] =) (p =) r)

(e) [p =) (q =) r)] =) [(p =) q) =) (p =) r)]

(f) (p =) q) =) [(p ^ r) =) (q ^ r)]

(g) [(p =) q) ^ (r =) s)] =) [(p ^ r) =) (q ^ s)]

(h) (p ^ q) () [f[p ^ (q _ r)] _ [p _ (q ^ r)]g ^ f(p ^ q) ^ [r _ (r ^ q) _ p]g]

15. Simplique las siguientes proposiciones
(a) p _ q ^ p

(b) [p _ (q () p)] =) q

(c) f[(p ^ q) =) r] ^ [(r _ s) ^ s]g =) (p ^ q)

(d) (p =) q) _ [p ^ (q _ r)]

(e) [(p =) q) ^ (q =) p)] =) p

(f) [(p =) q) ^ (r _ q) ^ r] =) p

(g) [(p =) q) =) q] =) (p _ q)
h
i
(h) (p =) q) ^ (p ^ q) _ [s =) (p _ s)]

(i) (p =) r) =) [(p =) r) =) (p _ (q =) r))]

(j) [((p ^ r) =) (q ^ r)) ^ (p _ q)] _ [r =) (q _ p)]

(k) [p ^ s] =) [p _ (p ^ s ^ t ^ r)]
h
i
(l) (p _ r) ^ r _ [q _ (p ^ q)]

(m) [(p =) q) _ r] =) (q =) p)

(n) [(p =) q) ^ (t =) n)] =) [(p ^ t) ^ (q =) n)]

(o) [(p =) q) ^ (p _ q)] ^ p

h
i h
i
(p) (p =) q) =) q ^ q =) (p _ q)

16. Exprese (p ^ q) _ (r _ t) utilizando slo los conectivos ""y " =) "

17. Se dene el conectivo (p
las siguientes:

q) () p _ q: Escriba usando el conectivo

, proposiciones equivalentes a

(a) p
(b) p _ q
(c) p ^ q

18. Si p ^ q ^ r F: Demuestre que la proposicin ms simplicada de [(p _ q) ^ (q _ r)] =) (r ^ p) es la

proposicin p _ q _ r
19. Dada la siguiente proposicin (p

q) () (p =) q) : Simplique las siguientes proposiciones

3

(a) (p
(b) q
20. Si p
21. Sea p

q)
(p

p
q)

q () [(p =) q) ^ p] Simplique la siguiente proposicin: [p =) (p

q () p ^ q

(a) Determine si p

h
q () (q

(b) Simplique al mximo (p

p) ^ q

q) =) [(p _ q)

q)] ^ (p

q)

p]

22. Escriba las siguientes proposiciones lgicas, de manera equivalente, slo utilizando los conectivos de la
implicacin y la negacin:
(a) p _ q

(b) [(p ^ q) =) r] () (r ^ q)
(c) (p ^ q) ^ (p _ r)