4.

5.
6. EQUIVALENCIAS LOGICAS Y VALORES DE VERDAD
7.
: p : q : r p q p
1. Al aplicar en: , la definicin 30.
del implicador y la ley De Morgan, la equivalencia que p q
se obtiene es:
a)
: p q r p : q
2. a) b)
: : p : q : r p q
3. b) c)
p : q r p q
4. c)
d)
: p : q r p
5. d) e)
: p q r p q | r p
6. e)
31. 5. La frmula: , por asociacin es
7.
equivalente a:
8. La frmula:
9. : : p : q : r : p
: p q : p r r s q s
32. 1)
: r : q : : p : q
10. Es equivalente a: 33. 2)
ps p q r p
11. 1) 34. 3)
p q r : s : s r
12. 2)
p p r q
: p q r s 35. 4)
13. 3) p r q p
: q : s q s 36. 5)
14. 4) 37. Son ciertas:
a) 1y2 b)1,4y5 c)2,4y5 d)3,4y5 e)4y5
p q s r 38.
15. 5) : p | q r
16. Son ciertas:
39. 6. La frmula: , es proposicin equivalente
17. a) 1,2y3 b) 2,3y4 c)4y5 d) 3y5 e) 2y4
a:
18. : q : r : q : r
19. La frmula: a)
: p q r : q : r : p : r
20. , es equivalente por b)
21. distribucin: : : p : r : p : r
: q q q r c)
22. 1) : : r : p | q
: r p : q : r d)
23. 2)
( : r : q) (p : r) : q : r : : q : r
e)
24. 3)
p r : q r : : p : q : p | p q
25. 4) 40. 7. La frmula:
equivalente a:
,

: p : r q : r
: p p q
26. 5)
q : p pq
27. Son ciertas: 41. a) b) c) d) e)
a) 1y2 : qp
b) 2, 4 y 5
c) 2, 3 y 4 42.
d) 1, 4 y 5 p : p : p p
e) 2
43. 8. La frmula: , es
28.
equivalente
29. 4. Simplificar el esquema:
44. a:
 pp 78.
45. 1) p q p p q p
: p
79. La frmula: , es
46. 2) 80. equivalente a:
: p : p : p : p p
47. 3) a)
: pp pp
48. 4) b)
p pq
49. 5) c)
50. Son ciertas: : q
51. a) 1,2y3 b)2,3y4 c)1,4y5 d) 1,3y5 e) d)
1y2 : pp
52. e)
p p p 1 p q : : p q

9. La estructura formal: es equivalente 81. 13. Si se define: , entonces:
a: : p : q
p 82. , es equivalente a:
53. 1)
q : p q
54. 2) 83. 1)
p 1 : pq
84. 2)
55. 3)
1 : p q q p
56. 4) 85. 3)
0 1 : q : p
57. 5)
58. Son ciertas: 86. 4)
59. a) Slo 2 b)3y5 c)1,2y5 d) 1,4y5 e) 2y5 p : q
60. 87. 5)
p q r 88.
89.
Son ciertas:
a) 1,2y3 b)2,3y4 c)1,4y5 d)1y2 e)1y3
61. 10. La exportacin de la frmula: , es: 90.
p q r 91. 14. La regla formal:
62. 1) : : p : q : q : p
r : q : p , es
92. equivalente a:
63. 2)
: p r : q p q : p : q p q
64. 3) 93. 1)

p q r p : : p : q q
65. 4) 94. 2)
: p : q r p p q q
66. 5) 95. 3)
67. Son ciertas:
68. a) Slo1 b)2y5 c)2,4y5 d)2,3y5 p : p q : q

e)1,4y5
96. 4)
69.
pq qp p q p q : p : q
70. 11. La frmula: , es 97. 5)
equivalente a: 98. Son ciertas:
: p q : q p 99. a) 1,2y3 b)Slo 2,4y5 c)Slo 4y5 d)4y5 e) a y
d
71. 1) 100.
pq 101.15. Sean las variables:
72. 2) 102.A: Falso B: Verdadero
pq 103.Las implicaciones verdaderas son:
73. 3) B A A
pq 104.1)
74. 4) : AB
q : p 105.2)
75. 5)
76. Son ciertas, excepto:
: B A A
77. a) 1y4 b)2y3 c)2,3y5 d)2,4y5 e)1,2y5 106.3)
 A B B p : q : p : r : q
107.4) 140.3)
: : A B : A B B 141.Son, respectivamente:
142.a) 011 b) 100 c) 101 d) 000 e)
108.5) 010
109.No son ciertas excepto: 143.
110. a) 1,2y3 b) 3,4y5 c) 1,3y5 d) Todas e) 2,3y4 144.
111. 145.21. La estructura formal:
16. Dado el esquema:
p q q r p r
: p r r s r s , es equivalente a:
112. , falso y =0. : : p q q r p r
Los
113. valores de p, r y s respectivamente son: 146.1)
114. a) 110
115.
b) 001 c) 100 d) 111 e) 000 p r q |: r p q
17. Dada las siguientes proposiciones: 147.2)
116. A: La Universidad Nacional de Piura fue creada en : p : r : p q : q r
1962.
117. B: San Miguel de Piura fue fundada en 1532. 148.3)
118. C: El departamento de Piura ocupa una
superficie de : p q : q : r p r
119. 25 892 km2 149.4)
: : p q : : q : r p r
120.Hallar el valor de verdad de los siguientes
enunciados formales:
A B : C 150.5)
151.Son ciertas:
121.1)
152.a) 2,4y5 b)3,4y5 c)1,2y5 d)2y4
A B A B : B e)Slo2
153.
122.2)
p q r
A : B : C A : B
123.3) 154.22. La proposicin formal: , por la ley
124.Son, respectivamente: De Morgan se obtienen las equivalentes:
125.a) 111 b) 000 c) 010 d) 011 e) 101 : p : q r
126.
155.1)
: p r : : p q
: p : q r
18. Dado el esquema falso,
luego los valores de p, q y r respectivamente son: 156.2)
127.a) 100y1 b) 100 c) 101y0 d) 000y1 : p : : q : r
e)000
128. 157.3)
19. Dado el esquema formal:
129. q r : p

: : p q : r s : t u : v w x y 158.4)
p : q r
130. Los valores de verdad en los arreglos 728, 159.5)
921y 1017 160.Son ciertas:
131. son, respectivamente 161.a) 1,2y3 b)2,3y4 c)2y5 d)3y4 e)3,4y5
132.a) 010 b) 000 c) 110 d) 111 e) 162.
001
133.
q| r : q |: r
20. Sean las variables definidas por: 163.23. El pensamiento formal: , por la
134.p: Los mercantilistas consideraban que la 164. definicin del implicador esta totalmente dada por:
riqueza de una nacin dependa de la cantidad de q r : q r
plata y cobre que tuviesen. a)
135.q: El mercantilismo imper en Inglaterra y en
el resto de Europa occidental. : q : r : : q r
136.r: John Maynard Keynes fue defensor de la b)

137.
economa neoclsica hasta la dcada de 1930.
Los valores de verdad de los esquemas
: q : r : q r
formales: c)
p q : : r q : : q r q r
138.1) d)
p : r : r : q q r : q r
139.2) e)
165.
166.24. El pensamiento que corresponde a la estructura
: q : r | q r
p : q p
p q : p 192.4)
formal: : q : r : r : q
: pq
193.5)
a) 194.Son ciertas:
p q : r s : q t : u 195.a) 1,2y3 b)3,4y5 c)2,3y4 d)1y5 e)4y5
b) 196.

p q |: p
197.27. Aplicando absorcin a:
: : p : q : p | p q
c)
p : q ,
198. Su equivalente es:
d) q
: p : q a)
e) : p p q
167.24. Si la hiptesis es vlida es condicin suficiente
para que se demuestre su veracidad en la realidad. Es b)
equivalente a: : p
: p : q r c)
pq
168.1) d)
: q : p : p : qp
169.2) e)
199.
: p : q r
170.3)
p p p
p 0
200.28. La estructura formal:
p : : q : p , es
171.4) 201. equivalente a:
p
: p : q : r 202.1)
172.5) p 1
173.Son ciertas:
174.a) 1,2y3 b)2,3y4 c)1,2y5 d)3y4 e) 2 y 4 203.2)
175. 0
176.25. Al aplicar en: 204.3)
177. 1
p : q q : q q q : q p 205.4)
0 1
178. Las leyes del complemento e identidad se 206.5)
obtiene: 207.Son ciertas:
p p q 208.a) Slo1 b)3y5 c)1,2y5 d)1,4y5 e)2y5
209.
179.1) 210. 29. Encontrar la proposicin equivalente de:
: p | q p q p : q
180.2) 211. donde se define
1 p q F p q
181.3)
212.
0
182.4) : pq
: : q p q 213.a)

183.5)
pq
184.Son ciertas: 214.b)
185.a) 1,2y3 b)2,4y5 c)1,3y5 d)2y5 e)1y3 : p|q
186. 215.c)

: : : : q : r 216.d)
p|q
187.26. De la frmula: , sus pq
188. equivalentes son: 217.e)
: q : r 218.
189.1) 219. 30. Simplificar el siguiente esquema:
qr 220.
190.2) p q r q : p p : q r : p q
q r : q : r
191.3) qp
221.a)
 pq : p q : r : s
222.b)
: p q r
252.e)
253.
223.c) 254.35. Dado el siguiente esquema, hallar sus
q p r equivalentes:
224.d) : p q p r q
p|q 255.
225.e) : p | q | : r |: q
226.
227.31. Sea la matriz principal de E: 10010001. Simplificar 256.a)

E : qr : p | q | r |: q
228. 257.b)
pr qr p : r p : p | q r |: q
229.a) b) c) d) e)
q 258.c)
: p | q r |: q
230.
231.32. Dada la matriz M: 11100000. Hallar su 259.d)
equivalente. 260.e) a y d.
261.
p q r 262.36. Hallar el equivalente de:
232.a) 263.

233.b)
pq
p q p q r
: p : r : p

: p : q r pq
234.c) 264.a)
p : q r : p|q
235.d) 265.b)
: p q r : p : p
236.e) 266.c)
237.
pp
238.33. Simplificar el siguiente esquema:
239. 267.d)
p
{{ p q r : q q : r } : r q r : q } 268.e)
p q p : q : p : q : r t s r : s
269. 37. Sean M:
p q r y,
270. N:
240.a)
{ p q r s p t q s t } w r
p : : q r
241.b) NM
p : q r Simplificar el valor de:
242.c) 271.
: p : q r p q r
243.d) 272.a)
273.b) F
p : q r
pr
244.e)
245. 274.c)
246. 34. Dado el siguiente esquema: 275.d) V

p q q r : r p s p q r
247. . Encontrar su 276.e)
equivalente. 277.
278.38. Sea N:
: : p q : r : s
: p q r : p s s : r r
248.a)
279.
p q r s q r p q r r : q
249.b)
280. M:
: p q r : s MN
250.c) 281. Simplificar
: : p : q : r : s : pq pqr
282.a) F b) V c) d)
251.d)
 rq 314.
283.e) 43. Dada las siguientes proposiciones:
284. 315.A: La Universidad Nacional de Piura fue creada en
285. 39. Simplificar el siguiente esquema: 1962.
286. 316.B: San Miguel de Piura fue fundada en 1532.
317.C: El departamento de Piura ocupa una
p s : r s p q r : q superficie de
318. 25 892 km2
pq 319.Hallar el valor de verdad de los siguientes
287.a) enunciados formales:

288.b)
p A B : C
q 320.1)
289.c) A B A B : B
290.d) V
321.2)
291.e) F
292. A : B : C A : B
293. 40. Dado el siguiente argumento:
322.3)
294. Si llueve, Mara se resfriar. No llovi.
323.Son, respectivamente:
Entonces, Mara no se resfri. Simplificarlo, al
324.a) 111 b) 000 c) 010 d) 011 e) 101
traducirlo a un esquema lgico.
325.
295.a) Mara se resfriar si llueve.
296.b)
297.c)
Verdadero.
Llovi.
: p r : : p q
298.d) No llovi. 44. Dado el esquema falso,
299.e) Mara se resfriar entonces llueve. luego los valores de p, q y r respectivamente son:
300. 326.a) 100y1 b) 100 c) 101y0 d) 000y1
41. Sean las variables: e)000
301.A: Falso B: Verdadero 327.
302.Las implicaciones verdaderas son: 328.
45. Sean las variables definidas por:
B A A 329.p: Los mercantilistas consideraban que la
303.1) riqueza de una nacin dependa de la cantidad de
plata y cobre que tuviesen.
: A B 330.q: El mercantilismo imper en Inglaterra y en
304.2) el resto de Europa occidental.
: B A A 331.r: John Maynard Keynes fue defensor de la
economa neoclsica hasta la dcada de 1930.
305.3)
332. Los valores de verdad de los esquemas
A B B formales:
306.4) p q : : r q
: : A B : A B B 333.1)
307.5) p : r : r : q
308.No son ciertas excepto: 334.2)
309.a) 1,2y3 b) 3,4y5 c) 1,3y5 d) Todas e) 2,3y4
310. p : q : p : r : q
42. Dado el esquema: 335.3)
: p r r s r s 336.Son, respectivamente:
337.a) 011 b) 100 c) 101 d) 000 e)
311. , falso y =0. 010
Los 338.
312. valores de p, r y s respectivamente son: 339.
313.a) 110 b) 001 c) 100 d) 111 e) 000
340.