a) b)

p q p^q
V V
V F
F V
F F
p q pvq
V V V V
F V F V
F F V V
F F F F

a) b)
p q r (q v r) (p^(q v r)) p q r (q ^ r) (pv(q ^ r))
V F V V V F V V V V

c) d)
p q r (p^(¬r)) ¬qv(p^(¬r)) p q r (q v r) (pv(qvr))
V V F V V V V F V V

e) f)
p q r (¬q v r) (¬p^(¬qvr)) p q r (q^r) (¬p^(q^r))
F F V V V V V V V F

g)
p q r (p v q) ¬(pvq)^(¬r)
F F F F V

a)
d) e)
p p pvp
¬ (p ^ q) ‫¬( ؠـ‬p) v (¬q) p ^ (q v r) (p ^ q) v (p ^ r)
V V V
F V V V F F F V V V V V V V V V V V V
F F F
V V F F F V V V V V V F V V V V V F F
b)
V F F V V V F V V F V V V F F V V V V
p v q ‫ ؠـ‬q v p
V F F F V V V V F F F F V F F F V F F
V V V V V V
V V F F V V F F V V V F F V F F F V
¬ (p v q) ‫¬( ؠـ‬p) ^ (¬q) F F V V F F F V F F F F
F V V V V F
F V V V F F F F F F V V F F F F F F V
F F F F F F
F V V F F F V F F F F F F F F F F F F
c) F F V V V F F
(p v q) v r ‫ ؠـ‬p v (q v r) V F F F V V V p v (q ^ r) (p v q) ^ (p v r)
V V V V V V V V V V V V V V V V V V V V V V
V V V V F V V V V F V V V F F V V V V V V F
V V F V V V V F V V V V F F V V V F V V V V
V V F V F V V F F F V V F F F V V F V V V F
F V V V V F V V V V F V V V V F V V V F V V
F V V V F F V V V F F F V F F F V V F F F F
F F F V V F V F V V F F F F V F F F F F V V
F F F F F F F F F F F F F F F F F F F F F F
 b)
a) p: Llueve cada dia de la semana
q: Los cultivos mejoran
p ֜ q
‫ݍ ֜݌‬ V V V
V F F
F V V
F V F

a) d) f)
p ֜ [(¬p) v p] [(p ֜ q) ֜ r] ֜ [p ֜ (q ֜ r)]
[(¬p) v q] ֜ p
V V F V V V V V V V V V V V V V
F V V V F
F V V V V V V V F F V V F V F F
F F F V V V F F V V V V V F V V
b) V F F V F V V V F V F
V V V F F
q ֜ p F V V V V V F V V V V
V V V V V F F F F V V F F V F V V F F
F F V F V F V V V F V F V V
V V F e) F V F F F V F V F V F
F V F [(¬p) ^ q] ֜ (¬p)
c) F F V V F g)
¬P ֜ q F F F V F [(p ^ q) ֜ r] ֜ [p ֜ (q v r)]
F V V V V V V V V V V V V V V V V V V
F V F V F F V V V V V F F V V V V V F
V F F V V V V V F V V
V V V
V F F V F F V F F F F
V F F F F V V V V F V V V V
F F V V F V F V V V F
F F F V V V F V F V V
F F F V F V F V F F F

a) c) Distributivas
¬(p ==>q) ‫ ؠـ‬p^(¬q) i.
¬(¬p v q) ‫ ؠـ‬p^(¬q) Condicional p==>(q v r) ‫ؠـ‬ (p==>q) v (p==>r)
p ^ ¬(q) ‫ ؠـ‬p^(¬q) De Morgan p==>(q v r) ‫ؠـ‬ (¬p v q) v (¬p v r) Condicional
p==>(q v r) ‫ؠـ‬ (¬p) v (q v r) Distributiva
b) p==>(q v r) ‫ؠـ‬ p ==> (q v r) Condicional
p==>q ‫¬( ؠـ‬q)==>(¬p) ii.
(¬p v q) p==>(q^r) ‫ؠـ‬ (p==>q) ^ (p==>r)
‫¬( ؠـ‬q)==>(¬p) Condicional
p==>(q^r) ‫ؠـ‬ (¬p v q) ^ (¬p v r) Condicional
(q v ¬p) ‫¬( ؠـ‬q)==>(¬p) Conmutativa
p==>(q^r) ‫ؠـ‬ (¬p) v (q ^ r) Distributiva
(¬q)==>(¬p) ‫¬( ؠـ‬q)==>(¬p) Condicional
p==>(q^r) ‫ؠـ‬ p ==> (q ^ r) Condicional
a) b)
[¬(¬p v ¬q)] ^ (p ^ q)
(¬q)==>p
[¬¬(p ^q)]^(p ^ q) De Morgan
(p ^ q) ^ (p ^ q) Involutiva ¬(¬p) v p Condicional
p^q Idempotencia qvp Involutiva
c) d)
[¬(p ==> ¬p)] ^q (p <==> q ==> p
[¬(¬q v ¬p)] ^q Condicional
[(p==>q) ^ (q==>p)]==>p Bicondicional
(q ^ p) ^ q De Morgan e Involutiva
(p ^ q) ^ q Conmutativa
¬[(¬p v q) ^ (¬q v p)] v p Condiconal
p ^ (q ^ q) Asociativa [¬(¬p v q) v ¬(¬q v p)] v p De Morgan
p^q Idempotencia [(p ^¬p) v (q^¬p)[ v p De Morgan

24.-

a) F b) V c) F d) F
e) V f) V g) F h) V

