Você está na página 1de 11

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL

TALLER DE LÓGICA Y CONJUNTOS

1. Defina:

a. Proposición:

b. Razonamiento:

c. Predicado:

d. Cuantificador:

e. Función:

f. Subconjunto:

g. Intersección entre conjuntos:

2. Dadas las siguientes proposiciones, demostrar formalmente (usar reglas de


equivalencia e implicación lógica) en caso de ser verdaderas o dar un
contraejemplo en caso de ser falsas. Para cada caso, considere los conjuntos A, B,
C y Re.

 �p ( x, y ) �
"x$y � �� $y"x �
�p ( x, y ) �

 ( p"( x‫ " )ٺ‬q ( x ) )


"� p ( x) q ( x)

 �"xp ( x ) � Ap ( x ) = �

 Si A �B, entonces B �A.

 ( (
Si N ( A ) = 1, entonces N P P ( P ( A ) ) ) ) = 8.
 ( A �B ) �( C �D ) , siempre que A �C y B �D.

 A - ( B �C ) = ( A - B ) �( A - C ) .

 Si ( A �B ) �C entonces A �C y B �C.

 ( A �B ) �A si y sólo si B �A.
 Si f y g son funciones inyectivas de A en B y de B en C respectivamente, entonces la gof
también es una función inyectiva de A en C.

 Si f es una función sobreyectiva de A en B, entonces f es


inversible.

 Si f es cualquier función de A en B y N(A)=N(B), entonces f es biyectiva.

1
3. Para que la enunciación hipotética sea falsa es suficiente que el antecedente sea
verdadero.

a) Verdadero b) Falso

4. El razonamiento: “Si te gustan las matemáticas, entonces eres hábil para la


geometría. No eres hábil para la geometría. Luego, no te gustan las matemáticas”,
es válido.

a) Verdadero b) Falso

5. La proposición “Si Juan va al estadio no estudiará para el examen” es equivalente a


“Si Juan estudia para el examen, no irá al estadio”.

a) Verdadero b) Falso

6. b es suficiente para a si y sólo si a  b es una proposición verdadera.

a) Verdadero b) Falso

7. Un razonamiento es válido si y sólo si todas las proposiciones simples que lo


conforman son verdaderas.

a) Verdadero b) Falso

8. La contrarrecíproca de la proposición “Si estudio concientemente, apruebo el curso


del nivel cero” es “Estudio concientemente o no apruebo el curso del nivel cero”.

a) Verdadero b) Falso

9. Las formas proposicionales (p  q) y (p  q) son equivalentes.

a) Verdadero b) Falso

10. Las proposiciones “Es necesario estudiar para aprender” y “Sólo si estudias,
aprenderás”, son lógicamente equivalentes.

a) Verdadero b) Falso

11. Si la proposición “Eres feliz siempre que la vida te sonríe” es verdadera, entonces
es falso que:

a) Si la vida te sonríe, entonces eres feliz.


b) Eres feliz cuando la vida te sonríe.
c) Ser feliz es necesario para que la vida te sonría.
d) Eres feliz si la vida te sonríe.
e) Ser feliz es suficiente para que la vida te sonría.

12. La forma proposicional que no es tautológica, es:

a) (q  p)  (p  q)


b) (p  q)  (p  q)
c) (p  q)  (q  p)
d) [(p  q)  p]  q

2
e) [(p  q)  r]  [(p  r)  (q  r)]

13. Sean las proposiciones simples:

a: Mayra programa en MatLab.


b: Mayra practica álgebra.
c: Mayra es responsable.

La traducción al lenguaje formal de la proposición compuesta “Mayra programa en MatLab


porque practica álgebra y es responsable” es:

a) a  (b  c)
b) (b  c) a
c) a  (b  c)
d) (b  c) a
e) (a  c)  b

14. A partir de las siguientes hipótesis:


H1: Todos los estudiantes del nivel cero son niños.
H2: Algunos estudiantes del nivel cero son lógicos.
H3: Ningún lógico es triste.

Es valido concluir que:


 Algunos estudiosos no son tristes.
Verdadero Falso

 Algunos tristes no son estudiosos.


Verdadero Falso

15. Dadas las siguientes premisas:


H1: Todos los economistas son matemáticos.
H2: Algunos economistas son lógicos.
H3: Ningún lógico es incapaz.

Entonces una conclusión que puede inferirse de ellas, es:

a. Algunos incapaces no son matemáticos.


b. Algunos incapaces no son economistas.
c. Algunos economistas no son incapaces.
d. Todos los incapaces no son economistas.
e. Todos los matemáticos son lógicos.

16. Indique cuál de los siguientes enunciados es una proposición:

a) No olvides hacer bien este tema.


b) 2 + 8
c)Adiós, que te vaya bien.
d) 7415 es un número par.
e) Ecuador clasificará al mundial de fútbol de Sudáfrica 2010.

17. Dadas las siguientes formas proposicionales:

I) [(a  b)  (b  a)]  b


II) (b  a)  (b  a)

Es verdad que:
a) La forma proposicional I es una tautología y la II no es una tautología.
b) La forma proposicional II no es una tautología.
c)Las formas proposicionales I y II no son tautologías.

3
d) Las formas proposicionales I y II son tautologías.
e) La forma proposicional I no es una tautología y la II es una tautología.
18. Dado el razonamiento H1  H2  C, donde:

H1: Si se concluye con éxito la construcción del nuevo parque en el Barrio del Centenario, se
cooperará para el embellecimiento de la urbe.

H2: Se cooperará para el embellecimiento de la urbe y se incrementará la captación de más


turistas.

Entonces la conclusión C que hace válido este razonamiento es:

a) No se cooperará para el embellecimiento de la urbe.


b) Se concluye con éxito la construcción del nuevo parque en el Barrio del Centenario y
se incrementará la captación de más turistas.
c) No se incrementará la captación de más turistas y no se cooperará para el
embellecimiento de la urbe.
d) Se cooperará para el embellecimiento de la urbe.
e) Se concluye con éxito la construcción del nuevo parque en el Barrio del Centenario.

19. Dados los siguientes razonamientos R1 y R2:

R1: [(p  q)  (q  p)]  (p  q)


R2: q  (p  q)

Es verdad que:

a) R1 no es válido.
b) R1 no es válido y R2 es válido.
c) R1 no es válido y R2 no es válido.
d) R1 es válido y R2 no es válido.
e) R1 es válido y R2 es válido.

20. Considere las siguientes proposiciones simples:

a: Estudias todos los días.


b: Te pierdes las farras.
c: Ingresas a la ESPOL.

La traducción al lenguaje formal de la proposición compuesta “Si no estudias todos los días
y no te pierdes las farras, no ingresas a la ESPOL. Pero si estudias todos los días, ingresas a
la ESPOL” es:

a) [c  (a  b)]  [c  b]
b) [c  (a  b)]  [a  c]
c) [c  (a  b)]  [a  c]
d) [c  a]  [(a  b)  c]
e) [c   (a  b)]  [a  c]

21. Para cualesquiera conjunto A y B se cumple que (A - B)  (A  B).

a) Verdadero b) Falso

22. Si A y B son conjuntos finitos donde N(A)  N(B), entonces cualquier función de A
en B es inyectiva.

a) Verdadero b) Falso

23. Si A, B y C son 3 conjuntos no vacíos, tales que C  (A  B), entonces es verdad


que: (A  C)  (B  C) = C.

4
a) Verdadero b) Falso
24. Si N(A) = 2 y N(B) = 1, entonces N(P(A x B)) = 8.

a) Verdadero b) Falso

25. Si A = {, {}}, entonces {}  A  P(A).

a) Verdadero b) Falso

26. Si A y B son conjuntos disjuntos, entonces N(P(A  B)) = 0.

a) Verdadero b) Falso

27. Sean A, B y C tres conjuntos no vacíos de un referencial Re. Si A  (B  C),


entonces A  B  A  C.

a) Verdadero b) Falso

28. Dados los conjuntos no vacíos A, B y C tal que A �( C �B ) es verdad que:

a. C ǹ� Ac
b. ( A �C ) �( C �B ) = ( A �B )
c. C �( A - B ) = C
d. ( A �C ) �( C �B ) = C
e. A- B = C

29. Dado el conjunto A = { { �} , { 1, 2} ,3} , determine el valor de verdad de cada una de


