Lógica - CM0260 Teoría de conjuntos
Transcript of Lógica - CM0260 Teoría de conjuntos
![Page 1: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/1.jpg)
Lógica - CM0260Teoría de conjuntos
Andrés Sicard Ramírez
Universidad EAFIT
Semestre 2015-2
![Page 2: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/2.jpg)
Introducción
Georg Cantor (1845 – 1918)
Lógica - CM0260. Teoría de conjuntos 2/143
![Page 3: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/3.jpg)
Introducción
“Set theory was invented by Georg Cantor…Itwas however Cantor who realized the signi-ficance of one-to-one functions between setsand introduced the notion of cardinality of aset.” (pág. 15)
Lógica - CM0260. Teoría de conjuntos 3/143
![Page 4: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/4.jpg)
Introducción
“Set theory was born on that December1873 day when Cantor established thatthe reals are uncountable, i.e. there is noone-to-one correspondence between thereals and the natural numbers.” (pág. XII)
Lógica - CM0260. Teoría de conjuntos 4/143
![Page 5: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/5.jpg)
Notación lógicaSímbolo Copi1 y Hurley2 Rosen3 Sierra4
Conjunción · ∧ ∧Disyunción ∨ ∨ ∨Negación ∼ ¬ ∼Condicional ⊃ → →Bicondicional ≡ ↔ ↔Cuantificación universal (𝑥)𝑃𝑥 ∀𝑥𝑃(𝑥) ∀𝑥𝑃(𝑥)Cuantificación existencial (∃𝑥)𝑃𝑥 ∃𝑥𝑃(𝑥) ∃𝑥𝑃(𝑥)
1Copi, Irving M. (1998). Lógica Simbólica.2Hurley, Patrick J. (2012). A Concise Introduction to Logic.3Rosen, Kenneth H. (2004). Matemática Discreta y sus Aplicaciones, 5ª ed.4Sierra A., Manuel (2010). Conjuntos y Relaciones.
Lógica - CM0260. Teoría de conjuntos 5/143
![Page 6: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/6.jpg)
Conjuntos
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Relación (binaria) de pertenencia𝑥 ∈ 𝐴: El elemento 𝑥 pertenece al conjunto 𝐴.𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴): El elemento 𝑥 no pertenece al conjunto 𝐴.
EjemplosListando sus elementos: 𝑉 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}.Empleando puntos suspensivos: 𝐷 = {0, 1, … , 9}.Empleando una propiedad:
𝐴 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 6/143
![Page 7: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/7.jpg)
Conjuntos
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Relación (binaria) de pertenencia𝑥 ∈ 𝐴: El elemento 𝑥 pertenece al conjunto 𝐴.𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴): El elemento 𝑥 no pertenece al conjunto 𝐴.
EjemplosListando sus elementos: 𝑉 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}.Empleando puntos suspensivos: 𝐷 = {0, 1, … , 9}.Empleando una propiedad:
𝐴 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 7/143
![Page 8: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/8.jpg)
Conjuntos
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Relación (binaria) de pertenencia𝑥 ∈ 𝐴: El elemento 𝑥 pertenece al conjunto 𝐴.𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴): El elemento 𝑥 no pertenece al conjunto 𝐴.
EjemplosListando sus elementos: 𝑉 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}.
Empleando puntos suspensivos: 𝐷 = {0, 1, … , 9}.Empleando una propiedad:
𝐴 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 8/143
![Page 9: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/9.jpg)
Conjuntos
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Relación (binaria) de pertenencia𝑥 ∈ 𝐴: El elemento 𝑥 pertenece al conjunto 𝐴.𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴): El elemento 𝑥 no pertenece al conjunto 𝐴.
EjemplosListando sus elementos: 𝑉 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}.Empleando puntos suspensivos: 𝐷 = {0, 1, … , 9}.
Empleando una propiedad:
𝐴 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 9/143
![Page 10: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/10.jpg)
Conjuntos
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Relación (binaria) de pertenencia𝑥 ∈ 𝐴: El elemento 𝑥 pertenece al conjunto 𝐴.𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴): El elemento 𝑥 no pertenece al conjunto 𝐴.
EjemplosListando sus elementos: 𝑉 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}.Empleando puntos suspensivos: 𝐷 = {0, 1, … , 9}.Empleando una propiedad:
𝐴 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 10/143
![Page 11: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/11.jpg)
ConjuntosEjemplos (Conjuntos comunes en Matemáticas)
ℕ = el conjunto de los números naturales= {0, 1, 2, …}
ℤ = el conjunto de los números enteros= {… , −2, −1, 0, 1, 2, …}
ℤ+ = el conjunto de los números enteros positivos= {1, 2, …}
ℚ = el conjunto de los números racionales= {𝑝/𝑞 ∣ 𝑝, 𝑞 ∈ ℤ, 𝑞 ≠ 0}
ℝ = el conjunto de los números reales= ?
Lógica - CM0260. Teoría de conjuntos 11/143
![Page 12: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/12.jpg)
ConjuntosEjemplos
𝐴 = {∅, {∅}, {{∅}}},𝐵 = {ℕ, ℤ, ℝ},𝐶 = {ℕ, 𝑎}.
Lógica - CM0260. Teoría de conjuntos 12/143
![Page 13: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/13.jpg)
Tipos de datosObservación: “Note that the concept of a datatype, or type, in computerscience is built upon the concept of a set. In particular, a datatype ortype is the name of a set, together with a set of operations that can beperformed on objects from that set. For example, boolean is the name ofthe set {0, 1} together with operators on one or more elements of this set,such as AND, OR, and NOT.”5
5Rosen, Kenneth H. (2012). Discrete Mathematics and Its Applications, pág. 117.Lógica - CM0260. Teoría de conjuntos 13/143
![Page 14: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/14.jpg)
Igualdad entre conjuntos
Definición (Igualdad entre conjuntos)Dos conjuntos 𝐴 y 𝐵 son iguales si, y sólo si, tienen los mismos elementos,es decir,
𝐴 = 𝐵 sii ∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵).
La anterior definición proviene del axioma
∀𝐴∀𝐵[∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) → 𝐴 = 𝐵] (axioma de extensionalidad)
Por lo tanto, que dos conjuntos 𝐴 y 𝐵 son diferentes se expresa por
𝐴 ≠ 𝐵 sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ ∃𝑥(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴).
Lógica - CM0260. Teoría de conjuntos 14/143
![Page 15: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/15.jpg)
Igualdad entre conjuntos
Definición (Igualdad entre conjuntos)Dos conjuntos 𝐴 y 𝐵 son iguales si, y sólo si, tienen los mismos elementos,es decir,
𝐴 = 𝐵 sii ∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵).
La anterior definición proviene del axioma
∀𝐴∀𝐵[∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) → 𝐴 = 𝐵] (axioma de extensionalidad)
Por lo tanto, que dos conjuntos 𝐴 y 𝐵 son diferentes se expresa por
𝐴 ≠ 𝐵 sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ ∃𝑥(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴).
Lógica - CM0260. Teoría de conjuntos 15/143
![Page 16: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/16.jpg)
Igualdad entre conjuntos
Definición (Igualdad entre conjuntos)Dos conjuntos 𝐴 y 𝐵 son iguales si, y sólo si, tienen los mismos elementos,es decir,
𝐴 = 𝐵 sii ∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵).
La anterior definición proviene del axioma
∀𝐴∀𝐵[∀𝑥(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) → 𝐴 = 𝐵] (axioma de extensionalidad)
Por lo tanto, que dos conjuntos 𝐴 y 𝐵 son diferentes se expresa por
𝐴 ≠ 𝐵 sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ ∃𝑥(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴).
Lógica - CM0260. Teoría de conjuntos 16/143
![Page 17: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/17.jpg)
Igualdad entre conjuntos
No importa el orden
{𝑎, 𝑒, 𝑖, 𝑜, 𝑢} = {𝑖, 𝑜, 𝑎, 𝑒, 𝑢}
No importa los elementos repetidos (convención de Rosen [2004])
{𝑎, 𝑎, 𝑎, 𝑏} = {𝑎, 𝑏}
Lógica - CM0260. Teoría de conjuntos 17/143
![Page 18: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/18.jpg)
Igualdad entre conjuntos
No importa el orden
{𝑎, 𝑒, 𝑖, 𝑜, 𝑢} = {𝑖, 𝑜, 𝑎, 𝑒, 𝑢}
No importa los elementos repetidos (convención de Rosen [2004])
{𝑎, 𝑎, 𝑎, 𝑏} = {𝑎, 𝑏}
Lógica - CM0260. Teoría de conjuntos 18/143
![Page 19: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/19.jpg)
El conjunto vacío y el conjunto universal
Definición (Conjunto vacío)El conjunto vacío, denotado ∅, es el conjunto que no tiene elementos, esdecir,
∅ = {𝑥 ∣ 𝑥 ≠ 𝑥}.
La anterior definición proviene del axioma
∃𝐴∀𝑥(𝑥 ∉ 𝐴) (axioma del conjunto vacío)
Observación: ∅ ≠ {∅}
Definición (Conjunto universal)El conjunto universal, denotado 𝑈 , contiene todos los objetos bajo conside-ración.
Lógica - CM0260. Teoría de conjuntos 19/143
![Page 20: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/20.jpg)
El conjunto vacío y el conjunto universal
Definición (Conjunto vacío)El conjunto vacío, denotado ∅, es el conjunto que no tiene elementos, esdecir,
∅ = {𝑥 ∣ 𝑥 ≠ 𝑥}.
La anterior definición proviene del axioma
∃𝐴∀𝑥(𝑥 ∉ 𝐴) (axioma del conjunto vacío)
Observación: ∅ ≠ {∅}
Definición (Conjunto universal)El conjunto universal, denotado 𝑈 , contiene todos los objetos bajo conside-ración.
Lógica - CM0260. Teoría de conjuntos 20/143
![Page 21: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/21.jpg)
El conjunto vacío y el conjunto universal
Definición (Conjunto vacío)El conjunto vacío, denotado ∅, es el conjunto que no tiene elementos, esdecir,
∅ = {𝑥 ∣ 𝑥 ≠ 𝑥}.
La anterior definición proviene del axioma
∃𝐴∀𝑥(𝑥 ∉ 𝐴) (axioma del conjunto vacío)
Observación: ∅ ≠ {∅}
Definición (Conjunto universal)El conjunto universal, denotado 𝑈 , contiene todos los objetos bajo conside-ración.
Lógica - CM0260. Teoría de conjuntos 21/143
![Page 22: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/22.jpg)
El conjunto vacío y el conjunto universal
Definición (Conjunto vacío)El conjunto vacío, denotado ∅, es el conjunto que no tiene elementos, esdecir,
∅ = {𝑥 ∣ 𝑥 ≠ 𝑥}.
La anterior definición proviene del axioma
∃𝐴∀𝑥(𝑥 ∉ 𝐴) (axioma del conjunto vacío)
Observación: ∅ ≠ {∅}
Definición (Conjunto universal)El conjunto universal, denotado 𝑈 , contiene todos los objetos bajo conside-ración.
Lógica - CM0260. Teoría de conjuntos 22/143
![Page 23: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/23.jpg)
Relación de pertenencia
Ejercicio (Rosen [2004], problema 8, pág. 78)Determinar si cada una de estas sentencias es verdadera o falsa.a. ∅ ∈ {∅}b. ∅ ∈ {∅, {∅}}c. {∅} ∈ {∅}
Lógica - CM0260. Teoría de conjuntos 23/143
![Page 24: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/24.jpg)
Relación de pertenencia
Ejercicio (Rosen [2004], problema 8, pág. 78)Determinar si cada una de estas sentencias es verdadera o falsa.a. ∅ ∈ {∅} (verdadera)b. ∅ ∈ {∅, {∅}} (verdadera)c. {∅} ∈ {∅} (falsa)
Lógica - CM0260. Teoría de conjuntos 24/143
![Page 25: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/25.jpg)
Subconjuntos
Definición (Subconjunto)El conjunto 𝐴 se dice que es un subconjunto del conjunto 𝐵 (denotado𝐴 ⊆ 𝐵) si, y sólo si, todo elemento de 𝐴 es también elemento de 𝐵, esdecir
𝐴 ⊆ 𝐵 sii ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵).
Por lo tanto, si el conjunto 𝐴 no es subconjunto del conjunto 𝐵 significaque algún elemento de 𝐴 no es elemento de 𝐵, es decir,
¬(𝐴 ⊆ 𝐵) sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵).
TeoremaPara cualquier conjunto 𝐴, ∅ ⊆ 𝐴 y 𝐴 ⊆ 𝐴.
Lógica - CM0260. Teoría de conjuntos 25/143
![Page 26: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/26.jpg)
Subconjuntos
Definición (Subconjunto)El conjunto 𝐴 se dice que es un subconjunto del conjunto 𝐵 (denotado𝐴 ⊆ 𝐵) si, y sólo si, todo elemento de 𝐴 es también elemento de 𝐵, esdecir
𝐴 ⊆ 𝐵 sii ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵).
Por lo tanto, si el conjunto 𝐴 no es subconjunto del conjunto 𝐵 significaque algún elemento de 𝐴 no es elemento de 𝐵, es decir,
¬(𝐴 ⊆ 𝐵) sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵).
TeoremaPara cualquier conjunto 𝐴, ∅ ⊆ 𝐴 y 𝐴 ⊆ 𝐴.
Lógica - CM0260. Teoría de conjuntos 26/143
![Page 27: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/27.jpg)
SubconjuntosIgualdad entre conjuntosSean 𝐴 y 𝐵 conjuntos, entonces
𝐴 = 𝐵 sii 𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐴.
Definición (Subconjunto propio)El conjunto 𝐴 se dice que es un subconjunto propio del conjunto 𝐵 (deno-tado 𝐴 ⊂ 𝐵) cuando
𝐴 ⊂ 𝐵 sii 𝐴 ⊆ 𝐵 ∧ 𝐴 ≠ 𝐵.
Lógica - CM0260. Teoría de conjuntos 27/143
![Page 28: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/28.jpg)
SubconjuntosIgualdad entre conjuntosSean 𝐴 y 𝐵 conjuntos, entonces
𝐴 = 𝐵 sii 𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐴.
Definición (Subconjunto propio)El conjunto 𝐴 se dice que es un subconjunto propio del conjunto 𝐵 (deno-tado 𝐴 ⊂ 𝐵) cuando
𝐴 ⊂ 𝐵 sii 𝐴 ⊆ 𝐵 ∧ 𝐴 ≠ 𝐵.
Lógica - CM0260. Teoría de conjuntos 28/143
![Page 29: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/29.jpg)
Subconjuntos
Ejercicio (Rosen [2004], problema 8, pág. 78)Determinar si cada una de estas sentencias es verdadera o falsa.e. {∅} ⊂ {∅, {∅}}f. {{∅}} ⊂ {∅, {∅}}
Lógica - CM0260. Teoría de conjuntos 29/143
![Page 30: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/30.jpg)
Subconjuntos
Ejercicio (Rosen [2004], problema 8, pág. 78)Determinar si cada una de estas sentencias es verdadera o falsa.e. {∅} ⊂ {∅, {∅}} (verdadera)f. {{∅}} ⊂ {∅, {∅}} (verdadera)
Lógica - CM0260. Teoría de conjuntos 30/143
![Page 31: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/31.jpg)
SubconjuntosEjemplo
Formulación 1 (Rosen [2004], problema 11, pág. 78)Supongamos que 𝐴, 𝐵 y 𝐶 son conjuntos tales 𝐴 ⊆ 𝐵 y 𝐵 ⊆ 𝐶.Demostrar que 𝐴 ⊆ 𝐶.
Formulación 2 (Sierra A. [2010], ejercicio 1.1, pág. 3)Sean 𝐴, 𝐵 y 𝐶 conjuntos arbitrarios. Demostrar que𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 → 𝐴 ⊆ 𝐶.
Formulación 3Demostrar la validez del siguiente argumento:
𝐴 ⊆ 𝐵𝐵 ⊆ 𝐶 /∴ 𝐴 ⊆ 𝐶
Lógica - CM0260. Teoría de conjuntos 31/143
![Page 32: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/32.jpg)
SubconjuntosEjemplo
Formulación 1 (Rosen [2004], problema 11, pág. 78)Supongamos que 𝐴, 𝐵 y 𝐶 son conjuntos tales 𝐴 ⊆ 𝐵 y 𝐵 ⊆ 𝐶.Demostrar que 𝐴 ⊆ 𝐶.
Formulación 2 (Sierra A. [2010], ejercicio 1.1, pág. 3)Sean 𝐴, 𝐵 y 𝐶 conjuntos arbitrarios. Demostrar que𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 → 𝐴 ⊆ 𝐶.
Formulación 3Demostrar la validez del siguiente argumento:
𝐴 ⊆ 𝐵𝐵 ⊆ 𝐶 /∴ 𝐴 ⊆ 𝐶
Lógica - CM0260. Teoría de conjuntos 32/143
![Page 33: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/33.jpg)
SubconjuntosEjemplo
Formulación 1 (Rosen [2004], problema 11, pág. 78)Supongamos que 𝐴, 𝐵 y 𝐶 son conjuntos tales 𝐴 ⊆ 𝐵 y 𝐵 ⊆ 𝐶.Demostrar que 𝐴 ⊆ 𝐶.
Formulación 2 (Sierra A. [2010], ejercicio 1.1, pág. 3)Sean 𝐴, 𝐵 y 𝐶 conjuntos arbitrarios. Demostrar que𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 → 𝐴 ⊆ 𝐶.
Formulación 3Demostrar la validez del siguiente argumento:
𝐴 ⊆ 𝐵𝐵 ⊆ 𝐶 /∴ 𝐴 ⊆ 𝐶
Lógica - CM0260. Teoría de conjuntos 33/143
![Page 34: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/34.jpg)
SubconjuntosEjemplo (continuación)
Solución de Rosen [2004]Supongamos que 𝑥 ∈ 𝐴. Co-mo 𝐴 ⊆ 𝐵 esto implica que𝑥 ∈ 𝐵. Como 𝐵 ⊆ 𝐶, vemosque 𝑥 ∈ 𝐶. Como 𝑥 ∈ 𝐴 im-plica que 𝑥 ∈ 𝐶, se deduceque 𝐴 ⊆ 𝐶.(Rosen [2004, §1.5] presentavarios ejemplos de este tipo depruebas)
Prueba formal1 𝐴 ⊆ 𝐵2 𝐵 ⊆ 𝐶 /∴ 𝐴 ⊆ 𝐶3 ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) Def. ⊆, 14 ∀𝑥(𝑥 ∈ 𝐵 → 𝑥 ∈ 𝐶) Def. ⊆, 25 𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵 UI 36 𝑥 ∈ 𝐵 → 𝑥 ∈ 𝐶 UI 47 𝑥 ∈ 𝐴 ACP8 𝑥 ∈ 𝐵 MP 5, 79 𝑥 ∈ 𝐶 MP 6, 8
10 𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐶 CP 7–911 ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐶) UG 1012 𝐴 ⊆ 𝐶 Def. ⊆, 11
Lógica - CM0260. Teoría de conjuntos 34/143
![Page 35: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/35.jpg)
SubconjuntosEjemplo (continuación)
Solución de Rosen [2004]Supongamos que 𝑥 ∈ 𝐴. Co-mo 𝐴 ⊆ 𝐵 esto implica que𝑥 ∈ 𝐵. Como 𝐵 ⊆ 𝐶, vemosque 𝑥 ∈ 𝐶. Como 𝑥 ∈ 𝐴 im-plica que 𝑥 ∈ 𝐶, se deduceque 𝐴 ⊆ 𝐶.(Rosen [2004, §1.5] presentavarios ejemplos de este tipo depruebas)
Prueba formal1 𝐴 ⊆ 𝐵2 𝐵 ⊆ 𝐶 /∴ 𝐴 ⊆ 𝐶3 ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) Def. ⊆, 14 ∀𝑥(𝑥 ∈ 𝐵 → 𝑥 ∈ 𝐶) Def. ⊆, 25 𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵 UI 36 𝑥 ∈ 𝐵 → 𝑥 ∈ 𝐶 UI 47 𝑥 ∈ 𝐴 ACP8 𝑥 ∈ 𝐵 MP 5, 79 𝑥 ∈ 𝐶 MP 6, 8
10 𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐶 CP 7–911 ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐶) UG 1012 𝐴 ⊆ 𝐶 Def. ⊆, 11
Lógica - CM0260. Teoría de conjuntos 35/143
![Page 36: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/36.jpg)
SubconjuntosObservaciónRecordar que
1 no se puede demostrar empleando un ejemplo y2 un contraejemplo se puede usar para refutar.
Ejemplo (Sierra A. [2010], ejercicio 1.2, pág. 3)Sean 𝐴, 𝐵 y 𝐶 conjuntos arbitrarios. Demostrar o refutar que𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 → ¬(𝐴 ⊆ 𝐶).
Lógica - CM0260. Teoría de conjuntos 36/143
![Page 37: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/37.jpg)
SubconjuntosObservaciónRecordar que
1 no se puede demostrar empleando un ejemplo y2 un contraejemplo se puede usar para refutar.
Ejemplo (Sierra A. [2010], ejercicio 1.2, pág. 3)Sean 𝐴, 𝐵 y 𝐶 conjuntos arbitrarios. Demostrar o refutar que𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 → ¬(𝐴 ⊆ 𝐶).
Lógica - CM0260. Teoría de conjuntos 37/143
![Page 38: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/38.jpg)
Subconjuntos
Ejercicio (Sierra A. [2010], ejercicio 1.17, pág. 3)Sean 𝐴 y 𝐵 conjuntos arbitrarios. Demostrar formalmente o refutar elsiguiente argumento:
1 𝐴 ≠ 𝐵2 𝐴 ⊆ 𝐵 /∴ ¬(𝐵 ⊆ 𝐴)
3 (∃𝑥)(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ (∃𝑥)(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴) Def. ≠, 1
4 (∀𝑥)(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) Def. ⊆, 2
5 ¬(∃𝑥)¬(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) CQ 4
6 ¬(∃𝑥)(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) Impl, DM 5
7 (∃𝑥)(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴) DS 3, 6
8 ¬(𝐵 ⊆ 𝐴) Def. ⊆, 7
Lógica - CM0260. Teoría de conjuntos 38/143
![Page 39: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/39.jpg)
Subconjuntos
Ejercicio (Sierra A. [2010], ejercicio 1.17, pág. 3)Sean 𝐴 y 𝐵 conjuntos arbitrarios. Demostrar formalmente o refutar elsiguiente argumento:
1 𝐴 ≠ 𝐵2 𝐴 ⊆ 𝐵 /∴ ¬(𝐵 ⊆ 𝐴)3 (∃𝑥)(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ (∃𝑥)(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴) Def. ≠, 1
4 (∀𝑥)(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) Def. ⊆, 2
5 ¬(∃𝑥)¬(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) CQ 4
6 ¬(∃𝑥)(𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) Impl, DM 5
7 (∃𝑥)(𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴) DS 3, 6
8 ¬(𝐵 ⊆ 𝐴) Def. ⊆, 7
Lógica - CM0260. Teoría de conjuntos 39/143
![Page 40: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/40.jpg)
Subconjuntos
Ejercicio (Sierra A. [2010], ejercicio 1.32, pág. 3)Sean 𝐴 y 𝐵 conjuntos arbitrarios. Demostrar o refutar que𝐴 ∈ 𝐵 → 𝐴 ⊆ 𝐵.
Refutación (contraejemplo): Sea 𝐴 = {1} y 𝐵 = {{1}, 2}. Entonces𝐴 ∈ 𝐵, pero 𝐴 no es subconjunto de 𝐵.
Lógica - CM0260. Teoría de conjuntos 40/143
![Page 41: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/41.jpg)
Subconjuntos
Ejercicio (Sierra A. [2010], ejercicio 1.32, pág. 3)Sean 𝐴 y 𝐵 conjuntos arbitrarios. Demostrar o refutar que𝐴 ∈ 𝐵 → 𝐴 ⊆ 𝐵.Refutación (contraejemplo): Sea 𝐴 = {1} y 𝐵 = {{1}, 2}. Entonces𝐴 ∈ 𝐵, pero 𝐴 no es subconjunto de 𝐵.
Lógica - CM0260. Teoría de conjuntos 41/143
![Page 42: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/42.jpg)
Conjuntos finitos e infinitos
Definición (Cardinalidad)El número de elementos distintos en un conjunto 𝐴, denotado |𝐴|, es lla-mado la cardinalidad de 𝐴.
Definición (Conjuntos finito e infinitos)Sea 𝐴 un conjunto. Si |𝐴| = 𝑛, con 𝑛 ∈ ℕ, entonces 𝐴 es un conjuntofinito, de lo contrario, 𝐴 es un conjunto infinito.
Ejemplos|∅| = 0,
|{𝑎, 𝑒, 𝑖, 𝑜, 𝑢}| = |{𝑎, 𝑎, 𝑎, 𝑎, 𝑒, 𝑖, 𝑜, 𝑢}|= 5.
Lógica - CM0260. Teoría de conjuntos 42/143
![Page 43: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/43.jpg)
Conjuntos finitos e infinitos
Definición (Cardinalidad)El número de elementos distintos en un conjunto 𝐴, denotado |𝐴|, es lla-mado la cardinalidad de 𝐴.
Definición (Conjuntos finito e infinitos)Sea 𝐴 un conjunto. Si |𝐴| = 𝑛, con 𝑛 ∈ ℕ, entonces 𝐴 es un conjuntofinito, de lo contrario, 𝐴 es un conjunto infinito.
Ejemplos|∅| = 0,
|{𝑎, 𝑒, 𝑖, 𝑜, 𝑢}| = |{𝑎, 𝑎, 𝑎, 𝑎, 𝑒, 𝑖, 𝑜, 𝑢}|= 5.
Lógica - CM0260. Teoría de conjuntos 43/143
![Page 44: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/44.jpg)
Conjuntos finitos e infinitos
Definición (Cardinalidad)El número de elementos distintos en un conjunto 𝐴, denotado |𝐴|, es lla-mado la cardinalidad de 𝐴.
Definición (Conjuntos finito e infinitos)Sea 𝐴 un conjunto. Si |𝐴| = 𝑛, con 𝑛 ∈ ℕ, entonces 𝐴 es un conjuntofinito, de lo contrario, 𝐴 es un conjunto infinito.
Ejemplos|∅| = 0,
|{𝑎, 𝑒, 𝑖, 𝑜, 𝑢}| = |{𝑎, 𝑎, 𝑎, 𝑎, 𝑒, 𝑖, 𝑜, 𝑢}|= 5.
Lógica - CM0260. Teoría de conjuntos 44/143
![Page 45: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/45.jpg)
El conjunto de partes de un conjunto
Definición (Conjunto de partes)El conjunto de todos los subconjuntos de un conjunto 𝐴, denotado 𝑃(𝐴),es llamado el conjunto de partes (o conjunto potencia) de 𝐴, es decir,
𝑃(𝐴) = {𝑥 ∣ 𝑥 ⊆ 𝐴}.
La anterior definición proviene del axioma
∀𝐴∃𝐵∀𝑥(𝑥 ∈ 𝐵 ↔ 𝑥 ⊆ 𝐴) (axioma del conjunto potencia)
Ejemplo𝑃 ({1, 2, 3}) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Lógica - CM0260. Teoría de conjuntos 45/143
![Page 46: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/46.jpg)
El conjunto de partes de un conjunto
Definición (Conjunto de partes)El conjunto de todos los subconjuntos de un conjunto 𝐴, denotado 𝑃(𝐴),es llamado el conjunto de partes (o conjunto potencia) de 𝐴, es decir,
𝑃(𝐴) = {𝑥 ∣ 𝑥 ⊆ 𝐴}.
La anterior definición proviene del axioma
∀𝐴∃𝐵∀𝑥(𝑥 ∈ 𝐵 ↔ 𝑥 ⊆ 𝐴) (axioma del conjunto potencia)
Ejemplo𝑃 ({1, 2, 3}) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Lógica - CM0260. Teoría de conjuntos 46/143
![Page 47: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/47.jpg)
El conjunto de partes de un conjunto
Definición (Conjunto de partes)El conjunto de todos los subconjuntos de un conjunto 𝐴, denotado 𝑃(𝐴),es llamado el conjunto de partes (o conjunto potencia) de 𝐴, es decir,
𝑃(𝐴) = {𝑥 ∣ 𝑥 ⊆ 𝐴}.
La anterior definición proviene del axioma
∀𝐴∃𝐵∀𝑥(𝑥 ∈ 𝐵 ↔ 𝑥 ⊆ 𝐴) (axioma del conjunto potencia)
Ejemplo𝑃 ({1, 2, 3}) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Lógica - CM0260. Teoría de conjuntos 47/143
![Page 48: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/48.jpg)
El conjunto de partes de un conjuntoTeoremaSea 𝐴 un conjunto. Si |𝐴| = 𝑛 ∈ ℕ, entonces |𝑃 (𝐴)| = 2𝑛.
(La demostración de este teorema emplea inducción matemática la cual serávista en un curso posterior.)
Ejercicio (Rosen [2004], problema 15, pág. 79)Hallar el conjunto de partes de {∅, {∅}}.Solución: 𝑃({∅, {∅}}) = {∅, {∅}, {{∅}}, {∅, {∅}}}.
Lógica - CM0260. Teoría de conjuntos 48/143
![Page 49: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/49.jpg)
El conjunto de partes de un conjuntoTeoremaSea 𝐴 un conjunto. Si |𝐴| = 𝑛 ∈ ℕ, entonces |𝑃 (𝐴)| = 2𝑛.(La demostración de este teorema emplea inducción matemática la cual serávista en un curso posterior.)
Ejercicio (Rosen [2004], problema 15, pág. 79)Hallar el conjunto de partes de {∅, {∅}}.Solución: 𝑃({∅, {∅}}) = {∅, {∅}, {{∅}}, {∅, {∅}}}.
Lógica - CM0260. Teoría de conjuntos 49/143
![Page 50: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/50.jpg)
El conjunto de partes de un conjuntoTeoremaSea 𝐴 un conjunto. Si |𝐴| = 𝑛 ∈ ℕ, entonces |𝑃 (𝐴)| = 2𝑛.(La demostración de este teorema emplea inducción matemática la cual serávista en un curso posterior.)
Ejercicio (Rosen [2004], problema 15, pág. 79)Hallar el conjunto de partes de {∅, {∅}}.
Solución: 𝑃({∅, {∅}}) = {∅, {∅}, {{∅}}, {∅, {∅}}}.
Lógica - CM0260. Teoría de conjuntos 50/143
![Page 51: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/51.jpg)
El conjunto de partes de un conjuntoTeoremaSea 𝐴 un conjunto. Si |𝐴| = 𝑛 ∈ ℕ, entonces |𝑃 (𝐴)| = 2𝑛.(La demostración de este teorema emplea inducción matemática la cual serávista en un curso posterior.)
Ejercicio (Rosen [2004], problema 15, pág. 79)Hallar el conjunto de partes de {∅, {∅}}.Solución: 𝑃({∅, {∅}}) = {∅, {∅}, {{∅}}, {∅, {∅}}}.
Lógica - CM0260. Teoría de conjuntos 51/143
![Page 52: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/52.jpg)
El conjunto de partes de un conjunto
Ejercicio (Rosen [2004], problema complementario 35, pág. 107)Supongamos que 𝐴 y 𝐵 son conjuntos tales que el conjunto de las partesde 𝐴 es subconjunto del conjunto de las partes de 𝐵. ¿Se puede concluirque 𝐴 es subconjunto de 𝐵? Justificar su respuesta.
Respuesta: Si se puede concluir que 𝐴 ⊆ 𝐵.Justificación: Supongamos que 𝐴 no es subconjunto de 𝐵, es decir, existeun 𝑥 tal que 𝑥 ∈ 𝐴 y 𝑥 ∉ 𝐵. Entonces {𝑥} ∈ 𝑃(𝐴) pero {𝑥} ∉ 𝑃(𝐵), esdecir, 𝑃(𝐴) no es subconjunto de 𝑃(𝐵). Lo anterior contradice elsupuesto de que 𝑃(𝐴) ⊆ 𝑃(𝐵).
Lógica - CM0260. Teoría de conjuntos 52/143
![Page 53: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/53.jpg)
El conjunto de partes de un conjunto
Ejercicio (Rosen [2004], problema complementario 35, pág. 107)Supongamos que 𝐴 y 𝐵 son conjuntos tales que el conjunto de las partesde 𝐴 es subconjunto del conjunto de las partes de 𝐵. ¿Se puede concluirque 𝐴 es subconjunto de 𝐵? Justificar su respuesta.Respuesta: Si se puede concluir que 𝐴 ⊆ 𝐵.Justificación: Supongamos que 𝐴 no es subconjunto de 𝐵, es decir, existeun 𝑥 tal que 𝑥 ∈ 𝐴 y 𝑥 ∉ 𝐵. Entonces {𝑥} ∈ 𝑃(𝐴) pero {𝑥} ∉ 𝑃(𝐵), esdecir, 𝑃(𝐴) no es subconjunto de 𝑃(𝐵). Lo anterior contradice elsupuesto de que 𝑃(𝐴) ⊆ 𝑃 (𝐵).
Lógica - CM0260. Teoría de conjuntos 53/143
![Page 54: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/54.jpg)
Tuplas ordenadas
Definición (𝑛-tupla ordenada)La 𝑛-tupla ordenada (𝑎1, 𝑎2, … , 𝑎𝑛) es la colección ordenada en la que 𝑎1es su primer elemento, 𝑎2 es el segundo elemento,… y 𝑎𝑛 es el 𝑛-ésimoelemento.
Definición (Igualdad de 𝑛-tuplas ordenadas)Dos 𝑛-tuplas ordenadas son iguales si, y sólo si, cada par correspondientede sus elementos son iguales. Es decir,
(𝑎1, 𝑎2, … , 𝑎𝑛) = (𝑏1, 𝑏2, … , 𝑏𝑛) sii 𝑎𝑖 = 𝑏𝑖 para 𝑖 = 1, 2, … , 𝑛.
Lógica - CM0260. Teoría de conjuntos 54/143
![Page 55: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/55.jpg)
Tuplas ordenadas
Definición (𝑛-tupla ordenada)La 𝑛-tupla ordenada (𝑎1, 𝑎2, … , 𝑎𝑛) es la colección ordenada en la que 𝑎1es su primer elemento, 𝑎2 es el segundo elemento,… y 𝑎𝑛 es el 𝑛-ésimoelemento.
Definición (Igualdad de 𝑛-tuplas ordenadas)Dos 𝑛-tuplas ordenadas son iguales si, y sólo si, cada par correspondientede sus elementos son iguales. Es decir,
(𝑎1, 𝑎2, … , 𝑎𝑛) = (𝑏1, 𝑏2, … , 𝑏𝑛) sii 𝑎𝑖 = 𝑏𝑖 para 𝑖 = 1, 2, … , 𝑛.
Lógica - CM0260. Teoría de conjuntos 55/143
![Page 56: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/56.jpg)
Producto cartesiano
Definición (Producto cartesiano de 2 conjuntos)El producto cartesiano de dos conjuntos 𝐴 y 𝐵, denotado 𝐴 × 𝐵, es elconjunto de pares ordenados
𝐴 × 𝐵 = {(𝑎, 𝑏) ∣ 𝑎 ∈ 𝐴 ∧ 𝑏 ∈ 𝐵}.
EjemploSea 𝐴 = {𝑎, 𝑏} y 𝐵 = {1, 2}. Entonces
𝐴 × 𝐵 = {(𝑎, 1), (𝑎, 2), (𝑏, 1), (𝑏, 2)}.
Lógica - CM0260. Teoría de conjuntos 56/143
![Page 57: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/57.jpg)
Producto cartesiano
Definición (Producto cartesiano de 2 conjuntos)El producto cartesiano de dos conjuntos 𝐴 y 𝐵, denotado 𝐴 × 𝐵, es elconjunto de pares ordenados
𝐴 × 𝐵 = {(𝑎, 𝑏) ∣ 𝑎 ∈ 𝐴 ∧ 𝑏 ∈ 𝐵}.EjemploSea 𝐴 = {𝑎, 𝑏} y 𝐵 = {1, 2}. Entonces
𝐴 × 𝐵 = {(𝑎, 1), (𝑎, 2), (𝑏, 1), (𝑏, 2)}.
Lógica - CM0260. Teoría de conjuntos 57/143
![Page 58: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/58.jpg)
Producto cartesiano
Ejercicio (Rosen [2004], problema 22, pág. 79)Supongamos que 𝐴 × 𝐵 = ∅, donde 𝐴 y 𝐵 son conjuntos. ¿Qué se puedeconcluir?
Solución: 𝐴 y/o 𝐵 son el conjunto vacío.
Lógica - CM0260. Teoría de conjuntos 58/143
![Page 59: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/59.jpg)
Producto cartesiano
Ejercicio (Rosen [2004], problema 22, pág. 79)Supongamos que 𝐴 × 𝐵 = ∅, donde 𝐴 y 𝐵 son conjuntos. ¿Qué se puedeconcluir?Solución: 𝐴 y/o 𝐵 son el conjunto vacío.
Lógica - CM0260. Teoría de conjuntos 59/143
![Page 60: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/60.jpg)
Producto cartesiano
Teorema (Rosen [2004], problema 23, pág. 79)Sea 𝐴 un conjunto, entonces 𝐴 × ∅ = ∅ × 𝐴 = ∅.
Demostración.𝐴 × ∅ = {(𝑥, 𝑦) ∣ 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ ∅} (def. producto cartesiano)
= ∅ (def. conjunto vacío)= {(𝑥, 𝑦) ∣ 𝑥 ∈ ∅ ∧ 𝑦 ∈ 𝐴} (def. conjunto vacío)= ∅ × 𝐴 (def. producto cartesiano)
Lógica - CM0260. Teoría de conjuntos 60/143
![Page 61: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/61.jpg)
Producto cartesianoEjercicioSupongamos que 𝐴 × 𝐵 = 𝐵 × 𝐴, donde 𝐴 y 𝐵 son conjuntos. ¿Qué sepuede concluir?
Solución: 𝐴 y/o 𝐵 son el conjunto vacío o 𝐴 = 𝐵.
Lógica - CM0260. Teoría de conjuntos 61/143
![Page 62: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/62.jpg)
Producto cartesianoEjercicioSupongamos que 𝐴 × 𝐵 = 𝐵 × 𝐴, donde 𝐴 y 𝐵 son conjuntos. ¿Qué sepuede concluir?Solución: 𝐴 y/o 𝐵 son el conjunto vacío o 𝐴 = 𝐵.
Lógica - CM0260. Teoría de conjuntos 62/143
![Page 63: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/63.jpg)
Producto cartesiano
Teorema (Rosen [2004], problema 26, pág. 79)El producto cartesiano no es conmutativo, es decir, 𝐴 × 𝐵 ≠ 𝐵 × 𝐴 paraconjuntos 𝐴 y 𝐵 no vacíos, a no ser que 𝐴 = 𝐵.
Lógica - CM0260. Teoría de conjuntos 63/143
![Page 64: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/64.jpg)
Producto cartesiano
Definición (Producto cartesiano de 𝑛 conjuntos)El producto cartesiano de 𝑛 conjuntos 𝐴1, 𝐴2, … , 𝐴𝑛, denotado 𝐴1 ×𝐴2 ×⋯ × 𝐴𝑛, es el conjunto de 𝑛-tuplas
{(𝑎1, 𝑎2, … , 𝑎𝑛) ∣ 𝑎𝑖 ∈ 𝐴𝑖 para 𝑖 = 1, 2, … , 𝑛}.
Lógica - CM0260. Teoría de conjuntos 64/143
![Page 65: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/65.jpg)
Uso de notación de conjunto con cuantificadoresEscribir explícitamente el dominio de cuantificación
∀𝑥 ∈ 𝐴 𝑃(𝑥): Cuantificación universal de 𝑃(𝑥) donde el dominio esel conjunto 𝐴.
∃𝑥 ∈ 𝐴 𝑃(𝑥): Cuantificación existencial de 𝑃(𝑥) donde el dominio esel conjunto 𝐴.
Ejemplos∀𝑥 ∈ ℝ (𝑥2 ≥ 0)∃𝑥 ∈ ℤ (𝑥2 = 1)
Lógica - CM0260. Teoría de conjuntos 65/143
![Page 66: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/66.jpg)
Uso de notación de conjunto con cuantificadoresEscribir explícitamente el dominio de cuantificación
∀𝑥 ∈ 𝐴 𝑃(𝑥): Cuantificación universal de 𝑃(𝑥) donde el dominio esel conjunto 𝐴.
∃𝑥 ∈ 𝐴 𝑃(𝑥): Cuantificación existencial de 𝑃(𝑥) donde el dominio esel conjunto 𝐴.
Ejemplos∀𝑥 ∈ ℝ (𝑥2 ≥ 0)∃𝑥 ∈ ℤ (𝑥2 = 1)
Lógica - CM0260. Teoría de conjuntos 66/143
![Page 67: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/67.jpg)
Teoría de conjuntos ingenua (Naïve set theory)
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Especificación de conjuntos por predicadosSea 𝑃(𝑥) un predicado, entonces definimos un conjunto 𝑆 por
𝑆 = {𝑥 ∣ 𝑃 (𝑥)}.
Ejemplo𝑆 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 67/143
![Page 68: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/68.jpg)
Teoría de conjuntos ingenua (Naïve set theory)
Definición (Conjunto)Un conjunto es una colección desordenada de objetos, o elementos o miem-bros.
Especificación de conjuntos por predicadosSea 𝑃(𝑥) un predicado, entonces definimos un conjunto 𝑆 por
𝑆 = {𝑥 ∣ 𝑃 (𝑥)}.Ejemplo
𝑆 = {𝑥 ∣ 𝑥 es un entero positivo menor que 10}.
Lógica - CM0260. Teoría de conjuntos 68/143
![Page 69: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/69.jpg)
Teoría de conjuntos ingenua (Naïve set theory)
Gottlob Frege(1848 – 1925)
Bertrand Russell(1872 – 1970)
Lógica - CM0260. Teoría de conjuntos 69/143
![Page 70: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/70.jpg)
Teoría de conjuntos ingenua (Naïve set theory)
Carta de Russell a van Heijenoort6
Penrhyndeudraeth, 23 November 1962Dear Professor van Heijenoort,As I think about acts of integrity and grace, I realise there is nothing in my know-ledge to compare with Frege’s dedication to truth. His entire life’s work was onthe verge of completion, much of his work had been ignored to the benefit of meninfinitely less capable, his second volume was about to be published, and upon fin-ding that his fundamental assumption was in error, he responded with intellectualpleasure clearly submerging any feelings of personal disappointment. It was almostsuperhuman and a telling indication of that of which men are capable if their dedi-cation is to creative work and knowledge instead of cruder efforts to dominate andbe known.
Yours sincerelyBertrand Russell
6van Heijenoort, Jean (1967). From Frege to Gödel: A Source Book in MathematicalLogic, 1879-1931, pág. 127.
Lógica - CM0260. Teoría de conjuntos 70/143
![Page 71: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/71.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.
Por lo tanto, el conjunto 𝑆 no se puede definir.Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).Algunas soluciones:
Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 71/143
![Page 72: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/72.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.
Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.Por lo tanto, el conjunto 𝑆 no se puede definir.Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).Algunas soluciones:
Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 72/143
![Page 73: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/73.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.
Por lo tanto, el conjunto 𝑆 no se puede definir.Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).Algunas soluciones:
Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 73/143
![Page 74: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/74.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.
Por lo tanto, el conjunto 𝑆 no se puede definir.
Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).Algunas soluciones:
Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 74/143
![Page 75: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/75.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.
Por lo tanto, el conjunto 𝑆 no se puede definir.Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).
Algunas soluciones:Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 75/143
![Page 76: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/76.jpg)
Teoría de conjuntos ingenua (Naïve set theory)Paradoja de RussellSea 𝑆 = {𝑥 ∣ 𝑥 ∉ 𝑥}. Es decir, 𝑆 contiene a los conjuntos que no secontienen a si mismos.
Si 𝑆 ∈ 𝑆, esto conduce a una contradicción.Si 𝑆 ∉ 𝑆, esto conduce a una contradicción.
Por lo tanto, el conjunto 𝑆 no se puede definir.Problema: 𝑆 = {𝑥 ∣ 𝑃 (𝑥)}, para cualquier 𝑃(𝑥).Algunas soluciones:
Teoría de tipos acumulativaTeoría de conjuntos axiomática de Zermelo-Fraenkel con axioma deelección (ZFC)
Lógica - CM0260. Teoría de conjuntos 76/143
![Page 77: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/77.jpg)
Operaciones entre conjuntos
Diagramas de Venn7
The set difference is the set A − B = A ∩ B = {x | (x ∈ A) ∧ (x /∈ B) }. The setdifference is sometimes written A \B.
The symmetric difference of A and B is the set A⊕B = {x | (x ∈ A−B) ∨ (x ∈B −A) }. This is sometimes written A2B.
The Cartesian product A×B of two sets A and B is the set { (a, b) | (a ∈ A) ∧ (b ∈B) }, which contains all ordered pairs whose first coordinate is from A and whose secondcoordinate is from B. The Cartesian product of A1, . . . , An is the set A1×A2×· · ·×An =∏n
i=1 Ai = { (a1, a2, . . . , an) | (∀i)(ai ∈ Ai) }, which contains all ordered n-tuples whoseith coordinate is from Ai. The Cartesian product A × A × · · · × A is also written An.If S is any set, the Cartesian product of the collection of sets As, where s ∈ S, is theset
∏s∈S As of all functions f :S →
⋃s∈S As such that f(s) ∈ As for all s ∈ S.
The power set of A is the set P(A) of all subsets of A. The alternative notation 2A
for P(A) emphasizes the fact that the power set has 2n elements if A has n elements.
A set expression is any expression built up from sets and set operations.
A set equation (or set identity) is an equation whose left side and right side are bothset expressions.
A system of distinct representatives (SDR) for a collection of sets A1, A2, . . . , An
(some of which may be equal) is a set {a1, a2, . . . , an} of n distinct elements such thatai ∈ Ai for i = 1, 2, . . . , n.
A Venn diagram is a family of n simple closed curves (typically circles or ellipses)arranged in the plane so that all possible intersections of the interiors are nonemptyand connected. (John Venn, 1834–1923)
A Venn diagram is simple if at most two curves intersect at any point of the plane.
A Venn diagram is reducible if there is a sequence of curves whose iterative removalleaves a Venn diagram at each step.
A membership table is a table used to calculate whether an object lies in the setdescribed by a set expression, based on its membership in the sets mentioned by theexpression.
Facts:
1. If a collection of sets is pairwise disjoint, then the collection is disjoint. The converseis false.
A BA
B C
2. The following figure illustrates Venn diagrams for two and three sets.
3. The following figure gives the Venn diagrams for sets constructed using various setoperations.
A B A B U
A
A B A
B C
(A ∩ B) - CA - B(A ∪ B)A ∩ B A
c© 2000 by CRC Press LLC
7Figura tomada de Rosen, Kenneth H. (2000). Handbook of Discrete andCombinatorial Mathematics.
Lógica - CM0260. Teoría de conjuntos 77/143
![Page 78: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/78.jpg)
Operaciones entre conjuntosOperaciones
𝐴 ∪ 𝐵 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵} (unión)𝐴 ∩ 𝐵 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} (intersección)
𝐴 = {𝑥 ∣ 𝑥 ∉ 𝐴} (complemento)𝐴 − 𝐵 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵} (diferencia)
donde1 𝑥 ∉ 𝐴 def= ¬(𝑥 ∈ 𝐴) y2 𝐴 está definido respecto a un conjunto universal 𝑈 dado.
Lógica - CM0260. Teoría de conjuntos 78/143
![Page 79: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/79.jpg)
Operaciones entre conjuntos
Ejercicio (Rosen [2004], problema 22.a, pág. 88)¿Se puede concluir que 𝐴 = 𝐵 si 𝐴, 𝐵 y 𝐶 son conjuntos tales que𝐴 ∪ 𝐶 = 𝐵 ∪ 𝐶? Justificar su respuesta.
Respuesta: No.Justificación (contraejemplo): Sea 𝐴 = {1}, 𝐵 = {2} y 𝐶 = {1, 2}.Entonces 𝐴 ∪ 𝐶 = 𝐵 ∪ 𝐶, pero 𝐴 ≠ 𝐵.
Lógica - CM0260. Teoría de conjuntos 79/143
![Page 80: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/80.jpg)
Operaciones entre conjuntos
Ejercicio (Rosen [2004], problema 22.a, pág. 88)¿Se puede concluir que 𝐴 = 𝐵 si 𝐴, 𝐵 y 𝐶 son conjuntos tales que𝐴 ∪ 𝐶 = 𝐵 ∪ 𝐶? Justificar su respuesta.Respuesta: No.Justificación (contraejemplo): Sea 𝐴 = {1}, 𝐵 = {2} y 𝐶 = {1, 2}.Entonces 𝐴 ∪ 𝐶 = 𝐵 ∪ 𝐶, pero 𝐴 ≠ 𝐵.
Lógica - CM0260. Teoría de conjuntos 80/143
![Page 81: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/81.jpg)
Operaciones entre conjuntos
Ejercicio (Rosen [2004], problema 21.c, pág. 88)Se puede concluir que 𝐵 = ∅ si 𝐴 y 𝐵 son conjuntos tales que𝐴 − 𝐵 = 𝐴? Justificar su respuesta.
Respuesta: No.Justificación (contraejemplo): Sea 𝐴 = {1} y 𝐵 = {2}. Entonces𝐴 − 𝐵 = 𝐴, pero 𝐵 ≠ ∅.
Lógica - CM0260. Teoría de conjuntos 81/143
![Page 82: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/82.jpg)
Operaciones entre conjuntos
Ejercicio (Rosen [2004], problema 21.c, pág. 88)Se puede concluir que 𝐵 = ∅ si 𝐴 y 𝐵 son conjuntos tales que𝐴 − 𝐵 = 𝐴? Justificar su respuesta.Respuesta: No.Justificación (contraejemplo): Sea 𝐴 = {1} y 𝐵 = {2}. Entonces𝐴 − 𝐵 = 𝐴, pero 𝐵 ≠ ∅.
Lógica - CM0260. Teoría de conjuntos 82/143
![Page 83: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/83.jpg)
Álgebras Booleanas
Teoría de conjuntos Lógica proposicional∪ ∨∩ ∧− ¬∅ F𝑈 V
Lógica - CM0260. Teoría de conjuntos 83/143
![Page 84: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/84.jpg)
Equivalencias lógicasNotación
Símbolo SignificadoV TautologíaF Contradicción𝑝 ≡ 𝑞 𝑝 y 𝑞 son lógicamente equivalentes
(es decir, 𝑝 ↔ 𝑞 es una tautología)
Observación: Rosen [2004] introduce las constantes lógicas V y F.
Lógica - CM0260. Teoría de conjuntos 84/143
![Page 85: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/85.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∨ 𝑝 ≡ 𝑝 Leyes idempotentes𝑝 ∧ 𝑝 ≡ 𝑝¬(¬𝑝) ≡ 𝑝 Ley de la doble negación𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝 Leyes conmutativas𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟) Leyes asociativas(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) Leyes distributivas𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)¬(𝑝 ∧ 𝑞) ≡ ¬𝑝 ∨ ¬𝑞 Leyes de De Morgan¬(𝑝 ∨ 𝑞) ≡ ¬𝑝 ∧ ¬𝑞
Lógica - CM0260. Teoría de conjuntos 85/143
![Page 86: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/86.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∧ V ≡ 𝑝 Leyes de identidad𝑝 ∨ F ≡ 𝑝
𝑝 ∨ V ≡ V Leyes de dominación𝑝 ∧ F ≡ F
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 Leyes de absorción𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝𝑝 ∨ ¬𝑝 ≡ V Leyes de negación𝑝 ∧ ¬𝑝 ≡ F
¬V ≡ F Ley de negación de tautología¬F ≡ V Ley de negación de contradicción
Lógica - CM0260. Teoría de conjuntos 86/143
![Page 87: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/87.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∧ V ≡ 𝑝 Leyes de identidad𝑝 ∨ F ≡ 𝑝𝑝 ∨ V ≡ V Leyes de dominación𝑝 ∧ F ≡ F
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 Leyes de absorción𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝𝑝 ∨ ¬𝑝 ≡ V Leyes de negación𝑝 ∧ ¬𝑝 ≡ F
¬V ≡ F Ley de negación de tautología¬F ≡ V Ley de negación de contradicción
Lógica - CM0260. Teoría de conjuntos 87/143
![Page 88: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/88.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∧ V ≡ 𝑝 Leyes de identidad𝑝 ∨ F ≡ 𝑝𝑝 ∨ V ≡ V Leyes de dominación𝑝 ∧ F ≡ F
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 Leyes de absorción𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∨ ¬𝑝 ≡ V Leyes de negación𝑝 ∧ ¬𝑝 ≡ F
¬V ≡ F Ley de negación de tautología¬F ≡ V Ley de negación de contradicción
Lógica - CM0260. Teoría de conjuntos 88/143
![Page 89: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/89.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∧ V ≡ 𝑝 Leyes de identidad𝑝 ∨ F ≡ 𝑝𝑝 ∨ V ≡ V Leyes de dominación𝑝 ∧ F ≡ F
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 Leyes de absorción𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝𝑝 ∨ ¬𝑝 ≡ V Leyes de negación𝑝 ∧ ¬𝑝 ≡ F
¬V ≡ F Ley de negación de tautología¬F ≡ V Ley de negación de contradicción
Lógica - CM0260. Teoría de conjuntos 89/143
![Page 90: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/90.jpg)
Equivalencias lógicasEquivalencia lógica Nombre𝑝 ∧ V ≡ 𝑝 Leyes de identidad𝑝 ∨ F ≡ 𝑝𝑝 ∨ V ≡ V Leyes de dominación𝑝 ∧ F ≡ F
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 Leyes de absorción𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝𝑝 ∨ ¬𝑝 ≡ V Leyes de negación𝑝 ∧ ¬𝑝 ≡ F
¬V ≡ F Ley de negación de tautología¬F ≡ V Ley de negación de contradicción
Lógica - CM0260. Teoría de conjuntos 90/143
![Page 91: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/91.jpg)
Identidades básicas entre conjuntosIdentidad básica Nombre𝐴 ∪ 𝐴 = 𝐴 Leyes idempotentes𝐴 ∩ 𝐴 = 𝐴(𝐴) = 𝐴 Ley de complementación𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴 Leyes conmutativas𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴(𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶) Leyes asociativas(𝐴 ∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶)𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) Leyes distributivas𝐴 ∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)𝐴 ∩ 𝐵 = 𝐴 ∪ 𝐵 Leyes de De Morgan𝐴 ∪ 𝐵 = 𝐴 ∩ 𝐵
Lógica - CM0260. Teoría de conjuntos 91/143
![Page 92: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/92.jpg)
Identidades básicas entre conjuntosIdentidad básica Nombre𝐴 ∩ 𝑈 = 𝐴 Leyes de identidad𝐴 ∪ ∅ = 𝐴𝐴 ∪ 𝑈 = 𝑈 Leyes de dominación𝐴 ∩ ∅ = ∅𝐴 ∪ (𝐴 ∩ 𝐵) = 𝐴 Leyes de absorción𝐴 ∩ (𝐴 ∪ 𝐵) = 𝐴𝐴 ∪ 𝐴 = 𝑈 Leyes de complemento𝐴 ∩ 𝐴 = ∅𝑈 = ∅ Ley del complemento del conjunto universal∅ = 𝑈 Ley del complemento del conjunto vacío
Lógica - CM0260. Teoría de conjuntos 92/143
![Page 93: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/93.jpg)
Identidades básicas entre conjuntosLas identidades básicas entre conjuntos se pueden demostrar empleando lasdefiniciones de las operaciones entre conjuntos y las equivalencias lógicas.
Ejemplo (Rosen [2004], problema 6.a, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de identidad 𝐴 ∪ ∅ = 𝐴.
Demostración.𝐴 ∪ ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ ∅} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ F} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 93/143
![Page 94: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/94.jpg)
Identidades básicas entre conjuntosLas identidades básicas entre conjuntos se pueden demostrar empleando lasdefiniciones de las operaciones entre conjuntos y las equivalencias lógicas.
Ejemplo (Rosen [2004], problema 6.a, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de identidad 𝐴 ∪ ∅ = 𝐴.
Demostración.𝐴 ∪ ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ ∅} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ F} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 94/143
![Page 95: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/95.jpg)
Identidades básicas entre conjuntosLas identidades básicas entre conjuntos se pueden demostrar empleando lasdefiniciones de las operaciones entre conjuntos y las equivalencias lógicas.
Ejemplo (Rosen [2004], problema 6.a, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de identidad 𝐴 ∪ ∅ = 𝐴.
Demostración.𝐴 ∪ ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ ∅} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ F} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 95/143
![Page 96: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/96.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.c, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de idempotencia 𝐴 ∪ 𝐴 = 𝐴.
Demostración.𝐴 ∪ 𝐴 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐴} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de idempotencia)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 96/143
![Page 97: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/97.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.c, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de idempotencia 𝐴 ∪ 𝐴 = 𝐴.
Demostración.𝐴 ∪ 𝐴 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐴} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de idempotencia)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 97/143
![Page 98: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/98.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.g, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de identidad 𝐴 ∩ 𝑈 = 𝐴.
Demostración.𝐴 ∩ 𝑈 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝑈} (def. intersección)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ V} (def. conjunto universal)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 98/143
![Page 99: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/99.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.g, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de identidad 𝐴 ∩ 𝑈 = 𝐴.
Demostración.𝐴 ∩ 𝑈 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝑈} (def. intersección)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ V} (def. conjunto universal)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 99/143
![Page 100: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/100.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.f, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de dominación 𝐴 ∪ 𝑈 = 𝑈 .
Demostración.𝐴 ∪ 𝑈 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝑈} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ V} (def. conjunto universal)= {𝑥 ∣ V} (ley lógica de dominancia)= {𝑥 ∣ 𝑥 ∈ 𝑈} (def. conjunto universal)= 𝑈 (def. 𝑈)
Lógica - CM0260. Teoría de conjuntos 100/143
![Page 101: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/101.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 6.f, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de dominación 𝐴 ∪ 𝑈 = 𝑈 .
Demostración.𝐴 ∪ 𝑈 = {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝑈} (def. unión)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ V} (def. conjunto universal)= {𝑥 ∣ V} (ley lógica de dominancia)= {𝑥 ∣ 𝑥 ∈ 𝑈} (def. conjunto universal)= 𝑈 (def. 𝑈)
Lógica - CM0260. Teoría de conjuntos 101/143
![Page 102: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/102.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 5, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de complementación (𝐴) = 𝐴.
Demostración.(𝐴) = {𝑥 ∣ 𝑥 ∉ 𝐴} (def. complemento)
= {𝑥 ∣ ¬(𝑥 ∈ 𝐴)} (def. ∉)= {𝑥 ∣ ¬(𝑥 ∉ 𝐴)} (def. complemento)= {𝑥 ∣ ¬[¬(𝑥 ∈ 𝐴)]} (def. ∉)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de la doble negación)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 102/143
![Page 103: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/103.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 5, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de complementación (𝐴) = 𝐴.
Demostración.(𝐴) = {𝑥 ∣ 𝑥 ∉ 𝐴} (def. complemento)
= {𝑥 ∣ ¬(𝑥 ∈ 𝐴)} (def. ∉)= {𝑥 ∣ ¬(𝑥 ∉ 𝐴)} (def. complemento)= {𝑥 ∣ ¬[¬(𝑥 ∈ 𝐴)]} (def. ∉)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de la doble negación)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 103/143
![Page 104: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/104.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 11, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de De Morgan 𝐴 ∪ 𝐵 = 𝐴 ∩ 𝐵.
Demostración.𝐴 ∪ 𝐵 = {𝑥 ∣ 𝑥 ∉ 𝐴 ∪ 𝐵} (def. complemento)
= {𝑥 ∣ ¬(𝑥 ∈ 𝐴 ∪ 𝐵} (def. ∉)= {𝑥 ∣ ¬(𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵)} (def. unión)= {𝑥 ∣ ¬(𝑥 ∈ 𝐴) ∧ ¬(𝑥 ∈ 𝐵)} (ley lógica de De Morgan)= {𝑥 ∣ 𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵} (def. ∉)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} (def. complemento)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∩ 𝐵} (def. intersección)= 𝐴 ∩ 𝐵 (def. 𝐴 ∩ 𝐵)
Lógica - CM0260. Teoría de conjuntos 104/143
![Page 105: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/105.jpg)
Identidades básicas entre conjuntos
Ejercicio (Rosen [2004], problema 11, pág. 87)Demostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley de De Morgan 𝐴 ∪ 𝐵 = 𝐴 ∩ 𝐵.
Demostración.𝐴 ∪ 𝐵 = {𝑥 ∣ 𝑥 ∉ 𝐴 ∪ 𝐵} (def. complemento)
= {𝑥 ∣ ¬(𝑥 ∈ 𝐴 ∪ 𝐵} (def. ∉)= {𝑥 ∣ ¬(𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵)} (def. unión)= {𝑥 ∣ ¬(𝑥 ∈ 𝐴) ∧ ¬(𝑥 ∈ 𝐵)} (ley lógica de De Morgan)= {𝑥 ∣ 𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵} (def. ∉)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} (def. complemento)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∩ 𝐵} (def. intersección)= 𝐴 ∩ 𝐵 (def. 𝐴 ∩ 𝐵)
Lógica - CM0260. Teoría de conjuntos 105/143
![Page 106: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/106.jpg)
Identidades básicas entre conjuntosEjemploDemostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley del complemento del conjuntouniversal 𝑈 = ∅.
Demostración.𝑈 = {𝑥 ∣ 𝑥 ∉ 𝑈} (def. complemento)
= {𝑥 ∣ ¬(𝑥 ∈ 𝑈)} (def. ∉)= {𝑥 ∣ ¬V} (def. conjunto universal)= {𝑥 ∣ F} (ley lógica de negación de tautología)= {𝑥 ∣ 𝑥 ∈ ∅} (def. conjunto vacío)= ∅ (def. ∅)
Lógica - CM0260. Teoría de conjuntos 106/143
![Page 107: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/107.jpg)
Identidades básicas entre conjuntosEjemploDemostrar empleando las definiciones de las operaciones entre conjuntos ylas equivalencias lógicas la ley del complemento del conjuntouniversal 𝑈 = ∅.Demostración.
𝑈 = {𝑥 ∣ 𝑥 ∉ 𝑈} (def. complemento)= {𝑥 ∣ ¬(𝑥 ∈ 𝑈)} (def. ∉)= {𝑥 ∣ ¬V} (def. conjunto universal)= {𝑥 ∣ F} (ley lógica de negación de tautología)= {𝑥 ∣ 𝑥 ∈ ∅} (def. conjunto vacío)= ∅ (def. ∅)
Lógica - CM0260. Teoría de conjuntos 107/143
![Page 108: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/108.jpg)
Nuevas identidades entre conjuntosEmpleando las definiciones de las operaciones entre conjuntos y lasequivalencias lógicas podemos demostrar nuevas identidades entreconjuntos.
Ejemplo (Rosen [2004], problema 6.e, pág. 87)Sea 𝐴 un conjunto. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que 𝐴 − ∅ = 𝐴.
Demostración.𝐴 − ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ ∅} (def. diferencia)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ V} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 108/143
![Page 109: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/109.jpg)
Nuevas identidades entre conjuntosEmpleando las definiciones de las operaciones entre conjuntos y lasequivalencias lógicas podemos demostrar nuevas identidades entreconjuntos.
Ejemplo (Rosen [2004], problema 6.e, pág. 87)Sea 𝐴 un conjunto. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que 𝐴 − ∅ = 𝐴.
Demostración.𝐴 − ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ ∅} (def. diferencia)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ V} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 109/143
![Page 110: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/110.jpg)
Nuevas identidades entre conjuntosEmpleando las definiciones de las operaciones entre conjuntos y lasequivalencias lógicas podemos demostrar nuevas identidades entreconjuntos.
Ejemplo (Rosen [2004], problema 6.e, pág. 87)Sea 𝐴 un conjunto. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que 𝐴 − ∅ = 𝐴.
Demostración.𝐴 − ∅ = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ ∅} (def. diferencia)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ V} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∈ 𝐴} (ley lógica de identidad)= 𝐴 (def. 𝐴)
Lógica - CM0260. Teoría de conjuntos 110/143
![Page 111: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/111.jpg)
Nuevas identidades entre conjuntos
Ejemplo (Rosen [2004], problema 6.h, pág. 87)Sea 𝐴 un conjunto. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que ∅ − 𝐴 = ∅.
Demostración.∅ − 𝐴 = {𝑥 ∣ 𝑥 ∈ ∅ ∧ 𝑥 ∉ 𝐴} (def. diferencia)
= {𝑥 ∣ F ∧ 𝑥 ∉ 𝐴} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∉ 𝐴 ∧ F} (ley lógica conmutativa)= {𝑥 ∣ F} (ley lógica de dominación)= {𝑥 ∣ 𝑥 ∈ ∅} (def. conjunto vacío)= ∅ (def. ∅)
Lógica - CM0260. Teoría de conjuntos 111/143
![Page 112: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/112.jpg)
Nuevas identidades entre conjuntos
Ejemplo (Rosen [2004], problema 6.h, pág. 87)Sea 𝐴 un conjunto. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que ∅ − 𝐴 = ∅.
Demostración.∅ − 𝐴 = {𝑥 ∣ 𝑥 ∈ ∅ ∧ 𝑥 ∉ 𝐴} (def. diferencia)
= {𝑥 ∣ F ∧ 𝑥 ∉ 𝐴} (def. conjunto vacío)= {𝑥 ∣ 𝑥 ∉ 𝐴 ∧ F} (ley lógica conmutativa)= {𝑥 ∣ F} (ley lógica de dominación)= {𝑥 ∣ 𝑥 ∈ ∅} (def. conjunto vacío)= ∅ (def. ∅)
Lógica - CM0260. Teoría de conjuntos 112/143
![Page 113: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/113.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 12.d, pág. 87)Sean 𝐴 y 𝐵 conjuntos. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que𝐴 ∩ (𝐵 − 𝐴) = ∅.
Lógica - CM0260. Teoría de conjuntos 113/143
![Page 114: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/114.jpg)
Nuevas identidades entre conjuntos
Ejercicio (continuación)
Demostración.𝐴 ∩ (𝐵 − 𝐴) = {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ (𝐵 − 𝐴)} (def. intersección)
= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ (𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴)} (def. diferencia)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∧ (𝑥 ∉ 𝐴 ∧ 𝑥 ∈ 𝐵)} (ley conmutativa)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐴) ∧ 𝑥 ∈ 𝐵} (ley asociativa)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∧ ¬(𝑥 ∈ 𝐴)) ∧ 𝑥 ∈ 𝐵} (def. ∉)= {𝑥 ∣ F ∧ 𝑥 ∈ 𝐵} (ley de negación)= {𝑥 ∣ 𝑥 ∈ 𝐵 ∧ F} (ley de conmutativa)= {𝑥 ∣ F} (ley de dominancia)= {𝑥 ∣ 𝑥 ∈ ∅} (def. conjunto vacío)= ∅ (def. conjunto vacío)
Lógica - CM0260. Teoría de conjuntos 114/143
![Page 115: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/115.jpg)
Nuevas identidades entre conjuntosEjercicio (Rosen [2004], problema 12.e, pág. 87)Sea 𝐴 y 𝐵 conjuntos. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que𝐴 ∪ (𝐵 − 𝐴) = 𝐴 ∪ 𝐵.
Demostración.𝐴 ∪ (𝐵 − 𝐴)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ (𝐵 − 𝐴)} (def. unión)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ (𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴)} (def. diferencia)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ (𝑥 ∈ 𝐴 ∨ 𝑥 ∉ 𝐴)} (ley distributiva)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ (𝑥 ∈ 𝐴 ∨ ¬(𝑥 ∈ 𝐴))} (def. ∉)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ V} (ley de negación)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵} (ley de identidad)= 𝐴 ∪ 𝐵 (def. unión)
Lógica - CM0260. Teoría de conjuntos 115/143
![Page 116: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/116.jpg)
Nuevas identidades entre conjuntosEjercicio (Rosen [2004], problema 12.e, pág. 87)Sea 𝐴 y 𝐵 conjuntos. Demostrar empleando las definiciones de lasoperaciones entre conjuntos y las equivalencias lógicas que𝐴 ∪ (𝐵 − 𝐴) = 𝐴 ∪ 𝐵.
Demostración.𝐴 ∪ (𝐵 − 𝐴)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ (𝐵 − 𝐴)} (def. unión)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ (𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴)} (def. diferencia)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ (𝑥 ∈ 𝐴 ∨ 𝑥 ∉ 𝐴)} (ley distributiva)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ (𝑥 ∈ 𝐴 ∨ ¬(𝑥 ∈ 𝐴))} (def. ∉)= {𝑥 ∣ (𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵) ∧ V} (ley de negación)= {𝑥 ∣ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵} (ley de identidad)= 𝐴 ∪ 𝐵 (def. unión)
Lógica - CM0260. Teoría de conjuntos 116/143
![Page 117: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/117.jpg)
Nuevas identidades entre conjuntosDadas las identidades básicas entre conjuntos, éstas se pueden emplearpara obtener nuevas identidades entre conjuntos.
Ejemplo (Rosen [2004], problema 16, pág. 87)Demostrar empleando las identidades básicas entre conjuntos que si 𝐴 y 𝐵son conjuntos, entonces (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴.
Demostración.(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴 ∩ (𝐵 ∪ 𝐵) (ley distributiva)
= 𝐴 ∩ 𝑈 (ley de complemento)= 𝐴 (ley de identidad)
Lógica - CM0260. Teoría de conjuntos 117/143
![Page 118: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/118.jpg)
Nuevas identidades entre conjuntosDadas las identidades básicas entre conjuntos, éstas se pueden emplearpara obtener nuevas identidades entre conjuntos.
Ejemplo (Rosen [2004], problema 16, pág. 87)Demostrar empleando las identidades básicas entre conjuntos que si 𝐴 y 𝐵son conjuntos, entonces (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴.
Demostración.(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴 ∩ (𝐵 ∪ 𝐵) (ley distributiva)
= 𝐴 ∩ 𝑈 (ley de complemento)= 𝐴 (ley de identidad)
Lógica - CM0260. Teoría de conjuntos 118/143
![Page 119: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/119.jpg)
Nuevas identidades entre conjuntosDadas las identidades básicas entre conjuntos, éstas se pueden emplearpara obtener nuevas identidades entre conjuntos.
Ejemplo (Rosen [2004], problema 16, pág. 87)Demostrar empleando las identidades básicas entre conjuntos que si 𝐴 y 𝐵son conjuntos, entonces (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴.
Demostración.(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴 ∩ (𝐵 ∪ 𝐵) (ley distributiva)
= 𝐴 ∩ 𝑈 (ley de complemento)= 𝐴 (ley de identidad)
Lógica - CM0260. Teoría de conjuntos 119/143
![Page 120: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/120.jpg)
Nuevas identidades entre conjuntos
Ejemplo (continuación)Una prueba diferente que (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = 𝐴.
Demostración.(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵) = [(𝐴 ∩ 𝐵) ∪ 𝐴] ∩ [(𝐴 ∩ 𝐵) ∪ 𝐵] (ley distributiva)
= [𝐴 ∪ (𝐴 ∩ 𝐵)] ∩ [(𝐴 ∩ 𝐵) ∪ 𝐵] (ley conmutativa)= 𝐴 ∩ [(𝐴 ∩ 𝐵) ∪ 𝐵] (ley de absorción)= 𝐴 ∩ [𝐵 ∪ (𝐴 ∩ 𝐵)] (ley conmutativa)= 𝐴 ∩ [(𝐵 ∪ 𝐴) ∩ (𝐵 ∪ 𝐵)] (ley distributiva)= 𝐴 ∩ [(𝐵 ∪ 𝐴) ∩ 𝑈] (ley de complemento)= 𝐴 ∩ (𝐵 ∪ 𝐴) (ley de identidad)= 𝐴 ∩ (𝐴 ∪ 𝐵) (ley commutativa)= 𝐴 (ley de absorción)
Lógica - CM0260. Teoría de conjuntos 120/143
![Page 121: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/121.jpg)
Nuevas identidades entre conjuntosDiferencia en términos de unión e intersección
𝐴 − 𝐵 = 𝐴 ∩ 𝐵.
Lógica - CM0260. Teoría de conjuntos 121/143
![Page 122: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/122.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 14.e, pág. 87)Sean 𝐴, 𝐵 y 𝐶 conjuntos. Demostrar empleando las identidades básicasentre conjuntos que (𝐵 − 𝐴) ∪ (𝐶 − 𝐴) = (𝐵 ∪ 𝐶) − 𝐴.
Demostración.(𝐵 − 𝐴) ∪ (𝐶 − 𝐴) = (𝐵 ∩ 𝐴) ∪ (𝐶 ∩ 𝐴) (def. diferencia)
= (𝐴 ∩ 𝐵) ∪ (𝐶 ∩ 𝐴) (ley conmutativa)= (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶) (ley conmutativa)= 𝐴 ∩ (𝐵 ∪ 𝐶) (ley distributiva)= (𝐵 ∪ 𝐶) ∩ 𝐴 (ley conmutativa)= (𝐵 ∪ 𝐴) − 𝐴 (def. diferencia)
Lógica - CM0260. Teoría de conjuntos 122/143
![Page 123: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/123.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 14.e, pág. 87)Sean 𝐴, 𝐵 y 𝐶 conjuntos. Demostrar empleando las identidades básicasentre conjuntos que (𝐵 − 𝐴) ∪ (𝐶 − 𝐴) = (𝐵 ∪ 𝐶) − 𝐴.
Demostración.(𝐵 − 𝐴) ∪ (𝐶 − 𝐴) = (𝐵 ∩ 𝐴) ∪ (𝐶 ∩ 𝐴) (def. diferencia)
= (𝐴 ∩ 𝐵) ∪ (𝐶 ∩ 𝐴) (ley conmutativa)= (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶) (ley conmutativa)= 𝐴 ∩ (𝐵 ∪ 𝐶) (ley distributiva)= (𝐵 ∪ 𝐶) ∩ 𝐴 (ley conmutativa)= (𝐵 ∪ 𝐴) − 𝐴 (def. diferencia)
Lógica - CM0260. Teoría de conjuntos 123/143
![Page 124: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/124.jpg)
Nuevas identidades entre conjuntosEjercicio (Rosen [2004], problema 18, pág. 88)Sean 𝐴, 𝐵 y 𝐶 conjuntos. Demostrar empleando las identidades básicasentre conjuntos que (𝐴 − 𝐵) − 𝐶 = (𝐴 − 𝐶) − (𝐵 − 𝐶).
(𝐴 − 𝐶) − (𝐵 − 𝐶)= (𝐴 − 𝐶) ∩ 𝐵 − 𝐶 (def. diferencia)
= (𝐴 − 𝐶) ∩ 𝐵 ∩ 𝐶 (def. diferencia)
= (𝐴 − 𝐶) ∩ (𝐵 ∪ 𝐶) (leyes de De Morgan)= (𝐴 − 𝐶) ∩ (𝐵 ∪ 𝐶) (ley de complementación)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ ((𝐴 − 𝐶) ∩ 𝐶) (ley distributiva)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ ((𝐴 ∩ 𝐶) ∩ 𝐶) (def. diferencia)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ (𝐴 ∩ (𝐶 ∩ 𝐶)) (ley asociativa)⋮
Lógica - CM0260. Teoría de conjuntos 124/143
![Page 125: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/125.jpg)
Nuevas identidades entre conjuntosEjercicio (Rosen [2004], problema 18, pág. 88)Sean 𝐴, 𝐵 y 𝐶 conjuntos. Demostrar empleando las identidades básicasentre conjuntos que (𝐴 − 𝐵) − 𝐶 = (𝐴 − 𝐶) − (𝐵 − 𝐶).
(𝐴 − 𝐶) − (𝐵 − 𝐶)= (𝐴 − 𝐶) ∩ 𝐵 − 𝐶 (def. diferencia)
= (𝐴 − 𝐶) ∩ 𝐵 ∩ 𝐶 (def. diferencia)
= (𝐴 − 𝐶) ∩ (𝐵 ∪ 𝐶) (leyes de De Morgan)= (𝐴 − 𝐶) ∩ (𝐵 ∪ 𝐶) (ley de complementación)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ ((𝐴 − 𝐶) ∩ 𝐶) (ley distributiva)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ ((𝐴 ∩ 𝐶) ∩ 𝐶) (def. diferencia)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ (𝐴 ∩ (𝐶 ∩ 𝐶)) (ley asociativa)⋮
Lógica - CM0260. Teoría de conjuntos 125/143
![Page 126: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/126.jpg)
Nuevas identidades entre conjuntos
Ejercicio (continuación)⋮= ((𝐴 − 𝐶) ∩ 𝐵) ∪ (𝐴 ∩ ∅) (ley de complemento)= ((𝐴 − 𝐶) ∩ 𝐵) ∪ ∅ (ley de complemento)= (𝐴 − 𝐶) ∩ 𝐵 (ley de complemento)= (𝐴 ∩ 𝐶) ∩ 𝐵 (def. diferencia)= 𝐴 ∩ (𝐶 ∩ 𝐵) (ley asociativa)= 𝐴 ∩ (𝐵 ∩ 𝐶) (ley conmutativa)= (𝐴 ∩ 𝐵) ∩ 𝐶 (ley asociativa)= (𝐴 − 𝐵) ∩ 𝐶 (def. diferencia)= (𝐴 − 𝐵) − 𝐶 (def. diferencia)
Lógica - CM0260. Teoría de conjuntos 126/143
![Page 127: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/127.jpg)
Nuevas identidades entre conjuntos
Definición (Diferencia simétrica)Sean 𝐴 y 𝐵 conjuntos. La diferencia simétrica de 𝐴 y 𝐵, denotada por𝐴 ⊕ 𝐵, es el conjunto que contiene aquellos elementos que bien están en 𝐴o bien están en 𝐵, pero no en ambos.
𝐴 ⊕ 𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵).
Lógica - CM0260. Teoría de conjuntos 127/143
![Page 128: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/128.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 28, pág. 88)
Sean 𝐴 y 𝐵 conjuntos. Demostrar empleando las identidades básicas entreconjuntos que 𝐴 ⊕ 𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴).
Lógica - CM0260. Teoría de conjuntos 128/143
![Page 129: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/129.jpg)
Nuevas identidades entre conjuntosEjercicio (continuación)
Demostración.𝐴 ⊕ 𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵) (def. dif. simétrica)
= (𝐴 ∪ 𝐵) ∩ (𝐴 ∩ 𝐵) (def. diferencia)= (𝐴 ∩ 𝐵) ∩ (𝐴 ∪ 𝐵) (ley commutativa)= [(𝐴 ∩ 𝐵) ∩ 𝐴] ∪ [(𝐴 ∩ 𝐵) ∩ 𝐵] (ley distributiva)= [(𝐴 ∪ 𝐵) ∩ 𝐴] ∪ [(𝐴 ∪ 𝐵) ∩ 𝐵] (leyes de De Morgan)= [𝐴 ∩ (𝐴 ∪ 𝐵)] ∪ [𝐵 ∩ (𝐴 ∪ 𝐵)] (leyes commutativa)= [(𝐴 ∩ 𝐴) ∪ (𝐴 ∩ 𝐵)] ∪ [(𝐵 ∩ 𝐴) ∪ (𝐵 ∩ 𝐵)] (ley distributiva)= [∅ ∪ (𝐴 ∩ 𝐵)] ∪ [(𝐵 ∩ 𝐴) ∪ ∅] (ley de complemento)= (𝐴 ∩ 𝐵) ∪ (𝐵 ∩ 𝐴) (ley de identidad= (𝐴 − 𝐵) ∪ (𝐵 − 𝐴) (def. diferencia)
Lógica - CM0260. Teoría de conjuntos 129/143
![Page 130: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/130.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 29.d, pág. 88)Sean 𝐴 y 𝐵 conjuntos. Demostrar empleando las identidades básicas entreconjuntos que 𝐴 ⊕ 𝐴 = 𝑈 .
Demostración.𝐴 ⊕ 𝐴 = (𝐴 − 𝐴) ∪ (𝐴 − 𝐴) (ejercicio pág. 128)
= (𝐴 ∩ 𝐴) ∪ (𝐴 ∩ 𝐴) (def. diferencia)= (𝐴 ∩ 𝐴) ∪ (𝐴 ∩ 𝐴) (ley de complementación)= 𝐴 ∪ 𝐴 (ley de idempotencia)= 𝑈 (ley de complemento)
Lógica - CM0260. Teoría de conjuntos 130/143
![Page 131: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/131.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 29.d, pág. 88)Sean 𝐴 y 𝐵 conjuntos. Demostrar empleando las identidades básicas entreconjuntos que 𝐴 ⊕ 𝐴 = 𝑈 .
Demostración.𝐴 ⊕ 𝐴 = (𝐴 − 𝐴) ∪ (𝐴 − 𝐴) (ejercicio pág. 128)
= (𝐴 ∩ 𝐴) ∪ (𝐴 ∩ 𝐴) (def. diferencia)= (𝐴 ∩ 𝐴) ∪ (𝐴 ∩ 𝐴) (ley de complementación)= 𝐴 ∪ 𝐴 (ley de idempotencia)= 𝑈 (ley de complemento)
Lógica - CM0260. Teoría de conjuntos 131/143
![Page 132: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/132.jpg)
Nuevas identidades entre conjuntos
Ejercicio (Rosen [2004], problema 30.d, pág. 88)La diferencia simétrica entre conjuntos satisface las siguientes propiedades:
𝐴 ⊕ 𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴), (1)𝐴 ⊕ 𝐴 = ∅, (2)
(𝐴 ⊕ 𝐵) ⊕ 𝐶 = 𝐴 ⊕ (𝐵 ⊕ 𝐶). (3)
Empleando las propiedades anteriores demostrar que (𝐴 ⊕ 𝐵) ⊕ 𝐵 = 𝐴.
Lógica - CM0260. Teoría de conjuntos 132/143
![Page 133: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/133.jpg)
Nuevas identidades entre conjuntos
Ejercicio (continuación)
Demostración.(𝐴 ⊕ 𝐵) ⊕ 𝐵 = 𝐴 ⊕ (𝐵 ⊕ 𝐵) (Eq. 3)
= 𝐴 ⊕ ∅ (Eq. 2)= (𝐴 − ∅) ∪ (∅ − 𝐴) (Eq. 1)= (𝐴 ∩ ∅) ∪ (∅ ∩ 𝐴) (def. diferencia)= (𝐴 ∩ 𝑈) ∪ (∅ ∩ 𝐴) (ley del complemento de ∅)= 𝐴 ∪ (∅ ∩ 𝐴) (ley de identidad)= 𝐴 ∪ ∅ (ley de dominancia)= 𝐴 (ley de identidad)
Lógica - CM0260. Teoría de conjuntos 133/143
![Page 134: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/134.jpg)
Uniones e intersecciones generalizadas
Definición (Unión e intersección de una colección indexada de conjuntos)Sea 𝐴1, … , 𝐴𝑛 una colección indexada de conjuntos. Entonces
𝑛⋃𝑖=1
𝐴𝑖 = 𝐴1 ∪ ⋯ ∪ 𝐴𝑛,𝑛⋂𝑖=1
𝐴𝑖 = 𝐴1 ∩ ⋯ ∩ 𝐴𝑛.
Lógica - CM0260. Teoría de conjuntos 134/143
![Page 135: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/135.jpg)
Uniones e intersecciones generalizadasEjemploSea 𝐴𝑖 = [𝑖, ∞), con 1 ≤ 𝑖 < ∞. Es decir, 𝐴1 = [1, ∞), 𝐴2 = [2, ∞), …Hallar el valor de:
1𝑛⋃𝑖=1
𝐴𝑖
2𝑛⋂𝑖=1
𝐴𝑖
Solución:𝑛⋃𝑖=1
𝐴𝑖 = [1, ∞)
= 𝐴1.
𝑛⋂𝑖=1
𝐴𝑖 = [𝑛, ∞)
= 𝐴𝑛.
Lógica - CM0260. Teoría de conjuntos 135/143
![Page 136: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/136.jpg)
Uniones e intersecciones generalizadasEjemploSea 𝐴𝑖 = [𝑖, ∞), con 1 ≤ 𝑖 < ∞. Es decir, 𝐴1 = [1, ∞), 𝐴2 = [2, ∞), …Hallar el valor de:
1𝑛⋃𝑖=1
𝐴𝑖
2𝑛⋂𝑖=1
𝐴𝑖
Solución:𝑛⋃𝑖=1
𝐴𝑖 = [1, ∞)
= 𝐴1.
𝑛⋂𝑖=1
𝐴𝑖 = [𝑛, ∞)
= 𝐴𝑛.
Lógica - CM0260. Teoría de conjuntos 136/143
![Page 137: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/137.jpg)
Sucesor de un conjunto
Definición (Sucesor de un conjunto)El sucesor del conjunto 𝐴 es el conjunto 𝐴 ∪ {𝐴}.
Ejercicio (Rosen [2004], problema 47.c, pág. 89)Hallar el sucesor del conjunto {∅}.Solución: {∅} ∪ {{∅}}
Ejercicio (Rosen [2004], problema 48, pág. 89)¿Cuántos elementos tiene el sucesor de un conjunto de 𝑛 elementos?Solución: 𝑛 + 1 elementos
Lógica - CM0260. Teoría de conjuntos 137/143
![Page 138: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/138.jpg)
Sucesor de un conjunto
Definición (Sucesor de un conjunto)El sucesor del conjunto 𝐴 es el conjunto 𝐴 ∪ {𝐴}.
Ejercicio (Rosen [2004], problema 47.c, pág. 89)Hallar el sucesor del conjunto {∅}.
Solución: {∅} ∪ {{∅}}
Ejercicio (Rosen [2004], problema 48, pág. 89)¿Cuántos elementos tiene el sucesor de un conjunto de 𝑛 elementos?Solución: 𝑛 + 1 elementos
Lógica - CM0260. Teoría de conjuntos 138/143
![Page 139: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/139.jpg)
Sucesor de un conjunto
Definición (Sucesor de un conjunto)El sucesor del conjunto 𝐴 es el conjunto 𝐴 ∪ {𝐴}.
Ejercicio (Rosen [2004], problema 47.c, pág. 89)Hallar el sucesor del conjunto {∅}.Solución: {∅} ∪ {{∅}}
Ejercicio (Rosen [2004], problema 48, pág. 89)¿Cuántos elementos tiene el sucesor de un conjunto de 𝑛 elementos?Solución: 𝑛 + 1 elementos
Lógica - CM0260. Teoría de conjuntos 139/143
![Page 140: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/140.jpg)
Sucesor de un conjunto
Definición (Sucesor de un conjunto)El sucesor del conjunto 𝐴 es el conjunto 𝐴 ∪ {𝐴}.
Ejercicio (Rosen [2004], problema 47.c, pág. 89)Hallar el sucesor del conjunto {∅}.Solución: {∅} ∪ {{∅}}
Ejercicio (Rosen [2004], problema 48, pág. 89)¿Cuántos elementos tiene el sucesor de un conjunto de 𝑛 elementos?
Solución: 𝑛 + 1 elementos
Lógica - CM0260. Teoría de conjuntos 140/143
![Page 141: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/141.jpg)
Sucesor de un conjunto
Definición (Sucesor de un conjunto)El sucesor del conjunto 𝐴 es el conjunto 𝐴 ∪ {𝐴}.
Ejercicio (Rosen [2004], problema 47.c, pág. 89)Hallar el sucesor del conjunto {∅}.Solución: {∅} ∪ {{∅}}
Ejercicio (Rosen [2004], problema 48, pág. 89)¿Cuántos elementos tiene el sucesor de un conjunto de 𝑛 elementos?Solución: 𝑛 + 1 elementos
Lógica - CM0260. Teoría de conjuntos 141/143
![Page 142: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/142.jpg)
Representación de conjuntos en un ordenadorLeer Rosen [2004, págs. 85–87].
Lógica - CM0260. Teoría de conjuntos 142/143
![Page 143: Lógica - CM0260 Teoría de conjuntos](https://reader035.fdocuments.net/reader035/viewer/2022062219/586f79bb1a28ab33578b4de1/html5/thumbnails/143.jpg)
Referencias
Copi, Irving M. (1998). Lógica Simbólica. Compañía Editorial Continental.Hurley, Patrick J. (2012). A Concise Introduction to Logic. 11.a ed. Wadsworth,
Cengage Learning.Rosen, Kenneth H. (2000). Handbook of Discrete and Combinatorial
Mathematics. CRC Press.– (2004). Matemática Discreta y sus Aplicaciones. 5.a ed. McGraw-Hill.– (2012). Discrete Mathematics and Its Applications. 7.a ed. McGraw-Hill.Sierra A., Manuel (2010). Conjuntos y Relaciones. MS-Print.van Heijenoort, Jean (1967). From Frege to Gödel: A Source Book in
Mathematical Logic, 1879-1931. Harvard University Press.
Lógica - CM0260. Teoría de conjuntos 143/143