Diferencia entre revisiones de «Práctica 1: Conjuntos, relaciones y funciones (Álgebra I)»

De Cuba-Wiki
Sin resumen de edición
(No se muestran 2 ediciones intermedias del mismo usuario)
Línea 72: Línea 72:
iii) <math> ((A \cap B) \cup (B \cap C) \cup (C \cap A)) \cap (A \cap B \cap C)' </math> <br>
iii) <math> ((A \cap B) \cup (B \cap C) \cup (C \cap A)) \cap (A \cap B \cap C)' </math> <br>
iv) <math> ((( A \cap B') \cup (B \cap A')) \cap C' ) \cup ( C \cap ( (A' \cup B) \cap ( B' \cup A)) </math>
iv) <math> ((( A \cap B') \cup (B \cap A')) \cap C' ) \cup ( C \cap ( (A' \cup B) \cap ( B' \cup A)) </math>
==Ejercicio 9==
Determinar cuáles de las siguientes afirmaciones son verdaderas cualesquiera sean los conjuntos A, B y C y cuáles no. Para las que sean verdaderas, dar una demostración, para las otras dar un contraejemplo.
'''i)''' <math> A \cup (B \cap C ) = ( A \cup B) \cap C  </math> <br><br>
FALSO. Contraejemplo:
A = {1, 2, 3}
B = {3, 4, 5}
C = {1, 3, 4}
<br><br>
'''ii)''' <math> (A \cup B)' = A' \cap B' </math> <br>
VERDADERO. Demostración: <br><br>
<math> x \in ( A \cup B ) \Longleftrightarrow x \notin A \and x \notin B \Longleftrightarrow x \in A' \and x \in B' \Longleftrightarrow x \in ( A' \cap B') </math><br><br>
'''iii)''' <math> (A \Delta B ) \subseteq (A \Delta C) \cup ( B \Delta C) </math><br><br>
VERDADERO. Demostración: <br><br>
<math> x \in (A \Delta B) \Longleftrightarrow ( x \in A \and x \notin B) \; \or \; ( x \notin A \and x \in B ) \Rightarrow </math><br>
<math> ( x \in A \and x \notin B \and x \in C )\; \or \; ( x \in A \and x \notin B \and x \notin C) \; \or \; ( x \notin A \and x \in B \and x \in C) \; \or \; </math><br>
<math> \or \; ( x \notin A \and x \in B \and x \notin C) \; \or \; ( x \in A \and x \in B \and x \notin C) \; \or \; ( x \notin A \and x \notin B \and x \in C ) </math><br><br>
Si agregamos una condición que ya está dada, las soluciones son las mismas. Entonces repitamos algunas condiciones:<br><br>
<math> ( x \in A \and x \notin B \and x \in C )\; \or \; ( x \in A \and x \notin B \and x \notin C) \; \or </math><br>
<math> \or \; ( x \notin A \and x \in B \and x \in C) \; \or \; ( x \notin A \and x \in B \and x \notin C) \; \or </math><br>
<math>\or \; ( x \in A \and x \in B \and x \notin C) \; \or \; ( x \notin A \and x \notin B \and x \in C ) \; \or </math><br>
<math>\or \; ( x \in A \and x \in B \and x \notin C) \; \or \; ( x \notin A \and x \notin B \and x \in C ) </math><br><br>
Y ahora separamos las condiciones en dos grupos para facilitar la lectura de la demostración.<br><br><br>
<math>  (1)  ( x \in A \and x \notin B \and x \notin C) \; \or \; (x \notin A \and x \in B \and x \in C) \; \or </math><br>
<math> \or \;( x \in A \and x \in B \and x \notin C ) \; \or \; ( x \notin A \and x \notin B \and x \in C ) </math> <br><br>
y: <br><br>
<math> (2) ( x \notin A \and x \in B \and x \notin C) \; \or \; ( x \in A \and x \notin B \and x \in C ) \; \or </math><br>
<math> \or \;( x \in A \and x \in B \and x \notin C ) \; \or \; ( x \notin A \and x \notin B \and x \in C ) </math> <br><br>
Trabajemos con (1):
<br> Reordenando y reagrupando:
<br><br><math> ( x \notin B \and ( ( x \in A \and x \notin C) \; \or \; ( x \notin A \and x \in C))) \; \or </math><br>
<math> \or \; ( x \in B \and (( x \notin A \and x \in C) \; \or \; ( x \in A \and x \notin C))) </math><br>
<math> \Longleftrightarrow  ( x \notin B \and x \in ( A \Delta C)) \; \or \; ( x \in B \and ( x \in ( A \Delta C)) </math><br>
<math> ( x \in ( A \Delta C) \and ( x \in B \or x \notin B) \Rightarrow </math> <br>
Por tautología:
<br>
<math> x\in ( A \Delta C) </math><br><br>
Ahora de manera análoga resolvemos que (2) implica que <math> x \in ( B \Delta C) </math> y juntando nuevamente los datos de (1) y (2) obtenemos:
<br>
<math> x \in ( B \Delta C) \; \or \; x \in ( A \Delta C) \Rightarrow x \in (A \Delta C ) \cup ( B \Delta C) </math>

Revisión del 20:06 23 sep 2007

Ejercicio 1

Dado el conjunto A = {1,2,{3},{1,2},-1} determinar cuáles de las siguientes afirmaciones son verdaderas:

i) 3 ∈ A. FALSO
ii) {1,2} ⊆ A. VERDADERO
iii) {1,2} ∈ A. VERDADERO
iv) {3} ⊆ A. FALSO
v) { {3} } ⊆ A. VERDADERO
vi) Ø ∈ A. FALSO
vii) {-1,2} ⊆ A. VERDADERO
viii) Ø ⊆ A. VERDADERO
ix) {1,2,-1} ∈ A. FALSO