las siguientes proposiciones:

 P ( A) �
n�
� �= 16
 { �} �P ( A)
 { { �} } �P ( A)
 { 3} �P ( A)
 ��P ( A )

30. En el diagrama de Venn adjunto, representar los siguientes conjuntos:

a. ( C �B ) - A
b. (B c
�C ) �Ac
c. ( B - A) �( A �B �C )
d. ( C c �B ) �( A - C ) c

5
31. Dado el siguiente diagrama de Venn, donde cada conjunto presente es no vacío,
uno de los siguientes literales corresponde a un conjunto no vacío. Identifíquelo.

Re

A
a) C – (A  B)
b) (B – C)  (A  Cc)
c) (C  Ac)  (C – B) C B
d) (Ac  B)  C
e) (C – A)  (C – B)

32. En una encuesta a 500 estudiantes se tiene que:


220 estudian Álgebra, 180 estudian lógica, 300 estudian Cálculo, 150 estudian
lógica y cálculo, 120 estudian Álgebra y Cálculo, 50 estudian las tres materias, 120
estudian Álgebra o lógica pero no cálculo. Determine el número de estudiantes que
estudian solamente lógica.

33. Sean A, B y C conjuntos no vacíos. ¿Cuál de las siguientes expresiones representa


la región sombreada?

I) (A  C) – B
II) (B – A)  (B – C)
III) [(A  B)  (B  C)]  B
IV) (A  C)  B

a) Sólo I
b) I y III
c) II y IV
d) Sólo IV
e) I, II, III, y IV

34. En una encuesta realizada a 200 estudiantes de Licenciatura en Turismo, todos


viajaron por lo menos a una de 3 playas diferentes durante el feriado y se
obtuvieron los siguientes datos referentes a dicha actividad:

 50 estuvieron en Punta Carnero.


 41 estuvieron en Manta.
 61 estuvieron en Salinas.
 25 estuvieron en Punta Carnero y Manta.
 26 estuvieron en Manta y Salinas.
 31 estuvieron en Salinas y Punta Carnero.
 12 estuvieron en Punta Carnero, Manta y Salinas.

Los estudiantes que estuvieron durante el feriado en un solo lugar:

a) 42
b) 24
c) 54
d) 78
e) 60

6
35. Si A, B, C son conjuntos no vacíos representados en el diagrama de Venn adjunto,
entonces la región sombreada corresponde a:

a) (A  B)c  (A  B  C) – [C  (A  B)]
b) [(A  B)c  (A  B)]  [C – (A  B)]
c) (A  B  C) - [(A  B)  (C - (A  B))]
d) [(A  B)c  (A  B)]c  (A  B  C)
e) [(A - B)  (B - A)]  [C - (A  B)]

36. Considere los conjuntos A={a,*,0} y B={1,0}; entonces es verdad que:

a. B �( A �B ) = { ( 0,1) , ( 0, 0 ) }
b. N ( A �( A - B ) ) = 6
c. N ( ( A ȴ B) ( A - B) ) = 4
d. ( A Ǵ�
B )=�( B A)
e. B �( A - B ) = { ( 1, a ) , ( 0,*) }

37. Sean los conjuntos A = {x, y, s, t}, B = {1, 2, 3} y las relaciones R = {(x, 1); (y, 2);
(s, 2); (t, 3)} y S = {(t, 2); (y, 2); (x, 1); (s, 1)}. Identifique cuál de las siguientes
proposiciones es falsa.

a) R es una función de A en B.
b) N(R  S) = 6
c) N(R  S) = 6
d) S es una función no inyectiva.
e) R – S es una función de A en B.

38. Sea Re = {1, 2, 3, 4, 5, 6} y los conjuntos A y B no vacíos, tales que:


A – B = {2, 3}: A  BC = {2, 3, 5}; AC = {1, 4, 5, 6}.

Entonces es verdad que:

a) N(B - A) = 2
b) N(A  B) = 5
c) N(AC  B) = 4
d) A = {2, 3, }
e) N(B) = 1

39. Sean A y B dos conjuntos tales que: A = {1, 2, 3} y B = {a, b, c}. Entonces es
verdad que:

a) (b, 3)  A x B
b) {(1, b); (a, c); (4, a)}  A x B
c) (2, c)  B x A
d) N(B x B) = 8
e) {(2, 2); (b, b)}  A x A

40. Si Re = {1, 3, 5, 7} y p(x): x > 5, entonces Ap(x) = .

a) Verdadero b) Falso

7
41. Si Rex  , Rey   y p(x, y) es un predicado cualquiera, entonces
"x $y[p(x, y)]  $y "x[p(x, y)].

a) Verdadero b) Falso

42. Sea el conjunto referencial Re = {10, 15, 20, 25, 30} y los predicados:

p(x): x es divisible para 10.


q(x): x es divisible para 15.

Entonces es verdad que A[p(x)  q(x)] = {25}.

a) Verdadero b) Falso

43. La negación de la proposición "x $y [p(x)  (q(x)  r(x))] es


$x "y [p(x)  r(x)  q(x)].

a) Verdadero b) Falso

44. Tomando en consideración los conjuntos referenciales Re X = { x / x es una ciudad del Ecuador}
y Re y = { y / y es una provincia del Ecuador} , y el predicado p(x,y): x es capital de y.
Interprete en el lenguaje castellano y determine el valor de verdad de las
proposiciones siguientes:

a. p ( Manta, Manabí ) g. �p ( x, y ) �
$x"y � �
p ( Ambato, Tungurahua )
�p ( x, y ) �
$x$y �
b. h. �
c. �p ( x, y ) �
"x"y � � i. �p ( x, y ) �
"x$y �
� �
d. �p ( x, y ) �
"x$y � � j. �p ( x, y ) �
�"x$y � �
e. �p ( x, y ) �
$y"x � � k. �p ( x, y ) �
�$x"y � �
f. "y$x �
�p ( x, y ) �

45. La negación de la proposición $x �A"y �B"z �C ( x > y + z ) es

a. "x �A$y �B$z �C ( x - y - z > 0 )


b. $x �A"y �B"z �C ( x - y - z �0 )
c. "x �A$y �B$z �C ( x - y - z �0 )
d. $x �A$y �B$z �C ( x - y - z �0 )
e. "x �A$y �B$z �C ( x - y - z < 0 )
46. Dados los conjuntos A = { 2, 4, 6,8} y B = { 1,3,5, 7,9,11,13} indique cual de las
siguientes relaciones de A en B es una función.

a. R1 = A �B
b. R2 = { ( x, y ) δ A B / y = 2 x - 1}
c. R3 = { ( x, y ) δ A B / y > x}
d. R4 = { ( x, y ) δ A B / y = 3}
e. R5 = { ( x, y ) δ A B / x = 2}

8
47. Si N(Re) > 1, entonces una proposición verdadera es:

a) $x p(x)  "x p(x)


b) "x (p(x)  q(x))  "x p(x)  "x q(x)
c) A[p(x)  q(x)] = Aq(x)  Ap(x)
d) $x [p(x)  q(x)]  "x [q(x)  p(x)]
e) "x [p(x)  q(x)]  $x [p(x)  q(x)]

48. Se dan los siguientes predicados:

p(x): x es soltero.
q(x): x es divorciado.
r(x): x es viudo.

Entonces la negación de la proposición “Ningún soltero o divorciado es viudo” es:

a) $x [r(x)  (p(x)  q(x))]


b) $x [r(x)  (p(x)  q(x))]
c) $x [(p(x)  q(x))  r(x)]
d) "x [(p(x)  q(x))  r(x)]
e) $x [(p(x)  q(x))  r(x)]

49. Si (Re = ), p(x) y q(x) son dos predicados cualesquiera, entonces es verdad que:

a) "x [p(x)  q(x)]  ["x p(x)  "x q(x)]


b) [$x [p(x)  $x q(x)]  $x [p(x)  q(x)]
c) "x p(x)  $x p(x)
d) $x p(x)  "x p(x)
e) $x p(x)  "x p(x)

50. Si tomamos como referencial Re = {x/x es una función} y consideramos los


predicados:

p(x): x es una función inyectiva.


q(x): x es una función sobreyectiva.
r(x): x es una función biyectiva.
s(x): x es una función que tiene inversa.