a) E= {1,2,3,4,5,6,7,8,9,10}
p1(1) 1 ߳E ͳଶ ‫ܧ א‬ V
p1(2) ʹ ‫ܧא‬ ʹ ଶ‫ܧ א‬ V
b)
p1(3) ͵ ‫ܧא‬ ͵ଶ‫ܧ א‬ V
p3(x): š ‫ ܧ א‬/10 ≥ x+3 ≥6
p1(4) Ͷ‫ܧ א‬ Ͷଶ ‫ܧ א‬ F Ͷଶ ‫ܧ ב‬
p1(5) ͷ‫ܧ א‬ ͷଶ ‫ܧ א‬ F ͷଶ ‫ܧ ב‬ ¬p3(x): š ‫ܧ א‬ / 10 < x+3 v x+3<6
p1(6) ͸‫ܧ א‬ ͸ଶ ‫ܧ א‬ F ͸ଶ ‫ܧ ב‬ 7<x v 3>x
p1(7) ͹‫ܧ א‬ ͹ଶ ‫ܧ א‬ F ͹ଶ ‫ܧ ב‬
p1(8) ͺ ‫ܧא‬ ͺଶ‫ܧ א‬ F ͺଶ‫ܧ ב‬ [1 3) (7 10]
p1(9) ͻ‫ܧא‬ ͻଶ ‫ܧ א‬ F ͻଶ ‫ܧ ב‬
p1(10) ͳͲ‫ܧ א‬ ͳͲଶ ‫ܧ א‬ F ͳͲଶ ‫ܧ ב‬ S={1,2,8,9,10}
 d)
Tabulación
A1={x ‫א‬ E|p1(x)} A1={1,2,3}
A2={x ‫א‬ E|p2(x)} A2={1,2,3} (x≤3)
c) p4(x): š ‫ ܧ א‬/ x es primo
A3={x ‫א‬ E|p3(x)} A3={3,4,5,6,7} (7≥x≥3)
p3 ^ p4 es V (verdad) ‫א‬
A4={x E|p4(x)} A4={2,3,5,7} (x es primo)
S3={3,4,5,6,7} A5={x ‫א‬ E|p5(x)} A5={2,4,6,8,10} (x es par)
S4={2,3,5,7} A6={x ‫א‬ E|p6(x)} A5={3,8} ‫ݔ‬൅ ͳ ‫ܧ א‬
S={3,5,7} A7={x ‫א‬ E|p7(x)} A6={1,3,5,7,9} (x es impar)

a) A={1,2,4,5} b) A={1,4,9,16,25}
p(x):x ‫ א‬E tal que ‫ݔ‬ଶ ൅ ͳ ‫ܧ א‬ p(x):x ‫ א‬E tal que ‫ݔ‬൅ ͳ ‫ܧ א‬
c) A=(4,5) d) A={1,4,16,25}
p(x):x ‫ א‬E tal que ‫ݔ‬൅ ͷ ‫ܧ א‬ p(x):x ‫ א‬E tal que ‫ܧ אݔ‬
e) A={2,4,5,9,10}
p(x):x ‫ א‬E tal que ͳǡͷ ൑ ‫ ݔ‬൏ ͳͳ
f) A={1,5,9,17,25} g) A={2,5,17}
ʹ ൅ ͳǡ…‘ ‫ א‬Ժ
p(x):x ‫ א‬E tal que š ൌ p(x):x ‫ א‬E tal que š ݁‫݋ ݉݅ݎ݌ݏ‬

a) A={1,3,5} B={3,5} b) A={1,4,9,16} B={1,4,9,16,25,36}

‫ܤ אݔ׊‬ǡ‫ ܣ אݕ׌‬ȁ‫ݕ‬ൌ ‫ ݔ‬VERDAD ‫ܤ אݔ׊‬ǡ‫ ܣ אݕ׌‬ȁ‫ݕ‬ൌ ‫ ݔ‬FALSO
‫ܣ אݕ׊‬ǡ‫ ܣ אݔ׌‬ȁ‫ݔ‬ൌ ‫ ݕ‬FALSO ‫ܣ אݕ׊‬ǡ‫ ܣ אݔ׌‬ȁ‫ݔ‬ൌ ‫ ݕ‬VERDAD
‫ܤ ف ܣ ̰ܣ ؿ ܤ ׵‬ ‫ܣ ف ܤ ̰ܤ ؿ ܣ ׵‬
c) A={a,b,c,d} B={a,b,c,d} d) A={11,13,17,19,23,29}
B={11,17,19,23}
‫ܤ אݔ׊‬ǡ‫ ܣ אݕ׌‬ȁ‫ݕ‬ൌ ‫ ݔ‬VERDAD ‫ܤ אݔ׊‬ǡ‫ ܣ אݕ׌‬ȁ‫ݕ‬ൌ ‫ ݔ‬VERDAD
‫ܣ אݕ׊‬ǡ‫ ܣ אݔ׌‬ȁ‫ݔ‬ൌ ‫ ݕ‬VERDAD ‫ܣ אݕ׊‬ǡ‫ ܣ אݔ׌‬ȁ‫ݔ‬ൌ ‫ ݕ‬FALSO
‫ܣ ؿ ܤ ̰ܤ ؿ ܣ ׵‬ ‫ܤ ف ܣ ̰ܣ ؿ ܤ ׵‬

a) M={{1}} b) M={1,{1}}
‫݌‬ெ ൌ ሼ‫׎‬ǡ ͳ ሽ ‫݌‬ெ ൌ ሼͳǡሼͳሽሽሽ
ሼǢͳ Ǣሼͳ ሽǢ

c) M={Ǿ,{1}}
‫݌‬ெ ൌ ሼ‫׎‬Ǣሼ‫׎‬ሽǢሼͳሽǢ
‫ܯ‬ሽ
a) A U B = {a,b} b) A U B = {4,5,8,15,16} c) A U B = {1,2,6,7,11,16,21,22}

d) A U B = {a,b,c,d,e}