SlideShare una empresa de Scribd logo
1 de 20
Teoría elemental de conjuntos
Lógica proposicional
Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de
verdad (1) o falsedad (0).
Dada una proposición p, se define la negación de p como la proposición p' que es
verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar
diversas operaciones lógicas para construir
nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad
en función de los valores de
las proposiciones de que se componen, lo cual se realiza a través de las tablas de
verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negación es la siguiente:
p p'
1 0
0 1
A continuación se describen las principales operaciones lógicas entre dos
proposiciones p,q y sus tablas de verdad:
Conjunción: es aquella proposición que es verdadera cuando p y q son
verdaderas, y falsa en cualquier otro caso.
Se escribe p  q, y se lee "p y q".
p q p  q
1 1 1
1 0 0
0 1 0
0 0 0
Disyunción: es aquella proposición que es verdadera cuando al menos una de las
dos p o q es verdadera,
y falsa en caso contrario. Se escribe p  q, y se lee "p o q".
p q p  q
1 1 1
1 0 1
0 1 1
0 0 0
Disyunción exclusiva: es aquella proposición que es verdadera cuando una y
sólo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p  q, y se lee "p o q pero
no ambas". Se usa muy poco.
p q p  q
1 1 0
1 0 1
0 1 1
0 0 0
Condicional: es aquella proposición que es falsa únicamente cuando
la condición suficiente p es verdadera y la
condición necesaria q es falsa. Se escribe p  q, y se lee "si p
entonces q".
p q p  q
1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional: es aquella proposición que es verdadera cuando p y q tienen el
mismo valor de verdad,
y falsa en caso contrario. Se escribe p  q, y se lee "si y sólo si p
entonces q".
p q p  q
1 1 1
1 0 0
0 1 0
0 0 1
Una proposición se dice que es una tautología si su valor de verdad es
siempre 1 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p  p'.
Una proposición se dice que es una contradicción si su valor de verdad es
siempre 0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p  p'.
Una paradoja es una proposición a la que no se le puede asignar ningún valor de
verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lógico. Por ejemplo: p="la proposición p es falsa".
Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en
función de las proposiciones elementales
que lo componen; esta definición equivale a decir que la proposición p  q es una
tautología. Por ejemplo, las proposiciones
p  q
y
q'  p'
son equivalentes. Esta ley se llama "ley del contrarrecíproco", y se usa en los
razonamientos por reducción al absurdo.
Se pueden obtener fácilmente más "resultados lógicos" a través de su relación con la
teoría de conjuntos.
Números naturales : principio de inducción
Admitivos como intuitivo el concepto de número natural; así, podemos enumerar
los números naturales en orden creciente:
N = { 1,2,3,4,5, ... }
Cuando se quiere demostrar que una proposición relativa a números naturales es
cierta, se necesita el Principio de Inducción:
"Sea S el conjunto de números naturales para los que la proposición p(n) es
cierta; supongamos que
m  S
y que
n S  n+1  S
Entonces S = { m,m+1,m+2, ... }"
(es decir, la propiedad se verifica para todo número natural a partir de m;
normalmente se usa con m = 1).
Algunas veces, cuando se quiere demostrar que la proposición es cierta para n+1, es
necesario usar que la proposición
se verifica para todo k < n+1; en ese caso se utiliza el Principio de Inducción
completa:
"Sea S el conjunto de números naturales para los que la proposición p(n) es
cierta; supongamos que
m  S
y que
m,m+1, ... ,n S  n+1  S
Entonces S = { m,m+1,m+2, ... }"
Ejercicio: pruébese por inducción la fórmula del binomio de Newton
(Indicación: utilícense las propiedades de los números combinatorios).
Teoría de Conjuntos
NOCION INTUITIVA DE CONJUNTO
Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables entre
si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relación de pertenencia a  A.
En caso contrario, si a no es un elemento de A se denota a A.
Ejemplos de conjuntos:
o  : el conjunto vacío, que carece de elementos.
o N: el conjunto de los números naturales.
o Z: el conjunto de los números enteros.
o Q : el conjunto de los números racionales.
o R: el conjunto de los números reales.
o C: el conjunto de los números complejos.
Se puede definir un conjunto:
o por extensión, enumerando todos y cada uno de sus elementos.
o por comprensión, diciendo cuál es la propiedad que los caracteriza.
Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por
extensión,
o su propiedad característica, si se define por comprensión. Por ejemplo:
o A := {1,2,3, ... ,n}
o B := {p Z | p es par}
Se dice que A está contenido en B (también que A es un subconjunto de B o que A es
una parte de B),
y se denota A  B, si todo elemento de A lo es también de B, es decir,
a  A  a  B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultáneamente A  B y
B  A;
esto equivale a decir que tienen los mismos elementos (o también la misma propiedad
característica).
Para cualquier conjunto A se verifica que  A y A  A;
B  A es un subconjunto propio de A si A   y B  A.
El conjunto formado por todos los subconjuntos de uno dado A se llama partes de A,
y se denota  (A).
Entonces, la relación B  A es equivalente a decir B   (A). Ejemplos:
Si A = {a,b} entonces  (A) = { ,{a},{b},A}.
Si a  A entonces {a}  (A).
Cuando en determinado contexto se consideran siempre conjuntos que son partes de
uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A  B := {a  A |
a  B}.
Asimismo, se llama diferencia simétrica entre A y B al conjunto A  B :=
(A  B)   A
Si A   (U), a la diferencia U  A se le llama complementario de A respecto de
U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fácil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o  ' = U .
o U ' = .
o (A')' = A .
o A  B  B'  A' .
o Si A = { x  U | p(x) es una proposición verdadera} entonces A' = { x  U |
p(x) es una proposición falsa}.
Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B,
es decir: A  B := { x | x  A  x  B}.
Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que
son elementos de A y de B,
es decir: A  B := {x | x  A  x  B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que
A B = A  B'.
En este caso, la llamadas operaciones booleanas (unión e intersección) verifican las
siguientes propiedades :
PROPIEDADES UNION INTERSECCION
1.- Idempotencia A  A = A A  A = A
2.- Conmutativa A  B = B  A A  B = B  A
3.- Asociativa A  ( B  C ) = ( A  B )  C A  ( B  C ) = ( A  B )  C
4.- Absorción A  ( A  B ) = A A  ( A  B ) = A
5.- Distributiva A  ( B  C ) = ( A  B )  ( A  C ) A  ( B  C ) = ( A  B )  ( A  C )
6.- Complementariedad A  A' = U A  A' = 
Estas propiedades hacen que partes de U con las operaciones unión e intersección
tenga una estructura de álgebra de Boole.
Además de éstas, se verifican también las siguientes propiedades:
o A   = A , A   =  ( elemento nulo ).
o A  U = U , A  U = A ( elemento universal ).
o ( A  B )' = A'  B' , ( A  B )' = A'  B' ( leyes de Morgan ).
Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el
conjunto de pares ordenados:
A  B := { (a,b) : a  A  b  B}
Dos pares (a,b) y (c,d) de A  B son iguales si a = c y b = d; análogamente, dados
cuatro conjuntos A,B,C,D se verifica
A  B = C  D  ( A = C  B = D )
Se llama grafo relativo a A  B a todo subconjunto G  A  B.
Dado un grafo G relativo a A  B, se llama proyección de G sobre A al conjunto
ProyAG := { a  A : (a,b)  G,  b  B}
Análogamente se define la proyección ProyBG de G sobre B.
Por último, los conceptos anteriores pueden generalizarse a familias de conjuntos.
Si para cada elemento i de un conjunto (de índices ) I se tiene un conjunto Ai ,
entonces se define el conjunto { Ai : i  I }
y se denomina familia de conjuntos indicada por I. También se suele denotar por {
Ai } i  I .
De forma análoga se define una familia de elementos ( ai ) i  I .
Dada una familia de conjuntos { Ai } i  I se definen:
o  i I Ai := { a : a  Ai ,  i  I }
o  i  I Ai := { a : a  Ai ,  i  I }
o  i  I Ai := { (ai) : ai  Ai ,  i  I }
Las propiedades de la unión e intersección siguen siendo válidas para familias de
conjuntos, y en particular las leyes de Morgan :
(  i  I Ai )' =  i  I A'i , (i  I Ai )' = i  I A'i
DIAGRAMAS DE VENN
Los conjuntos de suelen representar gráficamente mediante "diagramas de Venn", con
una línea que encierra a sus elementos.
Así, todas las operaciones entre conjuntos se pueden representar gráficamente con el
fin de obtener una idea más intuitiva.
A  B
A  B
A  B
A  B
A  B
RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA
PROPOSICIONAL
Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica
Proposicional.
Para mostrar dicha relación, denotemos por letras mayúsculas A,B ... los conjuntos y
por las correspondientes minúsculas a,b ... sus propiedades características
(es decir, la proposición lógica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:
conjuntos A  B A = B A  B A  B A' A  B A  B
proposiciones a  b a b a  b a  b a' a  b' a  b
Además, el conjunto vacío se corresponde con una contradicción y el conjunto
universal con una tautología.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en términos de lógica
proposicional y viceversa; a modo de ejemplo:
A  ( A  B ) = A a  ( b  c )  a
A  ( B  C ) = ( A  B )  ( A  C ) a  ( b  c )  ( a  b )  ( a  c )
( A  B )' = A'  B' ( a  b )'  a'  b'
PROPOSICIONES CON CUANTIFICADORES
Los símbolos  (cuantificador universal) y  (cuantificador existencial) se utilizan en
Matemáticas para
enunciar proposiciones logicas relativas a objetos matemáticos.
Sea A un conjunto y p(x) una proposición o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal : La expresión
 x  A  p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición
{ x  A : p(x) } = A
(2) Cuantificador existencial : La expresión
 x  A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposición
{ x  A : p(x) }  
La negación de cualquiera de las dos proposiciones anteriores se realiza negando la
proposición p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o viceversa.
Así, la negación de la proposición " x  A  p(x)" es " x  A | p(x)' ", mientras
que
la negación de " x  A | p(x)" es " x  A  p(x)' "
Conjuntos finitos : Combinatoria
La Combinatoria es la parte de las Matemáticas que se dedica al estudio de los
conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar su
número de elementos
mediante un número natural (llamado cardinal de dicho conjunto), la tarea básica de
la Combinatoria es
precisamente el cálculo del cardinal de dichos conjuntos.
Para dicho cálculo se necesita definir los llamados números combinatorios:
(1) Números factoriales: se define n! mediante la ley de recurrencia
n! = n · (n-1)!
y la condición inicial 0! := 1. De forma iterativa, se tiene
n! = n · (n-1) · (n-2) · ... · 3 · 2 · 1
n! es el número de permutaciones de n elementos, es decir, es el número total de
formas de ordenar n elementos
de todas las formas distintas posibles.
(2) Coeficientes binomiales: se definen por la fórmula
El número "n sobre k" es el número de combinaciones de n elementos tomados
de k en k, es decir,
el número de subconjuntos distintos de k elementos que tiene un conjunto con n
elementos.
Los coeficientes binomiales tienen dos propiedades básicas:
(a)
(b)
Como aplicación de los números combinatorios y del Binomio de Newton,
podemos contar el número total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal de
partes de A; para ello, notemos
que el número de tales subconjuntos se obtiene sumando el número de
subconjuntos de 0 elementos más los de
1 elemento, más los de 2 elementos, y así hasta los de n elementos, es decir:
Pero esta cantidad corresponde a desarrollar mediante el binomio de Newton la
expresión
(1+1)n = 2n
Así pues se obtiene que #  (A) = 2n si # A = n.
( UFRN ) Se A, B e C são conjuntos tais que
, então, é igual a:
(A) 40
(B) 50
(C) 60
(D) 70
(E) 80
A simbologia n(A) = 10 nos diz que o conjunto "A" possui 10 elementos.
Este exercício fica barbadinha quando fazemos os diagramas Venn-Euler de tais conjuntos. Como
temos três conjuntos, e existe a intersecção entre eles, o desenho que iremos trabalhar será o
seguinte:
Vamos ver a primeira informação do exercício, . O conjunto "A" já sabemos
qual é, agora, o conjunto , como seria?
Portanto, ao subtrairmos de dentro do conjunto "A" todo este verde que está acima, teremos o
seguinte conjunto:
Como diz a informação, , neste espaço rosa, temos 15 elementos.
A segunda informação:
A terceira informação:
Até o momento, temos a seguinte configuração:
Note que a soma destes elementos é 15 + 20 + 35 = 70.
A quarta informação:
Esta informação nos diz que a soma de TODOS elementos presentes no desenho vale 120.
Como na informação anterior, tínhamos 70 elementos presentes nas "bordas" do diagrama, e no
total temos 120 elementos, concluímos que o centro deste diagrama, terá 50 elementos.
O que o exercício pede é , que é justamente a união das três
intersecções:
Productos notables
Sabemos que se llama producto al resultado de una multiplicación.También sabemos que los valores que se multiplican se
llamanfactores.
Se llama productos notables a ciertas expresiones algebraicas que se encuentran frecuentemente yque es preciso
saberfactorizarlas a simple vista;es decir,sin necesidad de hacerlo paso por paso.
Se les llama productos notables (también productos especiales) precisamente porque son muyutilizados en los ejercicios.
A continuación veremos algunas expresiones algebraicas y del lado derecho de la igualdad se muestra la forma de
factorizarlas (mostrada como un producto notable).
Cuadrado de la suma de dos cantidades o binomio cuadrado
a2
+ 2ab + b2
= (a + b)2
El cuadrado de la suma de dos cantidades es igual al cuadrado de la primera cantidad,más el doble de la primera cantidad
multiplicada por la segunda,más el cuadrado de la segunda cantidad.
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a2 + 2ab +
b2 debemos identificarla de inmediato ysaber que podemos factorizarla como (a + b)2
Nota:
Se recomienda volver al tema factorización para reforzar su comprensión.
Cuadrado de la diferencia de dos cantidades
a2
– 2ab + b2
= (a – b)2
El cuadrado de la diferencia de dos cantidades es igual al cuadrado de la primera cantidad,menos el doble de la primera
cantidad multiplicada por la segunda,más el cuadrado de la segunda cantidad.
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a2
– 2ab +
b2
debemos identificarla de inmediato ysaber que podemos factorizarla como (a – b)2
Producto de la suma por la diferencia de dos cantidades (o producto de dos binomios conjugados)
(a + b) (a – b) = a2
– b2
El producto de la suma por la diferencia de dos cantidades es igual al cuadrado de la primera cantidad,menos el cuadrado de
la segunda
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma (a + b) (a –
b) debemos identificarla de inmediato y saber que podemos factorizarla como a2
– b2
Otros casos de productos notable (o especiales):
Producto de dos binomios con un término común, de la forma
x2
+ (a + b)x + ab = (x + a) (x +
b)
Demostración:
Veamos un ejemplo explicativo:
Tenemos la expresión algebraica
x2
+ 9 x + 14
obtenida del producto entre (x + 2) (x + 7 )
¿Cómo llegamos a la expresión?
a) El cuadrado del término común es (x)(x) = x2
b) La suma de términos no comunes multiplicada por el término común es (2 + 7)x = 9x
c) El producto de los términos no comunes es (2)(7) = 14
Así, tenemos:
x2
+ 9 x + 14 = (x + 2) (x + 7 )
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2
+ (a + b)x +
ab debemos identificarla de inmediato y saber que podemos factorizarla como (x + a) (x + b)
Producto de dos binomios con un término común, de la forma
x2
+ (a – b)x – ab = (x + a) (x –
b)
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2
+ (a – b)x –
ab debemos identificarla de inmediato y saber que podemos factorizarla como (x + a) (x – b).
Producto de dos binomios con un término común, de la forma
x2
– (a + b)x + ab = (x – a) (x –
b)
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2
– (a + b)x +
ab debemos identificarla de inmediato y saber que podemos factorizarla como (x – a) (x – b).
Producto de dos binomios con un término común, de la forma
mnx2
+ ab + (mb + na)x = (mx + a) (nx
+ b)
En este caso,vemos que el término común (x) tiene distinto coeficiente en cada binomio (mx y nx).
Demostración:
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma mnx2
+ ab + (mb +
na)xdebemos identificarla de inmediato y saber que podemos factorizarla como (mx + a) (nx + b).
Cubo de una suma
a3
+ 3a2
b + 3ab2
+ b3
= (a + b)3
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a3
+ 3a2
b + 3ab2
+
b3
debemos identificarla de inmediato ysaber que podemos factorizarla como (a + b)3
.
Cubo de una diferencia
a3
– 3a2
b + 3ab2
– b3
= (a – b)3
Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a3
– 3a2
b + 3ab2
–
b3
debemos identificarla de inmediato ysaber que podemos factorizarla como (a – b)3
.
A modo de resumen, se entrega el siguiente cuadro con Productos notables y la expresión algebraica que lo
representa:
Producto notable Expresión algebraica Nombre
(a + b)2
= a2
+ 2ab + b2
Binomio al cuadrado
(a + b)3
= a3
+ 3a2
b + 3ab2
+ b3
Binomio al cubo
a2  b2 = (a + b) (a  b) Diferencia de cuadrados
a3
 b3
