Algebra

TEMAS
SECTIONS

Conjuntos

Relaciones y funciones
Numeros naturales y calculo
combinatorio
Espacios vectoriales

Matrices y determinantes
Sistemas de ecuaciones
lineales
>>
 Axiomas de la teoria de conjuntos

Cuando a un conjunto lo quiero ver como elemento de otro conjunto se le suele llamar objeto
Un conjunto debe estar definido de forma que cualquier objeto se pueda descifrar si pertenece o no al conjunto
Para que A sea un conjunto, A debe definirse de manera que, para cualquier objeto x, es posible determinar se x es un elemento de A o no.
A los objetos que forman parte de un conjunto les llamamos elementos
Para poder armar un conjunto tienen que ser claras les especificaciones de lo contrario se pueden caer en ambigüedades
Decir todos los Mexicanos inteligente, no es un conjunto ya que no especifica que es un Mexicano inteligente, pero si dice todos los Mexicanos
con un coeficiente intelectual d 120, ahí si esta bien definido
Los pilares de la teoría de conjunto, son dos, las nociones primitivas: conjunto y pertenecía

Axiomas Casi siempre el conjunto se

coloca con mayúsculas y el
Un axioma es una proposición que admitimos con valor de verdad, verdarero y no lo cuestiónanos
objeto con minúsculas
La teoría de conjunto posee diez axiomas
I. El axioma de existencia
Existe algún conjunto
Este axioma solo garantiza la existencia de al menos un conjunto pero no dice nada acerca de sus elementos
No todo lo que existe se puede construir
Puede terner o no elementos
Si B es un conjunto y x es un objeto
X€B significa que x es un elemento de B
Con el símbolo x€B indicamos que x no es un elemento de B
Descripción de un conjunto
Se utilizan los corchetes {} para representar y definir conjuntos. Dentro de estos se encuentras los elementos del conjunto
separados por comas
Cuando un conjunto tiene poco elementos se pueden enlistar
Ej. El conjunto de las vocales se puede representar A= {a,e,i,o,u}
mientras que el conjunto de los colores del arcoíris es B={rojo, naranja, amarillo, verde, índigo, azul, violeta}
Notemos que e€A y z€A mientras que amarillo€B y negro€B
A esta forma de representar a un conjunto (enlistando cada uno de sus elementos) se le llama descripción por extensión. Es buena
opción cuando se tienen pocos elementos. Pero cuando un conjunto tiene muchos elementos es más conveniente utilizar los puntos
suspensivos (…). Ej. El conjuntos de los números naturales que van del 1 al 100 es {1,2…100}
Los tres puntos suspensivos indican que en su lugar existirían los números naturales entre 3 y 99
Se tiene que dar descripción cuando se utilizan los tres puntos suspensivo, ya que si no se pude caer en ambigüedad al no tener
contexto de lo que se está hablando
Si los miembros de un conjunto comparten una característica o propiedad, se pude describir al conjunto indicándola.
Por su puesto que la característica o propiedad debe ser tal que el conjunto esté determinado de manera única
Ej. Si C es el conjunto formado por todos los países de nuestro planeta, podemos describir a C usando corchetes {}, luego | o :
que se leen “tal que” o “tales que”, en este caso sería C = {x : x es un país}
Este conjunto se leería como “C es el conjunto de objetos x tales que x es un país”
Esta manera se conoce como descripción por comprensión
Son dos formas de describir un conjunto (los nombres pueden cambiar), descripción por extensión y descripción por comprensión
En la primera se enlistan todos los elementos, o se colocan puntos suspensivos y en la segunda se implica una propiedad que deben
tener los elementos
Ej. Si el símbolo N representa al conjunto de los números naturales. La descripción por compresión de los números naturales
que van del 1 al 100 es {x€N:1<x<100}

Subconjuntos
Si A y B son dos conjuntos, decimos que A es un subconjunto de B, se escribe A_B, si cada elemento de A también es un elemento de B
A_B si cada objeto que se encuentra en A también se encuentra en B, es decir para cada objeto x si x € A, entonces x € B
A_B se pude leer, A esta contenido en B, Bncontiene al conjunto A, B es un súper conjunto de A. También se pude utilizar
B_A para indicar que el conjunto B contiene al conjunto A

>>
Subconjuntos
Si A no es un subconjunto de B, escribimos A _ B o B _ A, dichos símbolo indican que A no está contenido en B y que B no
contiene al conjunto A. A _ B si y solo si existe un objeto x tel que x € A y x € B
Ej. A={a,b,c,1} B={1,a} C={1,2,3}
B _ A pues los miembros de B 1 y a, también aparecen en A.
A _ B pues por ejemplo b€A mientras que b€B.
A _ C por ejemplo a€A y a€C
C _ A por ejemplo 2€C y 2€A
B_C por ejemplo a€B y a€C
C _ B por ejemplo 2€C y 2€B

Dos conjuntos A y B son comparables si A _ B o bien B _ A. Decimos que A y B son incomparables o no comparables cuando no se cumple
ninguna contención
A y B son incomparables si y solo si A _ B y B _ A, a € A y b € B tales que a € B y b € A
Ej. En el ejemplo de atropina B y C serían incomparables
II. El axioma de extension
Necesitan tener los mismos
Cuando dos conjuntos son iguales si y solo si tienen los mismo elementos elementos no la misma cantidad
Ej. A={1,2,1} B={2,1}
Para el axioma de extensión estos conjuntos son iguales, a pesar de que el conjunto A tiene 3 elementos y B solo dos, tienen los
mismos elementos que son 1 y 2,
El Axioma de extensión no es solo una propiedad lógicamente necesaria de la igualdad, sino que es una proposición no trivial
acerca de la pertenecía
Supongamos qué hay un conjunto de seres humanos. El axioma de existencia se cumple: hay seres humanos. Si x y A son humanos y
acordamos que x€A, significa que x es un ancestro de A, entonces el análogo del Axioma de Extensión diría que en este caso “dos
seres humanos tienen los mismos ancestros si y solo si son iguales”. Dicha afirmación no es verdad ya que dos hermanos son
humanos distintos que tienen los mismos ancestros
Si A y B son cunjuntos, con el símbolo A=B indicamos que dichos conjuntos son iguales, y si decimos que A=B indicamos que no son
iguales, diferentes o distintos. Diremos que A es un subconjunto propio de B y escribimos A_B si A_B y A=B, es decir si todo
elemento de A se encuentra en B, y al menos un elemento de B no está en A. Si A={1} y B={1,2}, entonces A_B

Teorema 1.3
Si A y B son dos subconjuntos, entonces las siguientes afirmaciones son equivalentes:
1. A=B
2. Para cada objeto, tenemos que x€A si y solo si x€B
3. A _ B y B _ A
Demostración:
Supongamos que A=B. Sea x un objeto. Si x€A entonces, por el axioma de extensión, x€B (pues A y B tienen los mismos elementos). De
manera similar, si x€B, entonces x€A. Esto despierta que 1. implica 2.
Supongamos ahora que es cierta la afirmación 2. Entonces si x€A resulta que x€B, lo cual implica que A_B. También si x€B resulta que x€A
por lo que B_A. Esto demuestra que 2. implica 3.
Por último, supongamos que A_B y B_A. Como A_B, cada elemento de A también es elemento de B y al revez. Por tanto A y B tienen
exactamente los mismos elementos y por el axioma de extensión, A=B. Esto demuestra que 3. implica 1.
Ej. Consideremos que Z es el conjunto de los números enteros
A = { m € Z: m = 2a para alguna a € Z}
B = { n € Z: n = 2b - 2 para alguna b € Z}
Entonces A = B Probamos esto haciendo ver que los conjuntos A y B se contienen mutuamente. Para ver qué A_B, sea x €A. Entonces
existe un entero a tal que x=2a. Entonces b=a+1 es un entero y
2b-2 = 2(a+1) - 2 = 2a + 2 - 2 = 2a = x
Luego x€B, probando que A _ B. Para mostrar la otra contención, ahora supongamos que x€B. Entonces is existe un entero c tal que
x = 2c - 2 Notemos que d = c-1 es un entero, tal que 2d = 2(c-1) = 2c-2 = x
Por tanto, x€A de donde B _ A. Tenemos así que los conjuntos A y B se contienen mutuamente, por lo que A = B

>>
Teorema 1.4
Si A, B y C son conjuntos, entonces se tienen las siguientes propiedades
1) A _ A
2) si A _ B y B_C, entonces A _ C
Demostración:
Todo miembro de A es un elemento de A, así que A _ A. Esto prueba 1). Supongamos ahora que A _ B y B _ C. Sea x un objeto. Si x€A
entonces, como A _ B , tenemos que x€B. También B _ C, por lo tanto A - C
Si A, B y C son conjuntos, entonces el símbolo A_B_C, indica que A_B y B_C. La equivalencia entre las afirmaciones 1) y 3) del teorema 1.3
dice que A=B si y solo si A_B_A

Teorema 1.5
Si A, B y C son conjuntos, entonces, se tienen las sig propiedades
1) A = A Reflexiva
2) Si A=B, entonces B=A Simétrica
3) A=B y B=C, entonces A=C Transitiva
De manera similar a cómo lo indicamos con la contención, si A, B y C son conjuntos, el símbolo A=B=C, significa que A=B y B=C. De manera
que A1 = A2 = … = An significa que los conjuntos A1, A2,…,An son iguales
III. Axioma de especificacion
Axioma de comprensión
Si A es un conjunto y P es una propiedad, entonces los elementos de A que tienen la propiedad P, forman un conjunto, que se
denota como:
{x€A: x satisface la propiedad de P}
Si P es una propiedad y x es un objeto, entonces el símbolo P(x) indica que x satisface la propiedad P. Con el símbolo - P(x) que x
no cumple con esta propiedad. Esto se puede escribir como:
{x€A:P(x)}
Si detonamos por B a este conjunto, entonces el axioma de especificación dice:
“Para cada conjunto A y cada propiedad P, existe un conjunto B tal que x€B si y solo si x€A y P(x)”
Teorema 1.6
Para todo conjunto A y cada propiedad P, existe un único conjunto B tal que x€B si y solo si x€A y P(x)
Demostración. supongamos que existen dos conjuntos B y C con las siguientes propiedades:
1) x€B si y solo si x€A y P(x)
2) x€C si y solo si x€A y P(x)
Esto quiere decir que x€B si y solo si x€C lo que implica, por el teorema 1.3 que B=C
Teorema 1.7
Existe un conjunto que no tiene elementos
Demostración.
Por el Axioma de Existencia, existe un conjunto A. Si A no tiene elementos, la prueba termina. Supongamos, por tanto, que A tiene al
menos un elemento. Consideremos la propiedad "ser distinto de sí mismo". Por el Axioma de Especificación, existe un conjunto B tal
que x€B si y sólo si x€A y x‡x (es decir, x es distinto de sí mismo). Supongamos que B posee al menos un elemento x. Entonces x es
un objeto y, por tanto, un conjunto. Entones, por la propiedad 1) del Teorema 1.5, x=x. Como x€B, tenemos que x‡x. Luego x es un
conjunto tal que x=x y x‡x. En vista de que esto es una contradicción (dos conjuntos no pueden ser iguales y diferentes a la vez), y
de que el culpable de haber llegado a dicha contradicción fue suponer que B posee al menos un elemento, deducimos que B no tiene
elementos. Esto termina la demostración,

Principio de vacuidad
Este principio se basa en los valores de verdad de una afirmación del tipo P= Q (si P entonces Q), donde P y Q son dos proposiciones.
Si la proposición P es falsa, entonces la implicación P= Q es verdadera, para cualquier proposición Q.