¿Cuál de las siguientes proposiciones es verdadera?

a) $x [p(x)  r(x)]
b) "x [q(x)  r(x)]
c) $x [r(x)  q(x)]
d) $x [s(x)  p(x)]
e) "x [q(x)  s(x)]

51. Si A = {a, b, c}, B = {, }, R1 y R2 son dos relaciones de A en B tales que
R1 = {(a, ), (c, )} y R2 = {(b, )}. Entonces R1  R2 es una función.

a) Verdadero b) Falso

9
Para las siguientes dos preguntas considere los siguientes conjuntos:

A = {1, 2, 3, 4}
B = {a, b, c, d}
C = {a, b}

Si se definen las funciones f: A  B y g: C  A, tales que:

f = {(1, a), (2, b), (3, c), (4, d)}


g= {(a, 1), (b, 2)}

52. Se puede construir f o g.

a) Verdadero b) Falso

53. Se puede construir g o f.

a) Verdadero b) Falso

54. Una relación r de A en B es función, si y sólo si dom r = A.

a) Verdadero b) Falso

55. La función f: X  Y es inyectiva si y sólo si


"x1, x2  X [(x1 = x2)  (f(x1) = f(x2))].

a) Verdadero b) Falso

56. Basta que una función sea sobreyectiva para que sea biyectiva.

a) Verdadero b) Falso

57. Si f: A  A es una función definida por f = {(a, b), (b, a), (c, b)}, entonces
(c, a)  (f o f) o f.

a) Verdadero b) Falso

58. Sean f: A  B y g: B  C donde:

A = {1, 2, 3}, B = {1, 2, 3, 4}, C = {1, 2, 3, 4, 5, 6}, f = {(1, 3), (2, 4), (3, 2)},
g = {(1, 3), (2, 4), (3, 5), (4, 6)}

¿Cuál de las siguientes proposiciones es verdadera?

a) No se puede construir f o f.
b) Se puede construir f o g.
c)g no es una función inyectiva.
d) No se puede construir g o f.
e) No se puede construir g o g.

59. Dados los conjuntos: A = {p, q, r, s} y B = {m, n, o, p} y las funciones de A en B,


tal que:

f = {(p, m), (q, p), (r, m), (s, n)}


g = {(p, p), (q, m), (r, n), (s, o)}

Entonces es cierto que:

a) f  g es una función inyectiva.


b) g es sobreyectiva pero no inyectiva.
c) f es inyectiva pero no sobreyectiva.
d) g es una función biyectiva.
e) f es una función biyectiva.

10
60. Dado el conjunto A={1,2,3,4,5} y las funciones f: A � A y g: A � A tales que:
f(1)=3; f(2)=5; f(3)=3; f(4) =1; f(5)=2; g(1)=4; g(2)=1; g(3)=1; g(4)=2; g(5)=3.
¿Cuál de las siguientes proposiciones es falsa?

a. (fog)(2)=3
b. (gof)(5)=1
c. f es inyectiva ó g es inyectiva.
d. (fog)(1)=3 ó (fog)(3)=3
e. (gof)(4)=5 � (fog)(1)=2 � (gof)(1)=1

61. Sean los conjuntos A = {M, P, R, J}, B = {20, 30, 40, 50} y las funciones f: A  B,
g: B  A, tales que f = {(M, 20), (P, 30), (R, 40), (J, 50)}, g = {(40, P), (30, M),
(20, R), (50, J)}. Entonces (f-1 o g-1) es:

a) {(20, 20), (30, 30), (40, 40), (50, 50)}


b) {(M, M), (P, P), (R, R), (J, J)}
c) {(P, R), (M, P), (R, M), (J, J)}
d) {(40, 30), (30, 20), (20, 40), (50, 50)}
e) gof

Con respecto a las relaciones R1 y R2 de A en B mostradas en los siguientes diagramas


sagitales, determine el valor de verdad de las proposiciones indicadas en las siguientes
dos preguntas:

R1 R2

A a 1 B A a 1 B

b 2 b 2

c 3 c 3

d 4 d 4

62. R1 - R2 es una función.

a) Verdadero b) Falso

63. R1-1 y R2 son funciones.

a) Verdadero b) Falso

11

Você também pode gostar