= (a  b) (a2
+ b2
+ ab) Diferencia de cubos
a3
+ b3
= (a + b) (a2
+ b2
 ab) Suma de cubos
a4
 b4
= (a + b) (a  b) (a2
+ b2
) Diferencia cuarta
(a + b + c)2
= a2
+ b2
+ c2
+ 2ab + 2ac + 2bc Trinomio al cuadrado

Más contenido relacionado

La actualidad más candente

La actualidad más candente (19)

calculo de predicados
calculo  de predicadoscalculo  de predicados
calculo de predicados
 
PREDICADOS ALGEBRA
PREDICADOS ALGEBRAPREDICADOS ALGEBRA
PREDICADOS ALGEBRA
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Trabajo colaborativo dos 168
Trabajo colaborativo dos 168Trabajo colaborativo dos 168
Trabajo colaborativo dos 168
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Conjuntos teoria de probabilidad
Conjuntos teoria de probabilidadConjuntos teoria de probabilidad
Conjuntos teoria de probabilidad
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Algebra 1 - Relaciones
Algebra 1 - Relaciones Algebra 1 - Relaciones
Algebra 1 - Relaciones
 
Unidad i
Unidad iUnidad i
Unidad i
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos
 
Relaciones
RelacionesRelaciones
Relaciones
 
Operaciones entre conjuntos
Operaciones entre conjuntosOperaciones entre conjuntos
Operaciones entre conjuntos
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Conjuntos ordenados
Conjuntos ordenadosConjuntos ordenados
Conjuntos ordenados
 
UNIDAD 2 Calculo de predicados
UNIDAD 2 Calculo de predicadosUNIDAD 2 Calculo de predicados
UNIDAD 2 Calculo de predicados
 

Destacado

Destacado (9)

DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
conjuntos y subconjuntos
conjuntos y subconjuntosconjuntos y subconjuntos
conjuntos y subconjuntos
 
Quinto estadistica
Quinto estadisticaQuinto estadistica
Quinto estadistica
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Evaluacion conjuntos quinto
Evaluacion conjuntos quintoEvaluacion conjuntos quinto
Evaluacion conjuntos quinto
 
Operaciones con conjuntos
Operaciones con conjuntosOperaciones con conjuntos
Operaciones con conjuntos
 
Examenes de Primaria
Examenes de Primaria Examenes de Primaria
Examenes de Primaria
 

Similar a Teoría elemental de conjuntos

Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones2964HaPg
 
numeos reales y fuciones
numeos reales y fucionesnumeos reales y fuciones
numeos reales y fucionesxavimin7
 
Mauricio varela conjuntos
Mauricio varela conjuntosMauricio varela conjuntos
Mauricio varela conjuntosmavarela1981
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteodanylopez
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteodanylopez
 
Lógica y Teoría de Conjuntos.ppt.pptx
Lógica y Teoría de Conjuntos.ppt.pptxLógica y Teoría de Conjuntos.ppt.pptx
Lógica y Teoría de Conjuntos.ppt.pptxJose E. Carmona F.
 
Logica Y Teoria De Conjuntos
Logica Y  Teoria De  ConjuntosLogica Y  Teoria De  Conjuntos
Logica Y Teoria De ConjuntosLISHAVELY
 
Slidehare estructura discreta iii
Slidehare estructura discreta iiiSlidehare estructura discreta iii
Slidehare estructura discreta iiiYurena122
 
Teoria de conjuntos new
Teoria de conjuntos newTeoria de conjuntos new
Teoria de conjuntos newGjene
 
Conjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IConjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IYormanP
 
Teoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra BooleanaTeoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra Booleanabrigith piña
 
numeros reales y plano numerico.pptx
numeros reales y plano numerico.pptxnumeros reales y plano numerico.pptx
numeros reales y plano numerico.pptxMiguelSilva349712
 
Estructura 1 (CONJUNTOS)
Estructura 1 (CONJUNTOS)Estructura 1 (CONJUNTOS)
Estructura 1 (CONJUNTOS)JoseDavilaG
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...RODRIGOACUA55
 
Conjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosConjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosphoebefphs
 

Similar a Teoría elemental de conjuntos (20)

Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
numeos reales y fuciones
numeos reales y fucionesnumeos reales y fuciones
numeos reales y fuciones
 
Mauricio varela conjuntos
Mauricio varela conjuntosMauricio varela conjuntos
Mauricio varela conjuntos
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
 
Lógica y Teoría de Conjuntos.ppt.pptx
Lógica y Teoría de Conjuntos.ppt.pptxLógica y Teoría de Conjuntos.ppt.pptx
Lógica y Teoría de Conjuntos.ppt.pptx
 
Logica Y Teoria De Conjuntos
Logica Y  Teoria De  ConjuntosLogica Y  Teoria De  Conjuntos
Logica Y Teoria De Conjuntos
 
Slidehare estructura discreta iii
Slidehare estructura discreta iiiSlidehare estructura discreta iii
Slidehare estructura discreta iii
 
Teoria de conjuntos new
Teoria de conjuntos newTeoria de conjuntos new
Teoria de conjuntos new
 
Conjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IConjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas I
 
Teoria de conjuntos new
Teoria de conjuntos newTeoria de conjuntos new
Teoria de conjuntos new
 
Fasciculo 5
Fasciculo 5Fasciculo 5
Fasciculo 5
 
Teoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra BooleanaTeoria de conjuntos y Algebra Booleana
Teoria de conjuntos y Algebra Booleana
 
numeros reales y plano numerico.pptx
numeros reales y plano numerico.pptxnumeros reales y plano numerico.pptx
numeros reales y plano numerico.pptx
 
Estructura 1 (CONJUNTOS)
Estructura 1 (CONJUNTOS)Estructura 1 (CONJUNTOS)
Estructura 1 (CONJUNTOS)
 
1473 contaduria.pptx
1473 contaduria.pptx1473 contaduria.pptx
1473 contaduria.pptx
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
 
Conjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosConjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntos
 
Par ordenado
Par ordenadoPar ordenado
Par ordenado
 

Más de Adriana Huerta

Más de Adriana Huerta (7)

Clasificación proteinas
Clasificación proteinasClasificación proteinas
Clasificación proteinas
 
19918 p47
19918 p4719918 p47
19918 p47
 
Programa agas ultimaversion
Programa agas ultimaversionPrograma agas ultimaversion
Programa agas ultimaversion
 
Latinismo
LatinismoLatinismo
Latinismo
 
Aprende Portugues
Aprende PortuguesAprende Portugues
Aprende Portugues
 
Aprende ingles en 7 dias
Aprende ingles en 7 diasAprende ingles en 7 dias
Aprende ingles en 7 dias
 
License
LicenseLicense
License
 

Último

6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxCeciliaGuerreroGonza1
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docxAleParedes11
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...JAVIER SOLIS NOYOLA
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 

Último (20)

6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
Unidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDIUnidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDI
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 

Teoría elemental de conjuntos

  • 1. Teoría elemental de conjuntos Lógica proposicional Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad (1) o falsedad (0). Dada una proposición p, se define la negación de p como la proposición p' que es verdadera cuando p es falsa y que es falsa cuando p es verdadera. Se lee "no p". A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lógicas para construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en función de los valores de las proposiciones de que se componen, lo cual se realiza a través de las tablas de verdad de dichas operaciones. Por ejemplo, la tabla de verdad de la negación es la siguiente: p p' 1 0 0 1 A continuación se describen las principales operaciones lógicas entre dos proposiciones p,q y sus tablas de verdad: Conjunción: es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier otro caso. Se escribe p  q, y se lee "p y q". p q p  q 1 1 1 1 0 0 0 1 0 0 0 0
  • 2. Disyunción: es aquella proposición que es verdadera cuando al menos una de las dos p o q es verdadera, y falsa en caso contrario. Se escribe p  q, y se lee "p o q". p q p  q 1 1 1 1 0 1 0 1 1 0 0 0 Disyunción exclusiva: es aquella proposición que es verdadera cuando una y sólo una de las dos p o q es verdadera, y falsa en cualquier otro caso. Se escribe p  q, y se lee "p o q pero no ambas". Se usa muy poco. p q p  q 1 1 0 1 0 1 0 1 1 0 0 0 Condicional: es aquella proposición que es falsa únicamente cuando la condición suficiente p es verdadera y la condición necesaria q es falsa. Se escribe p  q, y se lee "si p entonces q". p q p  q 1 1 1 1 0 0 0 1 1 0 0 1 Bicondicional: es aquella proposición que es verdadera cuando p y q tienen el mismo valor de verdad,
  • 3. y falsa en caso contrario. Se escribe p  q, y se lee "si y sólo si p entonces q". p q p  q 1 1 1 1 0 0 0 1 0 0 0 1 Una proposición se dice que es una tautología si su valor de verdad es siempre 1 independientemente de los valores de las proposiciones que lo componen; por ejemplo: p  p'. Una proposición se dice que es una contradicción si su valor de verdad es siempre 0 independientemente de los valores de las proposiciones que lo componen; por ejemplo: p  p'. Una paradoja es una proposición a la que no se le puede asignar ningún valor de verdad; suelen estar relacionadas con incorrecciones en el lenguaje lógico. Por ejemplo: p="la proposición p es falsa". Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en función de las proposiciones elementales que lo componen; esta definición equivale a decir que la proposición p  q es una tautología. Por ejemplo, las proposiciones p  q y q'  p' son equivalentes. Esta ley se llama "ley del contrarrecíproco", y se usa en los razonamientos por reducción al absurdo. Se pueden obtener fácilmente más "resultados lógicos" a través de su relación con la teoría de conjuntos.
  • 4. Números naturales : principio de inducción Admitivos como intuitivo el concepto de número natural; así, podemos enumerar los números naturales en orden creciente: N = { 1,2,3,4,5, ... } Cuando se quiere demostrar que una proposición relativa a números naturales es cierta, se necesita el Principio de Inducción: "Sea S el conjunto de números naturales para los que la proposición p(n) es cierta; supongamos que m  S y que n S  n+1  S Entonces S = { m,m+1,m+2, ... }" (es decir, la propiedad se verifica para todo número natural a partir de m; normalmente se usa con m = 1). Algunas veces, cuando se quiere demostrar que la proposición es cierta para n+1, es necesario usar que la proposición se verifica para todo k < n+1; en ese caso se utiliza el Principio de Inducción completa: "Sea S el conjunto de números naturales para los que la proposición p(n) es cierta; supongamos que m  S y que m,m+1, ... ,n S  n+1  S Entonces S = { m,m+1,m+2, ... }"
  • 5. Ejercicio: pruébese por inducción la fórmula del binomio de Newton (Indicación: utilícense las propiedades de los números combinatorios). Teoría de Conjuntos NOCION INTUITIVA DE CONJUNTO Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Si a es un elemento del conjunto A se denota con la relación de pertenencia a  A. En caso contrario, si a no es un elemento de A se denota a A. Ejemplos de conjuntos: o  : el conjunto vacío, que carece de elementos. o N: el conjunto de los números naturales. o Z: el conjunto de los números enteros. o Q : el conjunto de los números racionales. o R: el conjunto de los números reales. o C: el conjunto de los números complejos. Se puede definir un conjunto: o por extensión, enumerando todos y cada uno de sus elementos. o por comprensión, diciendo cuál es la propiedad que los caracteriza. Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por
  • 6. extensión, o su propiedad característica, si se define por comprensión. Por ejemplo: o A := {1,2,3, ... ,n} o B := {p Z | p es par} Se dice que A está contenido en B (también que A es un subconjunto de B o que A es una parte de B), y se denota A  B, si todo elemento de A lo es también de B, es decir, a  A  a  B. Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultáneamente A  B y B  A; esto equivale a decir que tienen los mismos elementos (o también la misma propiedad característica). Para cualquier conjunto A se verifica que  A y A  A; B  A es un subconjunto propio de A si A   y B  A. El conjunto formado por todos los subconjuntos de uno dado A se llama partes de A, y se denota  (A). Entonces, la relación B  A es equivalente a decir B   (A). Ejemplos: Si A = {a,b} entonces  (A) = { ,{a},{b},A}. Si a  A entonces {a}  (A). Cuando en determinado contexto se consideran siempre conjuntos que son partes de uno dado U, se suele considerar a dicho U como conjunto universal o de referencia. OPERACIONES ENTRE CONJUNTOS Dados dos conjuntos A y B, se llama diferencia al conjunto A  B := {a  A | a  B}. Asimismo, se llama diferencia simétrica entre A y B al conjunto A  B := (A  B)   A
  • 7. Si A   (U), a la diferencia U  A se le llama complementario de A respecto de U, y se denota abreviadamente por A' (U se supone fijado de antemano). Es fácil ver que si A y B son subconjuntos cualesquiera de U se verifica: o  ' = U . o U ' = . o (A')' = A . o A  B  B'  A' . o Si A = { x  U | p(x) es una proposición verdadera} entonces A' = { x  U | p(x) es una proposición falsa}. Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son elementos de A o de B, es decir: A  B := { x | x  A  x  B}. Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que son elementos de A y de B, es decir: A  B := {x | x  A  x  B}. Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que A B = A  B'. En este caso, la llamadas operaciones booleanas (unión e intersección) verifican las siguientes propiedades : PROPIEDADES UNION INTERSECCION 1.- Idempotencia A  A = A A  A = A 2.- Conmutativa A  B = B  A A  B = B  A 3.- Asociativa A  ( B  C ) = ( A  B )  C A  ( B  C ) = ( A  B )  C 4.- Absorción A  ( A  B ) = A A  ( A  B ) = A 5.- Distributiva A  ( B  C ) = ( A  B )  ( A  C ) A  ( B  C ) = ( A  B )  ( A  C ) 6.- Complementariedad A  A' = U A  A' =  Estas propiedades hacen que partes de U con las operaciones unión e intersección tenga una estructura de álgebra de Boole. Además de éstas, se verifican también las siguientes propiedades:
  • 8. o A   = A , A   =  ( elemento nulo ). o A  U = U , A  U = A ( elemento universal ). o ( A  B )' = A'  B' , ( A  B )' = A'  B' ( leyes de Morgan ). Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el conjunto de pares ordenados: A  B := { (a,b) : a  A  b  B} Dos pares (a,b) y (c,d) de A  B son iguales si a = c y b = d; análogamente, dados cuatro conjuntos A,B,C,D se verifica A  B = C  D  ( A = C  B = D ) Se llama grafo relativo a A  B a todo subconjunto G  A  B. Dado un grafo G relativo a A  B, se llama proyección de G sobre A al conjunto ProyAG := { a  A : (a,b)  G,  b  B} Análogamente se define la proyección ProyBG de G sobre B. Por último, los conceptos anteriores pueden generalizarse a familias de conjuntos. Si para cada elemento i de un conjunto (de índices ) I se tiene un conjunto Ai , entonces se define el conjunto { Ai : i  I } y se denomina familia de conjuntos indicada por I. También se suele denotar por { Ai } i  I . De forma análoga se define una familia de elementos ( ai ) i  I . Dada una familia de conjuntos { Ai } i  I se definen: o  i I Ai := { a : a  Ai ,  i  I } o  i  I Ai := { a : a  Ai ,  i  I } o  i  I Ai := { (ai) : ai  Ai ,  i  I }
  • 9. Las propiedades de la unión e intersección siguen siendo válidas para familias de conjuntos, y en particular las leyes de Morgan : (  i  I Ai )' =  i  I A'i , (i  I Ai )' = i  I A'i DIAGRAMAS DE VENN Los conjuntos de suelen representar gráficamente mediante "diagramas de Venn", con una línea que encierra a sus elementos. Así, todas las operaciones entre conjuntos se pueden representar gráficamente con el fin de obtener una idea más intuitiva. A  B A  B A  B
  • 10. A  B A  B RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA PROPOSICIONAL Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica Proposicional. Para mostrar dicha relación, denotemos por letras mayúsculas A,B ... los conjuntos y por las correspondientes minúsculas a,b ... sus propiedades características (es decir, la proposición lógica que caracteriza a los elementos de cada conjunto); entonces se tiene la siguiente correspondencia: conjuntos A  B A = B A  B A  B A' A  B A  B proposiciones a  b a b a  b a  b a' a  b' a  b Además, el conjunto vacío se corresponde con una contradicción y el conjunto universal con una tautología. Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden reescribir en términos de lógica proposicional y viceversa; a modo de ejemplo:
  • 11. A  ( A  B ) = A a  ( b  c )  a A  ( B  C ) = ( A  B )  ( A  C ) a  ( b  c )  ( a  b )  ( a  c ) ( A  B )' = A'  B' ( a  b )'  a'  b' PROPOSICIONES CON CUANTIFICADORES Los símbolos  (cuantificador universal) y  (cuantificador existencial) se utilizan en Matemáticas para enunciar proposiciones logicas relativas a objetos matemáticos. Sea A un conjunto y p(x) una proposición o propiedad que hace referencia a un elemento x. (1) Cuantificador universal : La expresión  x  A  p(x) se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición { x  A : p(x) } = A (2) Cuantificador existencial : La expresión  x  A | p(x) se lee "existe x que pertenece a A tal que p(x)", representa la proposición { x  A : p(x) }   La negación de cualquiera de las dos proposiciones anteriores se realiza negando la proposición p(x) y cambiando el cuantificador universal por el cuantificador existencial, o viceversa. Así, la negación de la proposición " x  A  p(x)" es " x  A | p(x)' ", mientras que la negación de " x  A | p(x)" es " x  A  p(x)' " Conjuntos finitos : Combinatoria
  • 12. La Combinatoria es la parte de las Matemáticas que se dedica al estudio de los conjuntos finitos. Puesto que la propiedad principal de estos conjuntos es que se puede representar su número de elementos mediante un número natural (llamado cardinal de dicho conjunto), la tarea básica de la Combinatoria es precisamente el cálculo del cardinal de dichos conjuntos. Para dicho cálculo se necesita definir los llamados números combinatorios: (1) Números factoriales: se define n! mediante la ley de recurrencia n! = n · (n-1)! y la condición inicial 0! := 1. De forma iterativa, se tiene n! = n · (n-1) · (n-2) · ... · 3 · 2 · 1 n! es el número de permutaciones de n elementos, es decir, es el número total de formas de ordenar n elementos de todas las formas distintas posibles. (2) Coeficientes binomiales: se definen por la fórmula El número "n sobre k" es el número de combinaciones de n elementos tomados de k en k, es decir, el número de subconjuntos distintos de k elementos que tiene un conjunto con n elementos. Los coeficientes binomiales tienen dos propiedades básicas: (a)
  • 13. (b) Como aplicación de los números combinatorios y del Binomio de Newton, podemos contar el número total de subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal de partes de A; para ello, notemos que el número de tales subconjuntos se obtiene sumando el número de subconjuntos de 0 elementos más los de 1 elemento, más los de 2 elementos, y así hasta los de n elementos, es decir: Pero esta cantidad corresponde a desarrollar mediante el binomio de Newton la expresión (1+1)n = 2n Así pues se obtiene que #  (A) = 2n si # A = n. ( UFRN ) Se A, B e C são conjuntos tais que , então, é igual a: (A) 40 (B) 50 (C) 60 (D) 70 (E) 80 A simbologia n(A) = 10 nos diz que o conjunto "A" possui 10 elementos.
  • 14. Este exercício fica barbadinha quando fazemos os diagramas Venn-Euler de tais conjuntos. Como temos três conjuntos, e existe a intersecção entre eles, o desenho que iremos trabalhar será o seguinte: Vamos ver a primeira informação do exercício, . O conjunto "A" já sabemos qual é, agora, o conjunto , como seria? Portanto, ao subtrairmos de dentro do conjunto "A" todo este verde que está acima, teremos o seguinte conjunto: Como diz a informação, , neste espaço rosa, temos 15 elementos. A segunda informação:
  • 15. A terceira informação: Até o momento, temos a seguinte configuração: Note que a soma destes elementos é 15 + 20 + 35 = 70. A quarta informação:
  • 16. Esta informação nos diz que a soma de TODOS elementos presentes no desenho vale 120. Como na informação anterior, tínhamos 70 elementos presentes nas "bordas" do diagrama, e no total temos 120 elementos, concluímos que o centro deste diagrama, terá 50 elementos. O que o exercício pede é , que é justamente a união das três intersecções:
  • 17. Productos notables Sabemos que se llama producto al resultado de una multiplicación.También sabemos que los valores que se multiplican se llamanfactores. Se llama productos notables a ciertas expresiones algebraicas que se encuentran frecuentemente yque es preciso saberfactorizarlas a simple vista;es decir,sin necesidad de hacerlo paso por paso. Se les llama productos notables (también productos especiales) precisamente porque son muyutilizados en los ejercicios. A continuación veremos algunas expresiones algebraicas y del lado derecho de la igualdad se muestra la forma de factorizarlas (mostrada como un producto notable). Cuadrado de la suma de dos cantidades o binomio cuadrado a2 + 2ab + b2 = (a + b)2 El cuadrado de la suma de dos cantidades es igual al cuadrado de la primera cantidad,más el doble de la primera cantidad multiplicada por la segunda,más el cuadrado de la segunda cantidad. Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a2 + 2ab + b2 debemos identificarla de inmediato ysaber que podemos factorizarla como (a + b)2 Nota: Se recomienda volver al tema factorización para reforzar su comprensión. Cuadrado de la diferencia de dos cantidades a2 – 2ab + b2 = (a – b)2 El cuadrado de la diferencia de dos cantidades es igual al cuadrado de la primera cantidad,menos el doble de la primera cantidad multiplicada por la segunda,más el cuadrado de la segunda cantidad.
  • 18. Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a2 – 2ab + b2 debemos identificarla de inmediato ysaber que podemos factorizarla como (a – b)2 Producto de la suma por la diferencia de dos cantidades (o producto de dos binomios conjugados) (a + b) (a – b) = a2 – b2 El producto de la suma por la diferencia de dos cantidades es igual al cuadrado de la primera cantidad,menos el cuadrado de la segunda Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma (a + b) (a – b) debemos identificarla de inmediato y saber que podemos factorizarla como a2 – b2 Otros casos de productos notable (o especiales): Producto de dos binomios con un término común, de la forma x2 + (a + b)x + ab = (x + a) (x + b) Demostración: Veamos un ejemplo explicativo: Tenemos la expresión algebraica x2 + 9 x + 14 obtenida del producto entre (x + 2) (x + 7 )
  • 19. ¿Cómo llegamos a la expresión? a) El cuadrado del término común es (x)(x) = x2 b) La suma de términos no comunes multiplicada por el término común es (2 + 7)x = 9x c) El producto de los términos no comunes es (2)(7) = 14 Así, tenemos: x2 + 9 x + 14 = (x + 2) (x + 7 ) Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2 + (a + b)x + ab debemos identificarla de inmediato y saber que podemos factorizarla como (x + a) (x + b) Producto de dos binomios con un término común, de la forma x2 + (a – b)x – ab = (x + a) (x – b) Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2 + (a – b)x – ab debemos identificarla de inmediato y saber que podemos factorizarla como (x + a) (x – b). Producto de dos binomios con un término común, de la forma x2 – (a + b)x + ab = (x – a) (x – b) Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma x2 – (a + b)x + ab debemos identificarla de inmediato y saber que podemos factorizarla como (x – a) (x – b). Producto de dos binomios con un término común, de la forma mnx2 + ab + (mb + na)x = (mx + a) (nx + b)
  • 20. En este caso,vemos que el término común (x) tiene distinto coeficiente en cada binomio (mx y nx). Demostración: Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma mnx2 + ab + (mb + na)xdebemos identificarla de inmediato y saber que podemos factorizarla como (mx + a) (nx + b). Cubo de una suma a3 + 3a2 b + 3ab2 + b3 = (a + b)3 Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a3 + 3a2 b + 3ab2 + b3 debemos identificarla de inmediato ysaber que podemos factorizarla como (a + b)3 . Cubo de una diferencia a3 – 3a2 b + 3ab2 – b3 = (a – b)3 Entonces,para entender de lo que hablamos,cuando nos encontramos con una expresión de la forma a3 – 3a2 b + 3ab2 – b3 debemos identificarla de inmediato ysaber que podemos factorizarla como (a – b)3 . A modo de resumen, se entrega el siguiente cuadro con Productos notables y la expresión algebraica que lo representa: Producto notable Expresión algebraica Nombre (a + b)2 = a2 + 2ab + b2 Binomio al cuadrado (a + b)3 = a3 + 3a2 b + 3ab2 + b3 Binomio al cubo a2  b2 = (a + b) (a  b) Diferencia de cuadrados a3  b3 = (a  b) (a2 + b2 + ab) Diferencia de cubos a3 + b3 = (a + b) (a2 + b2  ab) Suma de cubos a4  b4 = (a + b) (a  b) (a2 + b2 ) Diferencia cuarta (a + b + c)2 = a2 + b2 + c2 + 2ab + 2ac + 2bc Trinomio al cuadrado