Teorema 1.8
Existe un único conjunto que no tiene elementos
Demostración:
Supongamos que B y C son dos conjuntos que no tienen elementos. Vamos a probar que B_C. Consideremos un objeto x. Sean P la
proposición "x€B” y Q la proposición "x€C.". Queremos probar que P= Q es verdadero. Como B no tiene elementos, P es falso, así
que por el principio de vacuidad, P= Q es verdadero. En otras palabras, es cierto que si x€B, entonces x€C. Luego B_C. De forma
similar se prueba que C_B, pues C no tiene elementos. Luego, por el Teorema 1.3, B=C.

>>
Definición 1.9
El único conjunto que no tiene elementos es llamado conjunto vacío y el detonado por ø. Un conjunto A es no vacío si sucede que A≠ø
Un conjunto que tiene elementos es no vacío

Teorema 1.10
El conjunto vacío (ø) satisface las siguientes propiedades:
1) ø_A, para cualquier conjunto A
2) ø es el único conjunto que es un subconjunto de cualquier otro conjunto
3) si A es un conjunto y A_ø, entonces A=ø
IV. El Axioma de la pareja
Si A y B son conjuntos, entonces podemos hablar del conjunto cuyos elementos son justo A y B, el cual detonamos por {A,B}
Dicho conjunto se llama el par no ordenado de A y B. El par no ordenado de A y A {A,A} por definición, lo detonamos simplemente
por {A} y lo llamaremos el singular o unitario de A. Conjunto degenerado. En matemáticas algo se degenera cuando se convierte en
lo más pequeño posible, en este caso cuando un conjunto tiene solo un elemento
Todo conjunto puede ser visto como elemento, por ejemplo los conjuntos A y B son elementos del conjunto {A,B}

Teorema 1.11
Existe un conjunto no vacío
Demostración
Ya probamos que ø es un conjunto sin elementos, si a dicho conjunto le aplicamos el axioma de la pareja, obtenemos el conjunto {ø},
el cual tiene como elemento a ø. Es decir ø€{ø}. Por tanto, {ø} es un elemento no vacío
Entre un conjunto A y su singular {A} no hay relación
Cuando A=ø, por la parte 1) del teorema 1.10, ø_{ø}. Si se cumple la contención {ø}_ø. Como esto contradice el hecho de que ø no posee
elementos deducimos de {ø}_ø
Cuando A no es vacío los conjuntos A y {A} son en general incomparables. Para ver un ejemplo de esto, sea A={ø}. Entonces A‡0. El Axioma
de la pareja produce el singular {A}={{ø}}.Si es cierto que A_{A}, entonces ø=A, pues el único elemento de A es ø y el único de {A} es A.
Como esto contradice el hecho de que A es no vacío, deducimos que A_{A}. Ahora supongamos que {A}_A. Entonces {ø}=A€A, es decir {ø}
€A. Ahora bien, como el único elemento de A es ø, sucede que {ø}=ø, es decir, que A=ø, lo cual como ya vimos es una contradicción. Por
consiguiente {A}_A. Tenemos así que A_{A} y {A}_A, lo que implica que lo conjuntos A y {A) son incomparables.

Teorema 1.12
Supongamos que A es un conjunto y que x es un objeto. Entonces x€A si y solo si {x}_A
Demostración
Supongamos que primero que x€A. Por definición {x} es el conjunto cuyo único elemento es x y, como x€A, sucede que cada miembro de
{x} es también elemento de A. Por tanto {x}_A. Ahora supongamos que {x}_A. Entonces cada miembro de {x} es un elemento de A. Como
x€{x}, concluimos que x€A
Un conjunto B, si a B mismo lo vemos como objeto, al estar B bien definido, debe ser cierta alguna: B€B o B€B. En otras palabras, o es un
elemento de sí mismo o B no es un elemento de sí mismo. Esto implica que tanto “ser un elemento de sí mismo” como “no ser un elemento
de sí mismo” son propiedades

Teorema 1.13
Para cualquier conjunto A, existe un conjunto B tal que B€A
Demostración
Consideremos que el conjunto A y la propiedad “no ser un elemento de sí mismo” . Entonces por el Axioma de Especificación, existe
un conjunto B tal que x€B si y solo si x€A y x€x (es decir, x no es un elemento de sí mismo). Supongamos que B€A. Como ya
indicamos, debe ser cierta alguna de la afirmaciones. Si B€B entonces, por la definición de B, tenemos que B€A y B€B. Por tanto B€B
y B€B son ciertas a la vez, lo cual es una contradicción. Por tanto sucede que B€B y, como estamos suponiendo que B€A, por la
definición de B, sucede que B€B. Entonces de nueva cuenta, se tiene que B€B y B€B son ciertas a la vez, lo cual es una contradicción.
De todo esto deducimos que suponer que B€A lleva a una contradicción, por tanto B€A

Corolario 1.14
No existe el conjunto de todos los conjuntos, es decir, no existe un conjunto A tal que para cada conjunto B sucede que B€A
Demostración
Supongamos que A es el conjunto de todos los conjuntos. Por el teorema anterior, existe un conjunto B tal que B€A, pero al
ser A el conjunto de todos los conjuntos, B€A. Luego las afirmaciones B€A y B€A son ciertas a la vez, lo cual es una
contradicción

>>
 V. El Axioma de las partes
Si X es un conjunto, entonces los subconjuntos de X forman un conjunto, que se denota por P(x)
Para cada conjunto X existe un ponente P(X) tal que A€P(X)si y solo si A_X (es decir, los subconjuntos de a son los elementos
P(X)). A la familia P(X) se le llama conjunto potencia de X. También se le conoce como conjunto de partes de X. Una notación
alternativa para P(X) es el símbolo 2^x. Notemos que
P(X)={A:A_X}
Por ejemplo P(ø)={ø} y, para los conjuntos Y={a} y Z={ø,a,b}
P(Y)={ø,{a}}={ø,Y}
P(Z)={ø,{ø},{a},{b},{ø,a},{ø,b},{a,b},Z}

Teorema 1.15
No existe un conjunto que contenga a todos los posibles conjuntos
Demostración
Supongamos, que por el contrario, que existe un conjunto C tal que, para cada conjunto B tenemos que B€A. Puesto esto contradice al
corolario 1.14, concluimos que no existe tal conjunto C

Intersección, diferencia y unión de conjuntos

En la presente sección vamos a hablar de tres operaciones de conjuntos: la Intersección, la diferencia y la unión de conjuntos. Es
importante, en cada caso, saber cuándo un objeto se encuentra o no en cada una de dichas operaciones. Para esto, conviene indicar que si
P y Q son proposiciones entonces podemos formar la proposición P^Q, que se lee “P y Q”. También podemos formar la proposición PvQ,
que se lee “P o Q”. Con |P indicamos la negación de la proposición, es decir “no P”. Las negaciones de la proposiciones son:
|(P^Q)=( |P)v( |Q) y |(PvQ)= ( |P)^( |Q)
La negación de la proposición P^Q es la proposición “no P o no Q”, y la negación de la proposición PvQ es la proposición “no P y no Q
Si P, Q y R son proposiciones, entonces:
P^(QvR)=(P^Q)v(P^R) y Pv(Q^R)=(PvQ)^(PvR)
Finalmente |( |P)=P notemos que:
-(P^(-Q))=(-P)v(-(-Q))=(-P)vQ
interseccion de dos conjuntos
Supongamos que A y B son conjuntos. Consideremos la propiedad “ser un elemento de B”. Entonces por el axioma d especificación, existe
un conjunto acta que x€C si y solo si x€A y x€B. Los elementos del conjunto C son, por tanto, los elementos que tienen en común A y B. Se
suele detonar al conjunto C como AnB y decir que se llama la intersección de A y B

La región sombreada de este diagrama es la intersección de los conjuntos A y B. Este tipo de diagramas se conoce como diagrama de Venn
Cuando AnB=ø, decimos que los conjuntos A y B son ajenos o disjuntos.

Teorema 1.16
Si A,B, C y D son conjuntos, entonces se satisfacen las siguientes propiedades
1) AnA=A
n es reflexiva
2) AnB= BnA
n es conmutativa
3) An(BnC)= (AnB)nC
n es asociativa
4) AnB_A y AnB_C
5) A=AnB si y solo si A_B
6) Anø=ø
7) Si A_B y A_C, entonces A_BnC
8) Si A _C y B_D, entonces AnB_CnD

>>
Demostración.
La propiedad 1) dice que la intersección es reflexiva. Por definición x ∈ A ∩ A si y solo si x ∈ A y x ∈ A, es decir, x ∈ A ∩ A si y solo si x ∈
A. Luego, por el Teorema 1.3, A ∩ A = A. Esto prueba 1).
La propiedad 2) dice que la intersección es conmutativa. Por definición a) x ∈ A ∩ B si y solo si x ∈ A y x ∈ B; b) x ∈ B ∩ A si y solo si x
∈ B y x ∈ A. Como las proposiciones a la derecha de la frase “si solo si” que aparecen en a) y b) son las mismas, deducimos que las
proposiciones a la izquierda también son equivalentes. Es decir x ∈ A ∩ B si y solo si x ∈ B ∩ A. Luego, por el Teorema 1.3, A ∩ B = B ∩ A.
Esto prueba 2).
La propiedad 3) dice que la intersección es asociativa. Una de las cosas que hace importante a esta propiedad, es que no hace falta el
uso de los paréntesis en el enunciado 3). En efecto, el lado izquierdo calcula primero la intersección ́B ∩ C y posteriormente la
interseccion de A con eso que obtuvimos primero, o sea, con B∩C. El lado derecho calcula primero A∩B y luego la interseccion de eso con C.
Lo que vamos a mostrar es que las dos maneras de proceder son la misma. Luego de la prueba 3), tiene sentido escribir A ∩ B ∩ C, sin
los
paréntesis.
Para probar 3), hagamos E = B ∩ C y F = A ∩ B. Entonces x ∈ A ∩ (B ∩ C) = A ∩ E si y solo si x ∈ A y x ∈ E. Pero x ∈ E si y solo si x ∈ B y
x ∈ C. Por tanto c) x ∈ A ∩ (B ∩ C) si y solo si x ∈ A, x ∈ B y x ∈ C. Por otro lado x ∈ (A ∩ B) ∩ C = F ∩ C si y solo si x ∈ F y x ∈ C. Pero
x ∈ F si y solo si x ∈ A y x ∈ B. Luego d) x ∈ (A ∩ B) ∩ C si y solo si x ∈ A, x ∈ B y x ∈ C. Como las proposiciones a la derecha de la frase
“si solo si” que aparecen en c) y d) son las mismas, las de la izquierda también son equivalentes. Es decir x ∈ A ∩ (B ∩ C) si y solo si x ∈
(A ∩ B) ∩ C. Luego, por el Teorema 1.3, A ∩ (B ∩ C) = (A ∩ B) ∩ C. Esto prueba 3). Si consideramos la intersección A∩B, podemos
considerar que A y B son los intersectandos que constituyen la intersección A∩B. Lo que dice 4) es que la intersección de dos conjuntos,
es un subconjunto de sus intersectandos.
Para probar 4) supongamos primero que A ∩ B = ∅. Aplicando la parte 1) del Teorema 1.10, sucede que A∩B ⊆ A y A∩B ⊆ B. Supongamos
ahora que A ∩ B ̸= ∅. Si x ∈ A ∩ B, entonces x ∈ A (de donde A ∩ B ⊆ A) y
también x ∈ B (por lo que A ∩ B ⊆ B). Esto prueba 4).
Para probar 5) supongamos primero que A = A ∩ B. Por 4), A ∩ B ⊆ B, as ́ı que A ⊆ B. Ahora supongamos que A ⊆ B. Por 4), A ∩ B ⊆ A.
Además, si x ∈ A entonces x ∈ B, pues A ⊆ B. Luego x ∈ A y x ∈ B, de donde x ∈ A ∩ B. Esto prueba que A ⊆ A ∩ B y, como también A ∩ B
⊆ A, por el Teorema 1.3, A ∩ B = A. Esto prueba 5).
Para probar 6) notemos que, por 4), A∩∅ ⊆ ∅. Entonces por la propiedad 3) del Teorema 1.10, A∩∅ = ∅. Esto prueba 6).
Para probar 7) supongamos que A ⊆ B y A ⊆ C. Si A = ∅, aplicando la parte 1) del Teorema 1.10, sucede que A ⊆ B ∩ C. Si A ̸= ∅, entonces
cada elemento de A esta en B y tambien en C, de donde A ⊆ B ∩ C. Esto prueba 7).
La propiedad 8) dice que si tenemos dos contenciones, entonces la intersección de los lados izquierdos esta contenida en la intersección
de sus lados derechos. Entonces 7) es un caso particular de 8). Otros casos particulares
son los siguientes:
si A ⊆ C y B ⊆ C, entonces A ∩ B ⊆ C
y
si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.
Se puede probar la afirmación 8) sin usar 7), para esto basta tomar un elemento en A ∩ B y verificar que se encuentra en C ∩ D. Para
mostrar 8) usando 7), supongamos que A ⊆ C y B ⊆ D. Utilizando 4), A ∩ B ⊆ A ⊆ C y A ∩B ⊆ B ⊆ D. Luego A ∩B ⊆ C y A ∩B ⊆ D y, por 7),
A ∩B ⊆ C ∩ D. Esto prueba 8). Recordemos que x ∈ A ∩ B si y solo si x ∈ A y x ∈ B. Esto implica, por la primera parte de (1.4.1), que x /∈
A ∩ B si y solo si x /∈ A o bien x /∈ B.
En otras palabras, basta con que un objeto x no se encuentra en alguno de A o B, para que tampoco este en A ∩ B. Si por ejemplo x ∈ A
y x /∈ A ∩ B, entonces x /∈ B. Por otro lado, si x ∈ B y x /∈ A ∩ B, entonces x /∈ A.
diferencia de dos conjuntos
Supongamos que A y B son dos conuntos y consideremos la propiedad “no ser un elemento de B”. Entonces, por el axioma de especificación
existe un único conjunto C tal que x€C si y solo si x€A y x€B (es decir, x es un elemento de A pero no de B). Es común detonar el conjunto C
como A\B y decir que se llama la diferencia de A con B. El símbolo A-B también se utiliza para detonar la diferencia de A con B. El conjunto
A\B se construye, por tanto, quitándole al conjunto A aquellos miembros que a su vez están en B

En el diagrama de Venn anterior, la región sombreada es el conjunto A \ B

>>
Si consideramos el conjunto B y la propiedad “no ser un elemento de A”, el Axioma de Especificación determina un u ́nico conjunto D tal
que x ∈ D si y solo si x ∈ B y x ∈/ A. Tal conjunto se denota como B \ A o bien como B−A y es la diferencia de B con A. El conjunto B\A se
construye quitándole al conjunto B aquellos miembros que a su vez esten en A.

En el diagrama de Venn anterior, la region sombreada es el conjunto B \ A. A manera de ejemplo, sean

C = {a,c,1,3,5} y D = {b,c,2,3}.
Entonces C \ D = {a, 1, 5} y D \ C = {b, 2}. Notemos que C \ D ̸= D \ C. Así pues, en general, cuando consideramos la diferencia A \ B, es
importante el orden en que aparecen A y B.
Para dos conjuntos A y B, tenemos definidas las operaciones A ∩ B y A \ B como sigue:
A∩B={x∈A:x∈B} y A\B={x∈A:x∈/B}.

En el siguiente resultado mostramos una serie de propiedades de la diferencia de dos conjuntos. En su demostración será importante
determinar lo que significa que un objeto x no sea elemento de la diferencia A \ B. Notemos que x ∈ A \ B si y solo si la proposici ́on
“x∈Ayx∈/B” es verdadera. Por tanto x ∈/ A\B si y solo si la negacio ́n de la proposicio ́n“x ∈ A y x ∈/ B” es verdadera. Por (1.4.3), la
negaci ́on de tal proposición es la proposición“x ∈/ A o x ∈ B”. Por tanto
x ∈/ A \ B si y solo si x ∈/ A o bien x ∈ B
Teorema 1.17
Si A, B y C son conjuntos entonces, se satisfacen las siguientes propiedades:
1) A\B=∅ si y sólo si A⊆B, en particular A\A=∅;
2) A\B⊆A, B\A⊆B y A\∅=A;
3) (A\B)∩B=∅ y (A∩B)∩(A\B)=∅;
4) A\B=A si y sólo si A∩B=∅;
5) A\B=B\A si y sólo si A=B;
6) (A\B)\C ⊆A\(B\C) y la contención puede ser propia;
7) A\(B\C)=(A\B)\C si y sólo si A∩C =∅;
8) (A\C)\(B\C)=(A\B)\C;
9) (A\C)∩(B\C)=(A∩B)\C;
10) (A\B)\(A\C)=A∩(C\B).
Demostración
Para probar 1) supongamos primero que A \ B = ∅. Si A ⊆ B, entonces existe x ∈ A tal que x ∈/ B. Luego x ∈ A \ B, de donde x ∈ ∅.
Esto contradice el hecho de que ∅ no tiene elementos, así que A ⊆ B. Por tanto, A ⊆ B. Esto prueba la primera parte de 1). Supongamos
ahora que A ⊆ B. Entonces todo miembro de A es también elemento de B, por lo que A\B = ∅. Esto termina la primera parte de 1). Como
A ⊆ A, por la primera parte de 1), A \ A = ∅. Esto prueba 1).
Por definición los elementos de A \ B se encuentran en A, mientras que los de B\A se pertenecen a B. Luego A\B ⊆ A y B\A ⊆ B. Notemos
que x ∈ A \ ∅ si y so ́lo si x ∈ A y x ∈/ ∅. Como la proposici ́on “x ∈/ ∅” siempre es cierta pues el conjunto ∅ no tiene elementos, la
proposición “x ∈ A y x ∈/ ∅” es cierta si y solo si la proposición “x ∈ A” es cierta. Esto implica que x ∈ A \ ∅ si y s ́olo si x ∈ A. Luego,
por el Teorema 1.3, A \ ∅ = A. Esto prueba 2)
Por definicion, los elementos de A \ B no se encuentran en B, luego (A\B)∩B = ∅. Esto prueba la primera parte de 3). Con ella y la
afirmación 4) del Teorema 1.16, tenemos que
(A ∩ B) ∩ (A \ B) ⊆ B ∩ (A \ B) = ∅.
Entonces, por la parte 3) del Teorema 1.10, (A ∩ B) ∩ (A \ B) = ∅. Esto prueba 3).
Para probar 4) supongamos primero que A \ B = A. Si existe x ∈ A ∩ B, entonces x ∈ A y x ∈ B. Como x ∈ A y A = A \ B, sucede que x∈A\B.
Luego x ∈/ B. Esto es absurdo, pues x ∈ B. Luego A∩B = ∅. Esto prueba la primera parte de 3). Ahora supongamos que A ∩ B = ∅.
Entonces A y B no tienen elementos en comu ́n, por lo que ningun miembro de A se encuentra en B. En otras palabras, A ⊆ A\B. Como, por
2), A\B ⊆ A, tenemos que A \ B = A. Esto prueba 4).

>>
Para probar 5) supongamos primero que A \ B = B \ A. Sea x ∈ A. Si x ∈/ B, entonces x ∈ A \ B, de donde x ∈ B \ A y, por 2), x ∈ B.
Entonces x ∈ B y x ∈/ B. Esto es absurdo y, como la contradicción nace de suponer que x ∈/ B, deducimos que x ∈ B. Con esto
hemos probado que si x ∈ A, entonces x ∈ B o, lo que es lo mismo, que A ⊆ B. De manera similar se prueba que B ⊆ A. Luego A = B.
Esto termina la primera parte de 5). Ahora supongamos que A = B. Entonces A ⊆ B y B ⊆ A. Como A ⊆ B, por 1), A\B = ∅. Como
también B ⊆ A, aplicando de nuevo 1), B\A = ∅. Luego A \ B = B \ A. Esto prueba 5). Hemos visto que la única manera en que los
conjuntos A\B y B\A son iguales es siendo vacíos.

Para probar 6) sea x ∈ (A\B)\C. Entonces x ∈ A\B y x ∈/ C. Como x ∈ A \ B, resulta que x ∈ A y x ∈/ B. Ahora bien, de acuerdo con 2), B \ C
⊆ B y, como x ∈/ B, tenemos que x ∈/ B \ C. Luego x ∈ A y x ∈/ B \ C, de donde x ∈ A \ (B \ C). Esto prueba que (A \ B) \ C ⊆ A \ (B \ C), por
lo que la primera parte de 6) es cierto.
Para ver que la contención(A \ B) \ C ⊆ A \ (B \ C) puede ser propia, consideremos
A1 = {a,b,1,2,7,9}, B1 = {a,2,3,4,5} y C1 = {b,1,4,7,10}.
Entonces A1 \B1 ={b,1,7,9}, B1 \C1={a,2,3,5}, (A1 \B1)\C1={9} y A1\(B1 \ C1)={b,1,7,9}. Luego
(A1 \B1)\C1 ⊊A1 \(B1 \C1).
En particular, (A1 \ B1) \ C1 ̸= A1 \ (B1 \ C1). Esto termina la prueba de 6). Notemos que A1 ∩C1 ={b,1,7}≠ ∅.

La propiedad 7) dice que la única manera en que la diferencia A \ (B \ C) es asociativa, es cuando A ∩ C = ∅. Para probar 7) supongamos
primero que A \ (B \ C) = (A \ B) \ C. Debemos verificar que A ∩ C = ∅. Supongamos, por el contrario, que A∩C ̸= ∅ y tomemos un
elemento x ∈ A∩C. Entonces x ∈ A y x ∈ C. Si x ∈ B \ C, entonces x ∈/ C, lo cual es absurdo, así que x ∈/ B \ C. Luego x ∈ A \ (B \ C) y,
como estamos suponiendo que
A \ (B \ C) = (A \ B) \ C,
sucede que x ∈ (A \ B) \ C. Esto implica, de nueva cuenta, que x ∈/ C, lo cual es absurdo. La contradicci ́on obtenida proviene de suponer
que A ∩ C ̸= ∅, así que A ∩ C = ∅. Con esto tenemos probada la primera parte de 7).
Para probar la segunda parte de 7) notemos que, por 6),
(A \ B) \ C ⊆ A \ (B \ C).
Para probar que la contención A \ (B \ C) ⊆ (A \ B) \ C también es cierta, supongamos que A∩C = ∅ y que x ∈ A\(B\C). Entonces x ∈ A y x
∈/ B \ C. Ya indicamos cómo negar que un objeto está en la diferencia dos conjuntos. Como x ∈/ B\C, sucede que x ∈/ B o bien x ∈ C.
Como A∩C = ∅ y x ∈ A, sucede que x ∈/ C. Entonces, de entre las dos opciones: x ∈/ B o x ∈ C, como la segunda no se cumple,
necesariamente x ∈/ B. As ́ı x ∈ A y x ∈/ B por lo que x ∈ A \ B. Además ya indicamos que x ∈/ C, as que x ∈ (A \ B) \ C. Esto prueba que
A \ (B \ C) ⊆ (A \ B) \ C
y, por consiguiente, A \ (B \ C) = (A \ B) \ C. As ́ı termina la prueba de 7).

Para probar 8) supongamos primero que x ∈ (A \ C) \ (B \ C). Entonces x ∈ A \ C y x ∈/ B \ C. Como x ∈ A \ C, tenemos que x ∈ A y x ∈/ C.
Tambien x ∈/ B \ C, así que x ∈/ B o bien x ∈ C. De entre estas dos opciones no puede suceder que x ∈ C pues ya indicamos que x ∈/ C.
Luego x ∈/ B. Tenemos entonces que x ∈ A, x ∈/ B y x ∈/ C. Luego x ∈ (A \ B) \ C. Esto prueba que
(A \ C) \ (B \ C) ⊆ (A \ B) \ C.
Para mostrar la otra contención, supongamos que x ∈ (A \ B) \ C. Entonces x ∈ A, x ∈/ B y x ∈/ C. Como x ∈ A y x ∈/ C, tenemos que x
∈ A \ C. Si x ∈ B \ C entonces, en particular, x ∈ B, lo cual es un absurdo, pues x ∈/ B. Luego x ∈/ B \ C, de donde x ∈ (A \ C) \ (B \ C).
Esto prueba que
(A\B)\C ⊆(A\C)\(B\C) y, as ́ı, 8) se cumple.
Para probar 9) supongamos primero que x ∈ (A \ C) ∩ (B \ C). Entonces x ∈ A \ C y x ∈ B \ C. Luego x ∈ A, x ∈/ C y, además, x ∈ B y x ∈/
C. No tiene caso considerar dos veces la afirmacio ́n de que x no es un elemento de C, así que x ∈ A, x ∈ B y x ∈/ C, de donde x ∈ A ∩ B y
x ∈/ C o, lo que es lo mismo, x ∈ (A ∩ B) \ C. Esto prueba que
(A \ C) ∩ (B \ C) ⊆ (A ∩ B) \ C.
Para mostrar la otra contención, supongamos ahora que x ∈ (A ∩ B) \ C. Entonces x ∈ A, x ∈ B y x ∈/ C. Como x ∈ A y x ∈/ C, sucede que
x ∈ A\C. También x ∈ B y x ∈/ C, por lo que x ∈ B \ C. Luego x ∈ A \ C y x ∈ B \ C, es decir, x ∈ (A \ C) ∩ (B \ C). Esto prueba que
(A∩B)\C ⊆(A\C)∩(B\C)
y, así, 9) se cumple.

Para probar 10) supongamos primero que x ∈ (A \ B) \ (A \ C). Entonces x ∈ A \ B y x ∈/ A \ C. Como x ∈ A \ B, tenemos que x ∈ A y x
∈/ B. De x ∈/ A \ C se sigue que x ∈/ A o bien x ∈ C. Como x ∈ A no puede suceder que x ∈/ A. Por tanto, de las opciones x ∈/ A o bien x
∈ C, es cierto que x ∈ C. Entonces x ∈ A, x ∈ C y x ∈/ B. Luego x ∈ A ∩ (C \ B). Esto prueba que
(A \ B) \ (A \ C) ⊆ A ∩ (C \ B).
Para mostrar la otra contención , supongamos ahora que x ∈ A ∩ (C \ B). Entonces x ∈ A y x ∈ C \ B. Luego x ∈ A y, además, x ∈ C y x
∈/ B. Como x ∈ A y x ∈/ B, sucede que x ∈ A \ B. Si x ∈ A \ C, resulta que x ∈/ C, pero esto es absurdo pues x ∈ C. Luego x ∈/ A\C, de
donde x ∈ (A\B)\(A\C). Esto prueba que
A ∩ (C \ B) ⊆ (A \ B) \ (A \ C)
y, así 10) se cumple.

>>
 De las propiedades 2) y 3) del Teorema 1.17 se sigue que
(A \ B) ∩ (B \ A) = ∅.
Como ya indicamos, en ocasiones conviene suponer la existencia de un conjunto X con la propiedad de que todos los conjuntos que
entran en discusión, son subconjuntos de X (naturalmente, no entran en discusión todos los posibles conjuntos, pues no se puede
hablar del conjunto de todos los conjuntos). Cuando esto es así, si A ⊆ X, a la diferencia X \ A le llamamos el complemento de A en X o,
simplemente, el complemento de A, e incluso denotamos esto como Ac. Entonces
Ac = X \ A.

En el diagrama de Venn anterior, la región sombreada es el conjunto Ac. Naturalmente el conjunto Ac depende de X. Por ejemplo, si
X = {1,2,3}, Y = {1,2,3,4} y A = {1,2},
entonces X \ A = {3} y Y \ A = {3, 4}. Así que, cuando utilizamos la notación Ac, debe ser claro quien es el conjunto X con la propiedad
de que los conjuntos a tratar son precisamente subconjuntos de X. En otras palabras, debe ser claro el conjunto con respecto al cual
tomamos el complemento de un conjunto.
Una vez que hemos fijado el conjunto X, con respecto al cual tomaremos los complementos de nuestros conjuntos, sucede que
(Ac)c = A.
En efecto, utilizando las propiedades 2) y 10) del Teorema 1.17, tenemos que
(Ac)c = X\Ac = X\(X\A) = (X\∅)\(X\A) = X∩(A\∅) = X∩A = A.
Si tomamos el complemento en X y A, B ⊆ X, entonces
A \ B = A ∩ Bc,
pues Bc = {x ∈ X : x ∈/ B}. Más adelante enunciaremos otras propiedades del complemento de un conjunto.

Axioma de la Union

Ahora vamos a considerar la unión de conjuntos. Como aprendimos en la enseñanza fundamental, si A = {1,3} y B = {2} entonces la unión
de dichos conjuntos es el conjunto {1, 2, 3}, es decir, el conjunto que reúne a los elementos de A y a los de B. Con los cinco axiomas que
hemos definido hasta el momento, no tenemos modo de obtener el conjunto {1,2,3} a partir de los conjuntos A y B. Además, tomando en
cuenta que la unión de conjuntos dados ha de ser un conjunto más grande que dichos conjuntos y de que no se pueda hablar del conjunto
de todos los conjuntos, debemos tener cuidado cuando unimos conjuntos, pues podríamos estar aproximándonos a algo muy grande
como para considerarlo conjunto. En vista de esto, el siguiente axioma permite unir conjuntos de manera que lo obtenido sigue siendo un
conjunto.
•) Axioma de la Unión. Para cualquier conjunto S, existe un conjunto U tal que x∈U si y solo si x∈A, para alguna A∈S.
El conjunto U que se garantiza en el Axioma de la Unión es único (por el Axioma de Extensión), se llama la unión de S y se denota por US.
El Axioma de la Unión dice, por tanto, que para poder considerar la unión de una cantidad de conjuntos, debe de existir primero un
conjunto que tenga como elementos justo a dichos conjuntos que queremos unir. Por ejemplo, si queremos unir los conjuntos A y B, el
Axioma de la Pareja garantiza que existe un conjunto {A, B} cuyos elementos son justo A y B. Entonces el Axioma de la Unión dice que
dichos conjuntos A y B sí se pueden unir, siendo U{A, B} su unión, cosa que es más comu ́n denotar como A ∪ B. Notemos que

>>
>>
Proposición

Una proposición es una expresión o afirmación que tiene un y solo un valor de verdad, Falso (F) o verdadero (V)
Ej.
El número dos es un número par (V)
Si un círculo tiene radio r, entonces su área es πr^2 (V)
Todo triángulo rectángulo es isosceles (F)
El {0,1,2} tiene tres elementos (V)

La oración “x es un número par” no es una proposición por que no se puede especificar si tiene o no valor de verdad, por que depende de
quién es x, a este tipo de oración las llamamos predicados y los detonamos por p(x)
Ej. P(x):x es un número par

El dominio de la variable en el predicado es el conjunto de todos los valores que se pueden sustituir en lugar de la variable

El conjunto de verdad de P(x) es el conjunto {x€D: P(x) es verdadera} Los predicados son aquellos que si
pueden tener valor de verdad pero
esta dpendera de la variable
Conectivos lógicos
Son símbolos mediante los cuales podemos construir nuevas proposiciones a partir de otras, hay cinco de ellos:
A estas nuevas proposiciones obtenidas a a partir de otras atreves de conectores lógico, las vamos a llamar formas proposicionales
Las formas proposicionales son combinaciones
Ej. P:2 es un número par Q: 3 es un cuadrado perfecto
2 es un número par y 3 es un cuadrado perfecto
Esta es una proposición. La primera (P) es V y la segundo (Q) es F, así que utilizamos y como conectivo para formar una
nueva proposición, también se pueden utilizar otros conectivos como o

Significa negación
Ej. |P: 2 no es un número par

Conjunción lógica
Def. La conjunción P y Q, detonada por P^Q, es la afirmación que es verdadera, si P y Q son verdaderas, y es falsa en cualquier otro caso.
Esto se pude representar en la tabla de verdad
Forma
proposicional Si P y Q no son ambas V será F

Ej. Si P: 2 es un número par Q: 7 es un número impar

P^Q: 2 es número par y 7 es número impar
Esta es una proposición V
Tabla de verdad P^Q

Sean P, Q y R proposiciones
Ej. Construya la tabla de verdad de (P^Q)^R

Para saber cuantas combinatorias #filas de la tabla de verdad

n= número de proposiciones que aparezcan

>>
Disyuncion lógica
Def. La disyunción lógica de PyQ, denotada por PvQ, es la proposición que es verdadera si al menos entre PyQ hay una verdad, y es falsa
en cualquier otro caso. Leemos PvQ como “P o Q”. Esto lo podemos representar como:
Ej. 2 es un número par o bien 3 es un número par
P1. 2 es un número par P2: 3 es un número par
P1 v P2 es verdadero, aún es que P2 es F P1 es V
y solo se necesita que uno sea V

Negación
La negación de la proposición P, detonada por |P, es la proposición que es verdadera si P es falsa, y es falsa si P es verdadera. Leemos.
|P como “no P” e
Ej. P: 3 es un número impar entonces |P:3 no es un número
impar o |P: no es cierto que 3 es un número impar

Este conectivo lógico es un operador unitario, que al aplicarlo a una proposición, está cambia de valor de verdad.

Condicional
La condicional de P y Q, detonada por P= Q, es al proposición que es falsa si P es verdadera y Q es falsa, y es verdadera en cualquier otro
caso. Leemos P= Q como “P implica Q” o bien, “si P, entonces Q”. L atabal de verdad de la condicional es:

En una proposición condicional P= Q, a la proposición P la llamamos hipótesis y a Q la llamamos conclusión

Las dos filas de la tabla comstituyen el principio de vacuidad: cuando el valor de verdad de la hipótesis P es falso, sin importar el valor
de verdad de la conclusión Q, el valor de verdad del condicional P= Q siempre es verdadero
Ej. Supongamos que un estudiante tiene actualmente 9.5 de promedio en su clase de matemáticas. Este le pregunta a su
profesora si aún tiene posibilidades de aprobar la materia con una calificación final de 10 y ella le responde; “si obtienes 10 en el
examen final, entonces aprobarás el curso con 10 como calificación”. La respuesta de la rpofesora es una proposición de la forma
“si P, entonces Q” donde
P: obtienes 10 en el examen final Q: aprobaras el curso con 10 de calificación

Supongamos primero que P y Q son verdaderas, saca 10 en el examen final y al terminar el curso su promedio fue 10. Entonces su
profesora dijo la verdad. Sin embargo si P es verdadera y Q es falsa, es decir, si obtuvo 10 en su examen final pero no aprobó
con 10 el curso, entonces podemos decir que su profesora mintió. Por otro lado si P es falsa y Q verdadera, es decir, que el
estudiante no obtuvo 10 en el examen final pero si aprobó en curso con 10 , entonces su profesora no mintió ya que no especificó
que la única forma de aprobar el curso con 10 era obteniendo 10 en el examen final. Finalmente, si P y Q son falsas, es decir, si el
estudiante no obtuvo 10 en su examen final y no aprobó el curso con 10, entonces podemos decir que su profesora dijo la verdad.
En resumen la única forma de que la profesora haya mentido es cuando P es verdadera y Q falsa
Hay distintas formas de expresarla
Ej. Q si P
Probablemente no es claro por qué éstas expresiones significan lo mismo que "Si P, entonces Q".
P solo si Q
Consideremos, por ejemplo, la expresión "P sólo si Q". Esto nos dice que P es verdadero sólo si Q lo es, en
Cuando P, Q
otras palabras, no puede ser el caso que P es verdadero y Q es falso. Esto dice que si P es verdadera,
Pes suficiente para que Q
entonces necesariamente Q tiene que ser verdadera. Esto también muestra por qué "Q es necesaria para P"
Q es necesaria para P
significa lo mismo que "P sólo si Q." La oración "P es suficiente para Q" nos dice que la verdad de P nos
P implica Q
garantiza la verdad de Q. En otras palabras, la verdad de P implica la verdad de Q. En la proposición
Si P, entonces Q
"Mateo puede votar si Mateo tiene más de 18 años", la proposición "Mateo puede votar" es una condición
suficiente para garantizar que "Mateo tiene más de 18 años".

>>
 BiCondicional
Def. La BiCondicional de P y Q, denotada por P = Q, es la proposición que es verdadera si P y Q tienen el mismo valor de verdad y es falsa en
cualquier otro caso. Leemos P = Q como “P si y solo si Q”. La tabla de verdad de P = Q es:
Frecuentemente nos referimos al BiCondicional p = Q por:
P es equivalente a Q
P si, y solo si Q
P es una condición necesaria y suficiente para Q

Equivalencia lógica
Cuando consideremos formas proposicionales utilizaremos los paréntesis para agrupar proposiciones evitando con esto cualquier
ambigüedad. De forma similar a cómo evaluamos expresiones algebraicas, primero se evalúan las expresiones dentro de los paréntesis
más internos, después evaluamos las expresiones dentro del siguiente conjunto de paréntesis hacia el exterior y así sucesivamente
hasta tener los valores d e verdad de la expresión completa
Convenimos en que si en una operación aparecen los conectivos lógicos - , ^ y v, entonces - se realiza primero. Por ejemplo la posición
-P^Q es lo mismo que (-P)^Q
Ahora, observemos que, en la tabla de verdad de la proposición (P= Q)^(Q= P)

Definición 2.7
Diremos que dos proposiciones son lógicamente equivalentes si tienen la misma tabla de verdad y por ende, podemos intercambiar una por
la otra
Si P y Q son proposiciones, escribiremos P=Q para indicar que P y Q son lógicamente equivalentes. El símbolo P=Q, puede usarse para
indicar que las proposiciones no son lógicamente equivalentes. En este sentido, de la tabla de verdad anterior p, se observa que
(P= Q) = (Q= P
P = Q=(P= Q) ^ (Q= P)
Definición 2.8
Una forma proposicional T es una tautología si su valor de verdad siempre es verdadero independientemente del valor de verdad de las
proposiciones que la constituyen. Decimos que una forma proposicional C es una contradeccion si, independientemente de los valores de
verdad de la apropos icipó es que la forman, el valor de verdad de C siempre es falso
Ejemplo 2.9
Sea P una proposicion, entonces, Pv(-P) es una
tautología y P^(-P) es una contradicción, como lo
muestra la siguiente tabla de verdad

Observación 2.10

Si P y Q son formas proposicionales lógicamente equivalentes, entonces P = Q es una tautología

>>
Proposicion 2.11
Sean P, Q y R proposiciones, entonces:
1. = es reflectiva, es decir, P = P
2. = es simétrica, es decir, si P = Q, entonces Q = P
3. = es transitiva, es decir, si P = Q y Q = R, entonces P = R

Teorema 2.12
Sean P, Q y R proposiciones. Entonces p, el símbolo de equivalencia lógica =, la conjunción ^ y la negación - satisfacen las siguientes
propiedades:
1) v y ^ son idemponentes, es decir, PvP=P y P^P=
2) v y ^ son conmutativos, es decir, PvQ=QvP y P^Q=Q^P
3) v y ^ son asociativos, es decir, Pv(QvR)=(PvQ)vR y P^(Q^R)=(P^Q)^R
4) v y ^ son distributivas, es decir, P^(QvR)=(P^Q)v(P^R) y Pv(Q^R)=(PvQ)^(PvR)
5) se cumple la ley de doló implicación, es decir -(-P)=P
6) si P=Q, entonces -P=-Q

Teorema 2.12
Leyes de Morgan
Sean P y Q proposiciones. Entonces, se tiene que
1) -(PvQ)=(-P)^(-Q)
2) -(P^Q)=(-P)v(-Q)

En la para tica vamos a ignorar los paréntesis y, para evitar confusiones, vamos a dar prioridad a los conectivos lógicos para su
operación cuando una forma proposicional los incluye. Antes establecimos en que si una operación aparecen los conectivos -, ^ y v,
entonces - fíneme prioridad, mientras que los otros dos se consideran iguales en orden de operación
Cuando en la forma proposicional aparece el conectivo condicional, este se realiza al último. Por ende primero se realiza -, y después. ^ y
V y final,ente = . Por ejem0o, si P y Q son proposiciones,entonces Pv-Q es lo mismo que (Pv(-Q)= (-P)

>>
En la siguiente tabla de verdad observamos que P= Q = -PvQ,
es decir “P implica Q” es lógicamente equivalente a “no P o Q”
Con esto demostramos que el conectivo condicional de dos
proposiciones se puede escribir en términos de la negación y la
disyunción

Para demostrar una equivalencia lógica no siempre será necesario usar las tablas de verdad, si no que podremos usar la propiedades de
los conectivos que ya hemos establecido. Por ejemplo, vamos a ver a qué es lógicamente equivalente la forma proposicional -(P= Q).
Primero ya vino que
P= Q = -PvQ
Por lo que el teorema 2.12 inciso 6) se sigue que
-(P= Q)=-(-PvQ)
=- - P^-Q
= P^-Q
Que - - P=P por el teorema 2.12 inciso 5). De esto se sigue Qi Elva negación de “P implica Q” es “P y no Q”. Como antes ya vimos que P = Q
es lógicamente equivalente a (P= Q)^(Q= P) y usando lo que acabamos de probar, tenemos que
-(P = Q)=-((P= Q)^(Q= P))
=-(P= Q v - (Q= P)
=(P^ -Q) v ( Q^-P)
Otra equivalencia lógica que es muy importante:
P= Q=-Q= -P
En efecto, como P= Q = -PvQ, se tiene que:
P= Q=-PvQ
=Qv-P
=- - Qv-P
=-Q= -P

Cuantificadores
Antes de darle un valor a la variable x, un predicado P(x) se convierte en proposición. Esta no es la única forma de pasar de un predicado
a una proposición, también podemos usar los llamados cuantificadores

Cuantificador universal
El cuantificador universal es el símbolo V, que se lee “para todo” o bien “para cada”. Podemos usar sinónimos de “para todo” para leer
este símbolo.
Sean P(x) un predicado y D el dominio de la variable x del predicado. Un enunciado universal es una oración en forma “Vx€D,P(x)”. El
enunciado universal anterior es verdadero, por definición, si y solo si P(x) es verdadera para toda x€D. Si para alguna x€D sucede que
P(x) es falso, decimos que la oración “Vx€D,P(x)” es falsa. Un valor x€D para el cual P(x) es falso se llama contraejemplo del enunciado
universal
Ej. Consideremos el predicado

Con dominio D={1,2,3,4}. Entonces, el enunciado universal es

De la definición se sigue que este enunciado es falso ya que P(3) no es cierta, es decir, existe un elemento del a dominio a€D para el cual
P(a) es falsa, en este caso a=3
Sin embargo, si D={1,2} entonces el enunciado es verdadero. En efecto, P(1) es verdadera puesto que 1 +1=2 es un primo y P(2) es
verdadera ya que 2 +1=5 también es un número primo. Por ende, para todo x€D, la proposición P(x) es verdadera

Observación 3.2
De forma general, si P(x) es un predicado en la variable x cuyo dominio es D, entonces
Ej. ¿Cual es la negación del siguiente enunciado universal?
“Para todo x y y números enteros, se tiene que x +y >0”

>>
Sean P(x) y Q(x) son predicados que tienen la misma variable x como variable de predicado y cuyo dominio es D para ambos predicados.
Un enunciado condicional universal es un ene un cuado que tiene la forma Vx€D, si P(x) entonces Q(x)
Como vimos en ejemplos anteriores, la negación P= Q es lógicamente equivalente a P^-Q. Usando esta equivalencia lógica, la negación de
un enunciado condicional universal es
-(Vx€D, si P(x) entonces Q(x))= |x€D tal que (P(x)^-Q(x))
Ejemplo 3.4
Consideremos el siguiente enunciado condicional universal
“Para todo número real x, si x >4, entonces x>2 o bien x<-2”

Cuantificador existencial
El cuantificador existencial es el símbolo |, el cual leemos como “existe”. Con el mismo símbolo hacemos referencia a sinónimos de la
palabra “existe” como “hay uno”.
Si P(x) es un predicado y D el dominio de la variable x del predicado. Un enunciado existencial es una oración de la forma
“ |x€D tal que P(x)”
Por definición, dicho enunciado existencial es verdadero si y solo si P(x) es verdadero para al menos un elemento de x de D. Decimos que
es falso, si y solo si, para toda x€D sucede que P(x) es falso

Ejemplo 3.5
Sean P(n) y D= {1,2,3,4} como en el Ejemplo 3.1. Entonces, el enunciado existencial para este predicado y su dominio es
In€D, P(n) : existe n€{1,2,3,4} tal que n +1 es primo.
Como P(2) es verdadera y 2€D, se tiene, por definición, que el enunciado existencial es verdadero.
En cambio, si D = {3,5} entonces el enunciado existencial es falso. En efecto, P(3) y P(5) son proposiciones falsas ya que 3 +1=10 y
5 +1=26 no son números primos, por lo que para todo nE D, la proposición P(n) es falsa.

Observación 3.6
De forma general, si P(x) es un predicado en la variable x cuyo dominio es D, entonces

Ejemplo 3.7
Consideremos el enunciado existencial
“Existe un número entero x y un número natural y tales que xy=10”

“Para todo entero x y para todo y natural, se cumple que xy es distinto a 10”
“Para todo x ∈ D existe y ∈ S tal que xy − 2 es un número primo”
(c) Exprese con símbolos y con palabras la negación del enunciado.

>>
Demostraciones
Una demostración matemática consiste en dar un procedimiento para probar de forma lógica la verdad de una proposición matemática.
Una inferencia válida es aquella que es una consecuencia lógica de las hipótesis o premisas. Esto significa que si las premisas son ciertas,
entonces las conclusiones deben ser ciertas. A continuación vamos a ver algunas de las principales reglas de inferencia
Modus ponens
Sean P y Q proposiciones. Cuando P es verdadera y P=>Q es verdadera, de la tabla de verdad de P=>Q, se sigue que necesariamente Q
es una proposición verdadera. A esta regla de inferencia la llamamos modus ponens (también conocida como modus ponendo ponens,
que significa "el modo que, al afirmar, afirma") y simbólicamente la expresamos como siguen: P
P=>Q
Ejemplo 4.1 ..Q
Suponemos que tenemos las siguientes hipótesis:
Son las cinco de la tarde
Si son las cinco de la tarde, entonces la oficina está vacía
Proposiciónes:
P: son las cinco de la tarde Q: la oficina está vacía
Entonces, como hipótesis tenemos que P y P => Q son verdaderas, por lo que la regla modus ponens nos permite concluir que Q es
verdadera, es decir, que la oficina está cerrada

Modus tollendo tollens

Cuando P =>Q y -Q son verdaderas, necesariamente se tiene que -P es verdadera. Esto de puede observar directamente de la tabla de
verdad P =>Q. A esta regla de inferencia se le conoce como modus tollendo tollens (que significa “el modo que, al negar, niega”) y
simbólicamente la podemos expresar como: P =>Q
-Q
.. -P
Ejemplo 4.2
Supongamos que las siguientes hipótesis son ciertas
Si Susana es mi mamá, entonces Luis es mi hermano
Luis no es mi hermano
Proposiciones:
P: Susana es mi mamá Q: Luis es mi hermano
Como hipótesis tenemos que P =>Q y -Q son verdaderas, por lo que usando la regla modus tollendo tollens, concluimos que -P es
verdadera, es decir, Susana no es mi mamá
Modus tollens ponens
Suponemos que P y Q son proposiciones tales que P V Q es verdadera. Entonces, sabemos que por lo menos una de las proposiciones tiene
que ser verdadera. Si P es falsa, entonces necesariamente Q es verdadera. De forma análoga, si Q es falsa, entonces P es verdadera. En
otras palabras, si P V Q es verdadera pero no Q, entonces descartamos a Q y deducimos que P es verdadera. A esta regla de inferencia
la conocemos como modus tollens ponens (que significa, "al modo que, al negar, afirma") y simbólicamente se expresa como sigue:
PvQ PvQ
-P -Q
.. Q .. P
Ejemplo 4.3
Supongamos que las siguientes hipótesis son verdaderas
Susana va al cine o va al teatro
Susana no va al teatro
Proposiciones:
P: Susana va al cine Q: Susana va al teatro
Entonces, por hipótesis tenemos que P V Q y -Q son verdaderas. Luego, por la regla modus tollens ponens, se concluye que P es
verdadera, es decir, que Susana va al cine.

>>
Regla de adición
Ahora, si P es verdadera, entonces P V Q es verdadera. De forma análoga, si Q es verdadera, entonces PVQ es verdadera. Estos
argumentos válidos los usamos para hacer generalizaciones. A la regla de inferencia que, a partir de una hipótesis P verdadera, deduce
que P V Q es verdadera, para cualquier otro enunciado Q la conocemos como la regla de adición. En símbolos esta regla es:
P
.. PvQ
Ejemplo 4.4
Suponemos que la hipótesis P : "el libro es azul" es verdadera. Con la regla de adición podemos deducir que los siguientes enunciados
son verdaderos:
El libro es azul o es rojo;
El libro es azul o es nuevo,
El libro es azul o está roto.
Regla de simplificación
Por otro lado, si conocemos que la hipótesis P ^ Q es verdadera, entonces de la tabla de verdad de la conjunción se puede concluir
que P es verdadera y de forma similar que Q también lo es. Usamos estos argumentos para particularizar. Llamamos regla de
simplificación a lo siguiente: cuando la premisa P V Q es verdadera, se deduce que P es verdadera (o bien Q es verdadera).
Simbólicamente esto es:

Ejemplo 4.5
Suponemos que la hipótesis "Está lloviendo y haciendo frío" es verdadera. Entonces, por la regla de simplificación, podemos
deducir, en particular, que está lloviendo.
Finalmente, suponemos que C es una contradicción y P es una proposición de tal forma que -P ≥ C es verdadera. Tenemos
las siguientes equivalencias lógicas
-P=>C=-(-P)vC=PvC.

Regla de contradicción
Como -P=>C, se tiene que P V C también es verdadera. Ahora, como C es falsa por ser una contradicción, usando la regla modus tollens
ponens, se deduce que P es verdadera. Tenemos con esto la regla de contradicción: si suponemos que una proposición es falsa y esto nos
conduce a una contradicción, entonces la proposición debe ser cierta.

Demostración directa
Si la hipótesis P es verdadera y se tiene una sucesión de proposiciones verdaderas
P=>P1, P1=>P2, …, Pn-1=>Pn, Pn=>Q
usando la regla del modus ponens, podemos afirmar que Q es una proposición verdadera. A esto lo conocemos como una demostración
directa de que el condicional P=>Q es verdadero. Esto es, demostrar directamente que P=>Q es verdadero consiste en que, de suponer
que P es verdadera y usando proposiciones verdaderas que ya conocemos, deducimos la verdad de Q
Ejemplo 4.6
Pruebe que, para todo número entero n, si n es impar, entonces 3n + 7 es un entero par.
Solución. Utilizamos el método de demostración directa en este ejemplo. Si P : "n es un entero impar" y Q : "3n + 7 es impar",
entonces debemos probar la verdad de P > Q. En una demostración directa comenzamos suponiendo la verdad de P, es decir,
que n es un entero impar.
Como n es un entero impar, entonces existe k € Z tal que n = 2k. Por las propiedades de los números
naturales, se tiene que
3n+7= 3(2k+1) +7 = 6k+3 + 7 = 6k + 10 = 2(3k + 5).
Como 3k + 5 es un entero, entonces tomando k' = 3k + 5, se tiene que existe k' E Z tal que 3n + 7 = 2k'. Por lo tanto. 3n + 7 es
un número par.

>>
>>
2. Considere la siguiente proposición
“Para todo x€D existe y€S tal que xy − 2 es un número primo”

(c) Exprese con símbolos y con palabras la negación del enunciado.

V x€D, |y€S, xy-2 es un número primo
P(x,y)=xy-2 es un número primo V x€D, |y€S, P(x,y)
-(V x€D, |y€S, P(x,y)) = |x€D, -( |y€S, P(x,y))
= |x€D, Vy€S, -(P(x,y))
= |x€D, Vy€S, xy-2 = P
(No pertenece a….
“Existe x€D para todo y€S tal que xy-2 no es un número primo”

6. Sean X un conjunto y A, B ⊆ X. Pruebe que

(b) A∩B=∅si, y sólo si, B⊆A ;
Para poder demostrar que A∩B=∅=>B⊆A primero vamos a demostrar que B⊆A => A∩B=∅
Para todo x€X tenemos que x€B y x€A , si suponemos que esto es cierto tendemos que x€A ya que si x está en A no está en A, por lo
tanto si x€B y x€A, los conjuntos A y B son disjuntos A∩B=∅
Ahora para demostraremos que A∩B=∅=>B⊆A
Para todo x€X, supongamos que x€B y x€A, sabe que si A y B no comparten elementos entonces A∩B=∅ se dice que son disjuntos, por la
definición de complemento que dice que todo elemento que no pertenece a A, es elemento del complemento entonces como A y B son
ajenos deducimos que B es subconjunto de X

>>
Como q es falsa por vacuidad como q es falsa

>>
>>
>>
>>
Inducción matemática

>>
>>
>>
Por definicion,, una relación binaria es el subconjunto de un producto carteciano

>>
Una función es un caso particular de una relación que cumple ciertos criterios
Para cada elemento de un conjunto A le corresponde uno y solo un elemento de otro conjunto B
Es decir para todo x en A (x,y) pertenece a B, tal que todo x en A tiene una única pareja en B

>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
 Algebra Superior I. Integrantes:
Garcia Luna Mariana Tisbe
Tarea 1 Guzman Lopez Aneth Enlil
Profesor: Dr. Gerardo Acosta Peralta Perez Ana Karen
Ayudante: Shaira Hernandez. Santiago Rufino Andrea

1. Sean P y Q proposiciones tales que P Q es falsa. Encuentre los valores de verdad de las siguientes formas
proposicionales. Justifique su respuesta

(a) ¬P ∨ Q ;
P Q P=>Q ¬P ¬PvQ
V V V F V
V F F F F .. Tenemos que el valor de verdad de P=>Q es falsa por lo que podemos concluir que el valor de verdad de ¬PvQ también
F V V V V es falso por su tabla de verdad
F F V V V

(b) P ∧ Q
P Q P∧Q
V V V
V F F .. Tenemos a P con valor de verdad verdadero y a Q con valor de verdad falso, podemos concluir que la conjunción de PyQ es falsa,
F V F ya que la conjunción solo es verdadera cuando ambas son verdaderas
F F F

(c) Q P;
P Q P Q Q P
V V V V
V F V V
F V F F
F F V V
(d) ¬Q ¬P;

P Q ¬P ¬Q P Q ¬Q ¬P
V V F F V V
V F F V F F .. Cuando P Q es falsa, concluimos que la forma proposicional será falsa; ya que son expresiones equivalentes,
F V V F V V
se puede notar es que ambos tienen la misma tabla de verdad
F F V V V V

(e) P Q.
P Q P Q
V V V Tomando en cuenta que una Bicondicional solo puede ser verdadera cuando ambas proposiciones tienen el mismo valor de verdad
V F F .. P es verdadera y Q es falsa por lo que se concluye que P Q es falsa
F V F
F F V

2. Considere la siguiente proposición

“Para todo x ∈ D existe y ∈ S tal que xy-2 es un número primo”
con D = {3,5,11,7} y S = {7,1,3}.
(a) Exprese el enunciado en símbolos;

V x€D, |y€S | xy-2 es un número primo

 (b) Determine si la proposición es verdadera o falsa y explique su respuesta.
Para cada número en el conjunto D, hay al menos uno que está en S, y esto favorece para poder comprobar la proposición por los siguientes casos:
Para Es un número primo
Para Es un número primo
Para Es un número primo
Para Es un número primo
Podemos observar cómo los resultados a las pruebas de la proposición resultan números primos por lo que si se cumple la proposición, concluimos
que es verdadera

(c) Exprese con símbolos y con palabras la negación del enunciado.

V x€D, |y€S | xy-2 es un número primo
P(x,y)=xy-2 es un número primo V x€D, |y€S | P(x,y)
-(V x€D, |y€S | P(x,y)) = |x€D, -( |y€S | P(x,y))
= |x€D, Vy€S | -(P(x,y))
= |x€D, Vy€S, xy-2 € P

“Existe x€D para todo y€S tal que xy-2 no es un número primo”

3. Construya las tablas de verdad de las siguientes formas proposicionales. ¿Cuáles de ellas son tautologías o
contradicciones?
(a) (P Q)∧(Q R) (P R);
P Q R P Q ∧ Q R P R
V V V V V V V V
V V F V F F V F
V F V F F V V V
F V V V V V V V
F F V V V V V V
F V F V F F V V
V F F F V V V F Podemos concluir que esta tabla de verdad, representa una tautología
F F F V V V V F

4. Sean A, B y C conjuntos. Demuestre que si C ⊆ A ∪ B y C ∩ A = ∅, entonces C ⊆ B.

Demostración
Supongamos que A, B y C son conjuntos no vacíos C⊆A∪B y C∩A=ø, entonces C⊆B Por hipótesis
Sea x un elemento arbitrario en C
Si tomamos que C⊆A∪B entonces Vx€C=>x€A∪B, esto quieres decir que x€A y x€B, y si tomamos que C∩A=ø, estos conjuntos son ajenos, por lo tanto
x€C∧x€A ó x€C∧x€A, si x€C∧x€A se tendría una contradicción, ya que por hipótesis tenemos que x€C y no se puede ser y no ser elemento de un
conjunto, si tomamos que x€C∧x€A, por hipótesis x€A∪B, esto quiere decir que x€B por lo tanto C⊆B

5. Sea X un conjunto y A, B, C ⊆ X. Supongamos que A ∩ B = A ∩ C y (X \ A) ∩ B = (X \ A) ∩ C. Demuestra entonces que B = C.

Demostración
Tenemos X, cualquier elemento de B, luego supongamos que B=C
Sea x€(X\A)∩B y x€(X\A)∩C, esto quiere decir que x€C y x€(X\A.). Por tanto x€A, pero x€C y x€B
Estamos hablando de una igualdad, ya que tenemos que x€C, x€B y x€A, pues es igual a lo anterior por lo que B=C
Regresando a la suposición inicial de que B=C, nos lleva a una contradicción
B=C es verdadera
Ahora supongamos que A∩B=A∩C, teniendo a B=C, tomando x un elemento arbitrario x€A∩B y x€A∩C por la hipótesis.
Esto es x€A y x€B=x€A y x€C, lo que responde a una igualdad
Supusimos que B=C, por lo anterior esto es falso lo que lleva a una contradicción
B=C
.. La proposición de que si A∩B=A∩C y (x\A)∩B B=C
6. Sean X un conjunto y A, B ⊆ X. Pruebe que
(a) A∪B=X si, y sólo si, Ac ⊆B;
Demostración
Tenemos que para A∪B=X<=>A ⊆B, sea x un elemento arbitrario a la unión
] Supongamos que A ⊆B y x€A , esto quiere decir que Vx€A =>x€B, lo cual es definición de unión. Luego tenemos que A ⊆A ∪B, por lo tanto, X=A∪A ,
pero también A ⊆B, esto es x€A∪B, lo que significa que A ⊆B=>A∪B=x
] Ahora supongamos que A∪B=X y x€B. Entonces por la definición de unión y complemento tenemos que A ∪A =X=A∪B y como sabemos que x€B y
que A ⊆B, esto quiere decir que es Vx€A => x€B, entonces A ⊆B
.. concluimos que A∪B=x<=>A ⊆B

(b) A∩B=∅si,ysólosi,B⊆Ac ;
Demostración
Tenemos que para A∩B=∅<=>B⊆A , sea x un elemento arbitrario de B
] Si A∩B=∅=>x€B y x€A por x€A∩B<=>(x€A^x€B) la cual es la definición de intersección. Si x€A, pertenece a A . Entonces x€A y x€B, por lo que B⊆A .
] Ahora tenemos que si B⊆A , entonces x€B y x€A , por definición de contención. Si x€A , entonces x€A, entonces podemos decir que AnB=ø por la
definición de intersección, ya que x€A y x€B. Entonces AnB=ø
.. concluimos que A∩B=∅<=>B⊆A .

(c) A∪B=X yA∩B=∅ si, y sólo si, B=Ac.

Demostración
Tenemos que para A∪B=X y A∩B=∅<=>B=A sea x un elemento arbitrario de B
] Entonces A∩B=∅ y x€B, se puede deducir que x€A pero si x€A . Entonces A∪B=X y x€A , esto significa que A∪A =A∪B=X esto se deduce a que A ⊆B y
B⊆A . Por lo que B⊆A , de la proposición inicial
] Ahora supongamos que B=A , y x sea arbitrario l x€B, esto es Vx€B=>x€A , se deduce que x€A por definición de complemento. Luego A∩B=∅ ya que
x€B y x€A, por definición de intersección. A∪A =X por la unión y como B=A , entonces A∪B=X
.. Podemos concluir que A∪B=X y A∩B=∅<=>B=A

8. Sean A y B conjuntos. Demuestre lo siguiente:

(a) A⊆B si, y sólo si, P(A)⊆P(B).
Obs. X€P(A) significa que XcA, pues P(A) contiene a todos los subconjuntos de A
Demostración
] Sea A⊆B<=>P(A)⊆P(B) A∩B=∅ A∪B=X A∪A =A∪B=X A ⊆ B B⊆A . B⊆A
Tenemos que x€P(A) y por hipótesis de x arbitraria, entonces x⊆A y como se está suponiendo que A⊆B entonces tenemos que x⊆A⊆B
Luego suponemos que x⊆B, esto quiere decir que es subconjunto de B y por lo tanto x⊆P(B). De aquí podemos concluir que P(A)⊆P(B)
] Ahora supongamos que P(A)⊆P(B), sea x un elemento arbitrario, tal que x€P(A), así como también x⊆P(B), pues por hipótesis Vx€P(A)=>x€P(B).
Luego x⊆A y x⊆B por definición de potencia, tenemos que Vx€A=>x€B, entonces, se demuestra que P(A)⊆P(B)=>A⊆B
.. concluimos que A⊆B<=>P(A)⊆P(B)

(b) A=B si, y sólo si, P(A)=P(B).

Demostración
] Suponemos que A=B, luego tenemos que x€P(A), entonces x⊆A=>x⊆B=>x⊆P(B)=>P(A)⊆P(B)
Por otro lado tenemos que x€P(B), entonces x⊆B=>x⊆A=>x⊆P(A) entonces P(B)⊆P(A)
] Si suponemos que P(A)=P(B), luego tenemos x, un elemento arbitrario, x€A, entonces {x}⊆A=>{x}€P(A) por tanto {x}€P(B)=>{x}⊆B=>x€B=>A⊆B
Por otro lado tenemos que {x}⊆B por hipótesis, entonces {x}€P(B)=>{x}€P(A)=>{x}x⊆A=>x€A y B⊆A
Integrantes: Álgebra superior I
Garcia Luna Mariana Tisbe
Guzman Lopez Aneth Enlil Tarea 1
Peralta Perez Ana Karen Profesor: Dr. Gerardo Acosta
Santiago Rufino Andrea Ayudante: Shaira Hernandez.
Francisco Manuel mejuto cruz

1. Sean P y Q proposiciones tales que P Q es falsa. Encuentre los valores de verdad de las siguientes formas proposicionales.
Justifique su respuesta
(a) ¬P ∨ Q;
P Q P=>Q ¬P ¬PvQ
V V V F V .. Tenemos que el valor de verdad de P=>Q es falsa por lo que podemos concluir
que el valor de verdad de ¬PvQ también es falso por su tabla de verdad
V F F F F
F V V V V
F F V V V
(b) P ∧ Q;
P Q P∧Q
V V V .. Tenemos a P con valor de verdad verdadero y a Q con valor de verdad falso, podemos
V F F concluir que la conjunción de PyQ es falsa, ya que la conjunción solo es verdadera cuando
ambas son verdaderas
F V F
F F F
(c) Q P;
P Q P Q Q P
V V V V ..Tenemos que, cuando el valor de verdad de p implica q es falsa, el valor de
V verdad de Q implica P también es falso por su tabla de verdad
V F V
F V F F
F F V V
(d) ¬Q ¬P;
P Q ¬P ¬Q P Q ¬Q ¬P
V V F F V V .. Cuando P Q es falsa, concluimos que la forma proposicional
V F F V F F será falsa; ya que son expresiones equivalentes, se puede notar
F V V F V V es que ambos tienen la misma tabla de verdad
F F V V V V
(e) P Q.

P Q P Q
V V V Tomando en cuenta que una Bicondicional solo puede ser verdadera cuando ambas
V F F proposiciones tienen el mismo valor de verdad
.. P es verdadera y Q es falsa por lo que se concluye que P Q es falsa
F V F
F F V
2. Considere la siguiente proposición
“Para todo x ∈ D existe y ∈ S tal que xy-2 es un número primo”
con D = {3,5,11,7} y S = {7,1,3}.

(a) Exprese el enunciado en símbolos;

V x€D, |y€S | xy-2 es un número primo
(b) Determine si la proposición es verdadera o falsa y explique su respuesta.
Para cada número en el conjunto D, hay al menos uno que está en S, y esto favorece para poder comprobar la proposición por
los siguientes casos:
Para Es un número primo
Para Es un número primo
Para Es un número primo
Para Es un número primo
Podemos observar cómo los resultados a las pruebas de la proposición resultan números primos por lo que si se cumple la
proposición, concluimos que es verdadera
(c) Exprese con símbolos y con palabras la negación del enunciado.
V x€D, |y€S | xy-2 es un número primo
P(x,y)=xy-2 es un número primo V x€D, |y€S | P(x,y)
-(V x€D, |y€S | P(x,y)) = |x€D, -( |y€S | P(x,y))
= |x€D, Vy€S | -(P(x,y))
= |x€D, Vy€S, xy-2 € P

“Existe x€D para todo y€S tal que xy-2 no es un número primo”

3. Construya las tablas de verdad de las siguientes formas proposicionales. ¿Cuáles de ellas son tautologías o contradicciones?
(a) (P Q)∧(Q R) (P R);
P Q R P Q ∧ Q R P R
V V V V V V V V
V V F V F F V F
V F V F F V V V
F V V V V V V V
F F V V V V V V
F V F V F F V V
V F F F V V V F
Podemos concluir que esta tabla de verdad, representa una tautología
F F F V V V V F
(b) (P ∨ Q) ∨ ¬(P Q);

P Q P∨Q P Q ¬(P Q) (P∨Q)∨¬(P Q)

V V V V F V
Esta tabla de verdad no pertenece a una tautología,
V F V F V V pues no siempre tienen valor de verdad verdadero.
F V V V F V Por otro lado, tampoco es contradicción pues no
F F F V F F siempre tiene valor de verdad falsa
 (c) (P ¬Q) ∧ P ∧ Q

P Q (¬Q) (P ¬Q) (((P (¬Q)))∧ P (((P (¬Q)))∧P)∧Q

V V F F F F
V F V V V F Podemos concluir que se trata de
F V F V F F una contradicción
F F V V F F

4. Sean A, B y C conjuntos. Demuestre que si C ⊆ A ∪ B y C ∩ A = ∅, entonces C ⊆ B.

Demostración
Supongamos que A, B y C son conjuntos no vacíos C⊆A∪B y C∩A=ø, entonces C⊆B Por hipótesis
Sea x un elemento arbitrario en C
Si tomamos que C⊆A∪B entonces Vx€C=>x€A∪B, esto quieres decir que x€A y x€B, y si tomamos que C∩A=ø, estos conjuntos
son ajenos, por lo tanto x€C∧x€A ó x€C∧x€A, si x€C∧x€A se tendría una contradicción, ya que por hipótesis tenemos que x€C
y no se puede ser y no ser elemento de un conjunto, si tomamos que x€C∧x€A, por hipótesis x€A∪B, esto quiere decir que x€B
por lo tanto C⊆B

5. Sea X un conjunto y A, B, C ⊆ X. Supongamos que A ∩ B = A ∩ C y (X \ A) ∩ B = (X \ A) ∩ C. Demuestra entonces que B = C.

Demostración
Tenemos X, cualquier elemento de B, luego supongamos que B=C
Sea x€(X\A)∩B y x€(X\A)∩C, esto quiere decir que x€C y x€(X\A.). Por tanto x€A, pero x€C y x€B
Estamos hablando de una igualdad, ya que tenemos que x€C, x€B y x€A, pues es igual a lo anterior por lo que B=C
Regresando a la suposición inicial de que B=C, nos lleva a una contradicción
B=C es verdadera
Ahora supongamos que A∩B=A∩C, teniendo a B=C, tomando x un elemento arbitrario + x€A∩B y x€A∩C por la hipótesis.
Esto es x€A y x€B=x€A y x€C, lo que responde a una igualdad
Supusimos que B=C, por lo anterior esto es falso lo que lleva a una contradicción
B=C
.. La proposición de que si A∩B=A∩C y (x\A)∩B B=C

6. Sean X un conjunto y A, B ⊆ X. Pruebe que

(a) A∪B=X si, y sólo si, A ⊆B;

Demostración
Tenemos que para A∪B=X<=>A ⊆B, sea x un elemento arbitrario a la unión
] Supongamos que A ⊆B y x€A , esto quiere decir que Vx€A =>x€B, lo cual es definición de unión. Luego tenemos que
A ⊆A ∪B, por lo tanto, X=A∪A , pero también A ⊆B, esto es x€A∪B, lo que significa que A ⊆B=>A∪B=x
⇐] Ahora supongamos que A∪B=X y x€B. Entonces por la definición de unión y complemento tenemos que A ∪A =X=A∪B
y como sabemos que x€B y que A ⊆B, esto quiere decir que es Vx€A => x€B, entonces A ⊆B
.. concluimos que A∪B=x<=>A ⊆B

(b) A∩B=∅ si, y sólo si, B⊆A ;

Demostración
Tenemos que para A∩B=∅<=>B⊆A , sea x un elemento arbitrario de B
] Si A∩B=∅=>x€B y x€A por x€A∩B<=>(x€A∧x€B) la cual es la definición de intersección. Si x€A, pertenece a A . Entonces
x€A y x€B, por lo que B⊆A .
⇐] Ahora tenemos que si B⊆A , entonces x€B y x€A , por definición de contención. Si x€A , entonces x€A, entonces
podemos decir que AnB=ø por la definición de intersección, ya que x€A y x€B. Entonces AnB=ø
.. concluimos que A∩B=∅<=>B⊆A .
 (c) A∪B=X yA∩B=∅ si, y sólo si, B=A .
Demostración
Tenemos que para A∪B=X y A∩B=∅<=>B=A sea x un elemento arbitrario de B
] Entonces A∩B=∅ y x€B, se puede deducir que x€A pero si x€A . Entonces A∪B=X y x€A , esto significa que A∪A =A∪B=X esto
se deduce a que A ⊆B y B⊆A . Por lo que B⊆A , de la proposición inicial
⇐] Ahora supongamos que B=A , y x sea arbitrario l x€B, esto es Vx€B=>x€A , se deduce que x€A por definición de
complemento. Luego A∩B=∅ ya que x€B y x€A, por definición de intersección. A∪A =X por la unión y como B=A , entonces
A∪B=X
.. Podemos concluir que A∪B=X y A∩B=∅<=>B=A

7. Pruebe que

(a) Si A y B son conjuntos, entonces A ∩ (B△C) = (A ∩ B)△(A ∩ C).

Demostración
A∩(B△C)⊆(A∩B)△(A∩C)
Sea x€A∩(B△C)
Tenemos por definición que x€A∧[(x€B∧x€C) ∨ (x€C∧x€B)]
Por distributividad [x€A∧(x€B∧x€C)]∨[x€A∧(x€C∧x€B)
Por asociatividad [x€B∧(x€A∧x€C)] ∨ [x€C∧(x€A ∧x€B)]
Luego por absorción parcial [x€B∧(x€A∧(x€A∨x€C))] ∨ [x€C∧(x€A∧(x€A∨x€B))]
Tenemos por asociatividad [(x€A∧x€B)∧(x€A∨x€C)] ∨ [(x€A∧x€C)∧(x€A∨x€B
Por definición [x€A∩B∧(x€A∨x€C)] ∨ [x€A∩C∧(x€A∨x€B)]
Por Morgan [€A∩B∧¬(x€A∧x€C)] ∨ [x€A∩C¬(x€A∧x€B)]
[(x€A∩B∧¬(x€A∩C)] ∨ [x€A∩C∧¬(x€A∩B)]
[(x€A∩B)∧(x€A∩C)] ∨ [(x€A∩C)∧(x€A∩B)]
(A∩B)\(A∩C) ∪ (A∩C)\(A∪B)
(A∩B)△(A∩C)
.. A∩(B△C)=(A∩B)△(A∩C)
(A∩B)△(A∩C) ⊆ A∩(B△C)
Sea x€(A∩B)△(A∩C)
Por definición de diferencia simétrica tenemos que (x€A∩B∧x€A∩C) ∨ (x€A∩C∧x€A∩B)
Ahora por definición de intersección [(x€A∧x€B)∧(x€A∧x€C)] ∨ [(x€A∧x€C)∧(x€A∧n€B)]
Luego por asociatividad [(x€B∧(x€A∧(x€A∧x€C)] ∨ [(x€C∧(x€A∧(x€A∧x€B)]
Aplicando la ley de absorción parcial [(x€B∧(x€A∧x€C)] ∨ [(x€C∧(x€A∧x€B)]
Por asociatividad [(x€∧(x€B∧x€C)] ∨ [(x€A∧(x€C∧x€B)]
Ahora por distributividad tenemos que x€A∧[(x€B∧x€C)∨(x€C∧x€B)]
Entonces por definición de diferencia x€A∧[(x€B\C)∨(x€C\B)]
Concluimos que x€A∩(B△C)
.. (A ∩B)△(A ∩C)⊆A∩(B△C)
(b) Dé conjuntos A, B y C tales que A∪(B△C)=(A∪B)△(A∪C).

Demostración
Supongamos que (A∪B)△(A ∪C)= A∪(B△C), sea x un elemento arbitrario tal que x€(A∪B)△(A ∪C), luego por la propiedad de
sustitución D△E= (A∪B)△(A ∪C) siendo D=(A∪B) y E=(A ∪C), ya declarados esos nuevos conjuntos, que por hipótesis tenemos
que x€A o x€B entonces x€D y x€A o x€C entonces x€E, luego por definición de diferencia simétrica D△E=(D\E)∪(E\D) donde
(D\E) x€D y x€E y en (E\D) x€E y x€D.
Esto contradice la hipótesis, ya que ahí dimos por hecho la existencia de x en D y E ya que x solo puede existir en E o en D
Por otro lado, suponemos que x€A∪C B△C, tomando a x como un elemento arbitrario, donde tenemos que x€A y x€(B△C).
Luego por definición de la diferencia simétrica tenemos que x€(B\C)∪(C\B) donde x€B y x€C ó x€C y x€B, luego tenemos x€(A∪B)
ó x€(A∪C), sabemos que x€A, sin embargo no confirmamos la existencia de x€B o x€B, tampoco de x€C o x€C. Tomando la
condición de x€(A∪B) o x€(A ∪C) se contradice al tener que x€B y x€C
.. podemos concluir que A∪(B△C)=(A∪B)△(A∪C)
8. Sean A y B conjuntos. Demuestre lo siguiente:
(a) A⊆B si, y sólo si, P(A)⊆P(B).
Obs. X€P(A) significa que XcA, pues P(A) contiene a todos los subconjuntos de A
Demostración
] Sea A⊆B<=>P(A)⊆P(B)
Tenemos que x€P(A) y por hipótesis de x arbitraria, entonces x⊆A y como se está suponiendo que A⊆B entonces tenemos
que x⊆A⊆B
Luego suponemos que x⊆B, esto quiere decir que es subconjunto de B y por lo tanto x⊆P(B). De aquí podemos concluir que
P(A)⊆P(B)
⇐] Ahora supongamos que P(A)⊆P(B), sea x un elemento arbitrario, tal que x€P(A), así como también x⊆P(B), pues por
hipótesis Vx€P(A)=>x€P(B).
Luego x⊆A y x⊆B por definición de potencia, tenemos que Vx€A=>x€B, entonces, se demuestra que P(A)⊆P(B)=>A⊆B
.. concluimos que A⊆B<=>P(A)⊆P(B)

(b) A=B si, y sólo si, P(A)=P(B).

Demostración
] Suponemos que A=B, luego tenemos que x€P(A), entonces x⊆A=>x⊆B=>x⊆P(B)=>P(A)⊆P(B)
Por otro lado tenemos que x€P(B), entonces x⊆B=>x⊆A=>x⊆P(A) entonces P(B)⊆P(A)
⇐] Si suponemos que P(A)=P(B), luego tenemos x, un elemento arbitrario, x€A, entonces {x}⊆A=>{x}€P(A) por tanto
{x}€P(B)=>{x}⊆B=>x€B=>A⊆B
Por otro lado tenemos que {x}⊆B por hipótesis, entonces {x}€P(B)=>{x}€P(A)=>{x}x⊆A=>x€A y B⊆A

(c) P(A)∩P(B)=P(A∩B).

Demostración
P(A∩B) ⊆ P(A)∩P(B)
Sea x€P(A∩B) un elemento arbitrario
Por definición x⊆A∩B. Si aplicamos el axioma de distributividad nos queda que (x⊆A)∩(x€⊆B)
De nuevo por distribución de potencias, si x ⊆A entonces x€P(A) y a su vez si x⊆B, entonces x€P(B)
Con esto concluimos que x€P(A) y x€P(B) y por intersección x€P(B )∩P(B)
.. P(A∩B) ⊆ P(A)∩P(B)
P(A)∩P(B) ⊆ P(A∩B)
Sea x€P(A)∩P(B) un elemento arbitrario por intersección tenemos que x€P(A) y x€P(B)
Ahora por definición de potencias x€P(A) entonces x⊆A, y a su vez si x€P(B) entonces x⊆B. Luego
con la propiedad distributiva tenemos que x⊆A∩B
De nuevo por definición de potencia si x⊆A∩B, entonces x€P(A∩B)
.. P(A)∩P(B) ⊆ P(A∩B)
(d) P(A) ∪ P(B) ⊆ P(A ∪ B). ¿Se puede dar la igualdad? Demuestre o dé un contraejemplo.
Demostración
Sea x arbitrario
Por definición se tiene P(A)={x | x⊆A}
Tenemos a x un elemento arbitrario de P(A)∪P(B) entonces x€P(A)∪P(B),
esto significa que x€P(A) o x€P(B). Ahora por definición tenemos que un
elemento de P(A) es un subconjunto de A, es decir x€P(A)<=>x⊆A
Se cumple lo mismo con x€P(B), es decir x⊆B. Si x⊆A o x⊆B, entonces podemos decir que x⊆A∪B
Cómo podemos observar, x está contenido en un conjunto (A ∪B), esto implica que x pertenece al conjunto
potencia de ese conjunto, es decir x€P(A∪B)
.. Podemos concluir que P(A) ∪ P(B) ⊆ P(A ∪ B)
Estudio de álgebra
A={1,2} B={3,4} C={1,2,3,4}
P(A)=

4) A ∩ B ⊆ A y A ∩ B ⊆ B;

5) A = A ∩ B si y s ́olo si A ⊆ B;