Ejercicio 2

Determinar si A ⊆ B en cada uno de los siguientes casos:

i) . NO ESTÁ INCLUÍDO.
ii) . NO ESTÁ INCLUIDO.
iii) ESTÁ INCLUÍDO
iv) . NO ESTÁ INCLUÍDO
v) . NO ESTÁ INCLUÍDO.

Ejercicio 3

Dados los conjuntos A = {1,3,5,7,8,11} y B = {-1,3,-5,7,-8,11}. Hallar:






Ejercicio 4

Dado el conjunto referencial hallar el comlpemento del subconjunto A de V definido por


Ejercicio 5

Dado el conjunto referencial V = {1, {3}, -2, 7, 10, {1,2,3}, 3} y dados los subconjuntos A = {1, -2, 7, 3}, B= {1, {3}, 10} y C = {-2, {1,2,3}, 3} hallar:

i)
ii)
iii)
iv)
v)
vi)


Ejercicio 6

En un grupo de 110 alumnos hay 63 alumnos que estudian inglés, 30 que estudian alemán y 50 que estudian francés. Sabiendo que hay 7 alumnos que estudian los tres idiomas, 30 que sólo estudian inglés, 13 que sólo estudian alemán y 25 que sólo estudian francés, determinar

i) ¿Cuántos alumnos estudian exactamente dos idiomas?
ii) ¿Cuántos alumnos estudian inglés y alemán pero no francés?
iii) ¿Cuántos alumnos estudian alemán y grancés pero no inglés?
iv) ¿Cuántos alumnos estudian inglés y francés pero no alemán?
v) ¿Cuántos alumnos no estudian ningún idioma?


i) 41
ii) 9
iii) 1
iv) 17
v) 8


Ejercicio 8

Encontrar fórmulas que describan las partes rayadas de los siguientes diagramas de Venn (ver la práctica), utilizando únicamente intersecciones, uniones y complementos:

i)
ii)
iii)
iv)


Ejercicio 9

Determinar cuáles de las siguientes afirmaciones son verdaderas cualesquiera sean los conjuntos A, B y C y cuáles no. Para las que sean verdaderas, dar una demostración, para las otras dar un contraejemplo.



i)

FALSO. Contraejemplo:

A = {1, 2, 3} B = {3, 4, 5} C = {1, 3, 4}



ii)

VERDADERO. Demostración:



iii)

VERDADERO. Demostración:





Si agregamos una condición que ya está dada, las soluciones son las mismas. Entonces repitamos algunas condiciones:






Y ahora separamos las condiciones en dos grupos para facilitar la lectura de la demostración.





y:




Trabajemos con (1):
Reordenando y reagrupando:





Por tautología:


Ahora de manera análoga resolvemos que (2) implica que y juntando nuevamente los datos de (1) y (2) obtenemos: