Álgebra MET1000 Unidad I - I - Com

Universidad Diego Portales
FACULTAD DE ECONOMIA Y EMPRESA
Material Docente M E T 1000 lgebra
Profesores: Abel Lizana Morales Hctor Carreo Gajardo Marcel Saintard Vera
SANTIAGO, CHILE, U.D.P., DICIEMBRE de 2008
Facultad de Economa y Empresa
UNIDAD N 1.
LGICA Y CONJUNTOS
Hacia una Teora del Lenguaje Simblico: Lgica de Proposiciones: Concepto de Proposicin, Valores de Verdad, Validez: contradiccin, tautologa, contingencia.
Conectivos Lgicos y Proposiciones Compuestas: Tablas de Verdad. Clculo y lgebra Proposicional. Tautologas y Equivalencias Lgicas Fundamentales.
Condicional y Bicondicional: condicin necesaria, condicin suficiente. Inferencias lgicas. Planteamiento de Argumentos.
Conjuntos: Conceptos Primitivos; Elemento; Relacin de Pertenencia y de Inclusin. Igualdad entre Conjuntos. Propiedades.
Conjunto Universal, Conjunto Vaco.
Operaciones
entre
Conjuntos:
Unin,
Interseccin.
Complemento,
Diferencia,
Diferencia Simtrica.
lgebra de Conjuntos.
Cardinalidad: Teoremas y Aplicaciones (Encuestas).
Profesores: A. Lizana H. Carreo M. Saintard
Material Docente MET 1000 lgebra pg.: 2
SENTENCIAS DECLARATIVAS.
Aquellas sentencias declarativas, o enunciados, a las cuales puede aplicarse con sentido, uno y slo uno de los calificativos "verdadero", "falso", reciben el nombre de proposiciones. Ejemplo.2.1. Las siguientes sentencias declarativas son proposiciones: 1. 2. 3. 4. 5. 6. 7. 8. El nmero 23 es mayor que el nmero 12. El nmero 42 es un mltiplo de 8. La semana tiene 7 das. Todo comerciante busca maximizar sus beneficios. La Unidad de Fomento es un indicador econmico. El nmero 2 es un nmero primo que es par. Los beneficios son las ganancias de las empresas. Las tasas de inters son siempre negativas.
Si una proposicin es verdadera, diremos que su valor de verdad es V o bien: 1. Y si es falsa, su valor de verdad es F, o bien: 0. Una proposicin abierta, o condicin, es un enunciado tal que al reemplazar la o las variables que aparecen en ella por elementos bien determinados de un conjunto distinto del vaco, llamado universo, se obtiene una proposicin. Aquellas condiciones definidas mediante igualdades reciben el nombre de frmulas o ecuaciones. Por ejemplo: 3 x + 7 = 9 , Ejemplo. 2.2. Las siguientes son proposiciones abiertas: 1. 2. El nmero entero x es mayor que 7. X e Y son directores del Banco Central de Chile.
2 x 5 y = 23 .
p, q, r ,... Pero cuando deseemos p( x), q( x),... , o p ( x, y ), destacar las variables de una condicin o proposicin abierta pondremos q( x, y ),...
Denotamos en general los enunciados mediante letras minsculas Se llama extensin de la proposicin abierta o condicin
p (x) en el Universo U , al subconjunto A de
U tal que sus elementos "satisfacen" esa condicin; esto es, x pertenece al conjunto extensin, si y p (x) es verdadera. slo si
En smbolos:
A = { x U : p( x) es verdadera } = { x U : p( x) } . p(x) recibe en este caso el nombre de propiedad caracterstica del conjunto expresin x U se lee: "El conjunto de los x de U tales que... "
La condicin
A.
La
Ejemplo. 2.3.
La extensin en
p(x) : "El entero x es mayor que 7", que simblicamente escribimos " x > 7" , es: A = {x : x > 7 } = { 8 , 9 , 10 , ... }
de la condicin
Llamase modificador a la expresin mediante la cual se niega un enunciado: "no", "es falso que", etc. Se denota por el smbolo . Llmese negacin u opuesto de un enunciado, al que se obtiene al aplicarle el modificador. Ejemplo 2.4. Proposiciones en las cuales se aplica el modificador: p : 4 es un nmero entero par. a) p : 4 no es un nmero entero par b) q (x) q(x) : El real x no es mayor que 6. : El real x es mayor que 6. c) r: El IPC para el ao 2005 fue de un 3,5%. r: Es falso que el IPC del ao 2005 fue de un 3,5%. Las condiciones y expresan la misma idea, las cuales se leen respectivamente por: es falso que x pertenece a A , y x no es un elemento del conjunto A .
Nota 1:
( x A )
( x A)
Si una proposicin es verdadera, entonces la proposicin es falsa. Y si es falsa, entonces es verdadera. Esto nos dice que si una proposicin es verdadera, su negacin es falsa y si una proposicin es falsa, su negacin es verdadera. Ejemplo. 2.5. S
p significa el negocio es bueno, entonces p significa Es falso que el negocio es bueno.
Podemos expresar este axioma mediante el siguiente cuadro, que se denomina tabla de verdad de la negacin:
p
V F
p
F V
2.2.
CONECTIVOS Y COMPOSICION DE SENTENCIAS. Las expresiones: "o", "y", "Si..., entonces", "si y slo si" permiten unir sentencias, por lo que reciben el nombre de conectivos lgicos. Se denotan, respectivamente, mediante los signos
,,, .
Un enunciado que carece de conectivos lgicos se denomina enunciado elemental; y uno que est formado por enunciados elementales y uno o ms conectivos, se llama enunciado compuesto. , como asimismo cada uno de los enunciados compuestos que ellos originan, Los conectivos reciben el nombre, respectivamente, de disyuncin, conjuncin, condicional, y bicondicional. Los nombres de las operaciones recin definidas y la forma de traducir a palabras las proposiciones compuestas que resultan son las siguientes: Operacin
, ,,
pq pq pq pq pq
Nombre Disyuncin Conjuncin Condicional Bicondicional Disyuncin Excluyente
Puede leerse p o q, o ambas pyq Si p entonces q p si y slo si q p o q, pero no ambas
El valor de verdad de una proposicin compuesta depende del valor de verdad de las proposiciones elementales componentes y de los conectivos que aparecen en ella, segn se desprende de las tablas de verdad de la disyuncin, conjuncin, condicional, y bicondicional.
2.3.
TABLAS DE VERDAD: Las operaciones se definen a travs de la tabla de valores lgicos. En las dos primeras columnas estn tabuladas todas las combinaciones posibles de valores lgicos que se pueden formar con dos proposiciones simples dadas p y q, mientras que las cinco columnas restantes definen las operaciones.
p
V V F F
q
V F V F
pq
V V V F
pq
V F F F
pq
V F V V
pq
V F F V
pq
F V V F
OBSERVACIONES. De la columna que define la disyuncin es claro que sta no tiene el sentido usual dado en el lenguaje corriente, sino que corresponde al y/o.
Universidad Diego Portales 2.4. DEFINICIONES. 1. 2. 3.
Dos proposiciones son idnticas o equivalentes, si sus tablas de verdad son iguales. Se indica mediante el smbolo . Una proposicin es una Tautologa si su tabla de verdad es siempre verdadera. Una proposicin es una Contradiccin si su tabla de verdad es siempre falsa.
OBSERVACIONES. 1. 2. La negacin de una tautologa es una contradiccin y viceversa. Sean P y Q dos formas proposicionales equivalentes, es decir que:
PQ
; entonces podemos afirmar
P Q
PR QR
PR QR
2.5.
Resumen de las leyes fundamentales del lgebra de proposiciones. Sea V una proposicin tautolgica y F una contradiccin: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. p V V, p F p, p V p, p F F, p p p, p p p, (p) p, (V) F, p q q p, p q q p, p ( q r ) ( p q ) r, p ( q r ) ( p q ) r, p ( q r ) ( p q ) ( p r ), p ( q r ) ( p q ) ( p r ), ( p q ) (p) (q) ( p q ) (p) (q), p (p) V, p (p) F, p q (p) q, ( p q ) p (q), p q [( p q ) ( q p )], p ( p q ) p, p ( p q ) p,
(F) V,
2.4.
TAUTOLOGIAS IMPORTANTES. Damos a continuacin una lista de tautologas: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. p (p) [ p (p) ] pp ( p q ) p, p ( p q ), p [ p ( p q ) ], [(p q) (q r)] (p r), [(p q) (r q)] [(p r) q], (p q) [p (p q)], [(r q) (r p)] (p q), [p (p q)] q, [p (q r)] [(p q) r], (p q) (q p), (p q) (p q), {[p (q r )] s} {[(p q) s] [(p r) s]} (p q) [(p r) (q r)].
Universidad Diego Portales 3.0. CUANTIFICADORES. Sea
p( x) una condicin en un universo U . La expresin (x U ) : p ( x) , o (x) : p( x) , si el universo p ( x) ", o bien "Para cada elemento x de est claro del contexto, se lee: "Para todo elemento x de U , U , p( x) ", o simplemente : "Para cada: x , p( x) ". El smbolo recibe el nombre de cuantificador
universal. Observacin:
[(x U ) : p( x)] [ p(a)

Por otra parte, la expresin
y p(b) y p(c) y L ]
( x U ) : p ( x )
,o
(x) : p ( x) se lee: "Existe un elemento x de U tal que

tal que
p(x) ", o "Existe por lo menos un elemento x de U tal que p(x) ", o simplemente "Existe x p(x) ". El smbolo: recibe el nombre de cuantificador existencial.
Observacin:
[(x U ) : p( x)] [ p(a)

La sentencia
o p(b) o p(c) o L ]
(x U ) : p( x) es un enunciado verdadero si y slo si la extensin de
p(x)
Anlogamente, la sentencia es igual al universo Nota 1:
(x) : p( x)
no es vaca.
es un enunciado verdadero s y slo s la extensin de
p(x)
; y es falsa si y slo si es distinta del universo
p ( x) con conjunto extensin A , entonces A = U y A = son Dada una proposicin abierta proposiciones. Luego, la introduccin de los cuantificadores nos proporciona dos nuevas formas de obtener proposiciones a partir de una dada.
Sea la proposicin abierta "El nmero entero x es mayor que 7", que denotamos por universo. Se tiene: a) b) c)
Ejemplo 3.1.
p(x) , y sea U
su
U = {8,9,10 } : Son verdaderas: (x U ) : p( x) y (x U ) : p( x) . U = { 7,8,9 } : (x U ) : p( x) Es falsa y la frase: (x U ) : p( x) es verdadera. Si

Si
(x U ) : p( x) : es una proposicin falsa, y (x U ) : p ( x) : es verdadera. S U = tal que
Podemos dar ahora, con mayor rigor, la definicin de subconjunto en un universo
del modo siguiente:
A B Si y slo si x U : ( S x A , entonces x B ).
Tambin es importante destacar que, para cada
x U , se tiene:
x { x U : p(x) } p(x) x { x U : p(x) } p(x)

Adems se verifican las siguientes equivalencias:
(x) : [ p( x) q( x)] = (x) : p ( x) (x) : q ( x) (x) : [ p( x) q( x)] = (x) : p ( x) (x) : q( x)
Universidad Diego Portales 3.1. LEYES DE NEGACION PARA CUANTIFICADORES. La proposicin "Es falso que para cada tal que es falso que
de
p(x) " es equivalente a la proposicin "Existe x de U
p(x) ". Simblicamente: [(x U ) : p ( x)] s y slo si (x U ) : p( x)
De donde se deduce, negando ambas proposiciones y reemplazando
p(x) por q(x) , se obtiene que:
[(x U ) : q ( x)] s y slo si (x U ) : q ( x)

Segn las Leyes de la negacin, para demostrar, en consecuencia, que la proposicin falsa, habr que establecer que la proposicin Ahora bien, un elemento a de
x U : p(x) es verdadera.
x U : p(x) es
p(a) es verdadera, lo que equivale a afirmar p(a) es falsa, se denomina contraejemplo de la proposicin "Para cada x de U , p(x) ". A l que:
tal que la proposicin
recurriremos cada vez que queramos demostrar que un enunciado es falso.
Ejemplo 3.2. Ejemplo 3.3.
La negacin de "Cada x es cero" es "Existe un x distinto de cero".
p (x) la condicin: x 2 > 0 con U = IR . Sea la proposicin p : x IR : x 2 > 0 , entonces su p : x IR : x 2 0 . En este ejemplo p es falsa y (p) es verdadera. negacin es
Sea
Ejemplo 3.4.
q(x) la condicin: x 2 + 1 = 0 con U = IR . Sea q la proposicin x IR : x 2 + 1 = 0 , entonces se 2 tiene que su negacin es: x IR : x + 1 0 . En este caso q es falsa y (q) es verdadera.
Sea La ley dada anteriormente puede generalizarse a proposiciones de varias variables:
Nota:
(x A) (x B) : p ( x, y ) (x A) (x B) : p( x, y)
EJERCICIOS RESUELTOS DE LGICA.
1.-
Usando lgica de proposiciones, demuestre que Solucin:
p { p [ ( p q ) q
]}
p { p [ (p q ) q
]}
p { p [ ( p q ) q ] } p { p [ (p q ) q ] } p { p [ ((p ) (q ) ) q p { p [ ( p (q ) ) q ] } p { p [ q ] } p { (p ) (q) } p { p ( q ) } p
]}
2.-
Sabiendo que p ( q r ) es falsa y que ( p q ) es verdadera, determine el valor de verdad de
( p r ) ( r q ) . Desarrollo: Si la proposicin compuesta p ( q r ) , es falsa entonces su antecedente (p ) es verdadera de donde la

proposicin p es falsa, y su consecuente ( q r ) es falsa, pero la proposicin ( p q ) es verdadera de donde, la proposicin q es verdadera, pues se digo que (p ) es verdadera, con lo cual la proposicin r es falsa, por lo tanto la proposicin compuesta ( p r ) (r q ) es Verdadera, pues la proposicin ( p r ) es falsa, ya que
p y r son falsas, y la proposicin (r q ) tambin es falsa, pues r y (q) son falsas.
3.
Usando cuantificadores, traduzca, simplifique y exprese en castellano el enunciado: No existe un nmero entero, divisible por dos y que sea primo. Desarrollo: En este caso el universo U = Z , que es el conjunto de los nmeros enteros, los elementos de este conjunto los denotaremos por x , que son los nmeros enteros, y en el enunciado se distinguen las siguientes proposiciones abiertas p ( x) : x es un nmero divisible por 2, y q ( x) : x es un nmero primo. Por tanto la traduccin del enunciada ser:
{ x Z / ( p( x) q( x) ) } { x Z / ( p( x) q ( x) ) } { x Z / (p( x) ) ( q( x) ) } { x Z / ( p( x) q ( x) ) }
La ltima sentencia simblica ser: Todo entero, si es divisible por 2, entonces no es un nmero primo.
4.
Consideremos el enunciado: Si x es un nmero entero positivo entonces
x 1 es un nmero natural. Si x no es un
nmero entero positivo, x + 2 es un nmero real. Luego, x 1 no es un natural x + 2 no es un nmero real 4.1. Traduzca el enunciado a lenguaje simblico, identificando sus smbolos. Desarrollo: En este caso el universo U = Z , es el conjunto de los nmeros enteros, los elementos de este conjunto los denotaremos por x , y se distinguen las siguientes proposiciones: p( x) : x es un nmero entero positivo.
q( x) : r ( x) :
La expresin simblica es 4.2.
x 1 es un nmero natural. x + 2 es un nmero real.
[ ( p q ) ( p r ) ] ( q r )
p q r F F F F V V V V F F V V F F V V F V F V F V F V
Determine la validez del esquema que obtuvo en 4.1., mediante una tabla de verdad. Desarrollo:
p V V V V
q V V F
r V F F V F F
[( p q)
V V F F V V V V
V V F F V V V F
( p r ) ] ( q r ) V V V F V V V F F V V V F V V V F V V V F V V V
F V
F V F V F F
4.3.
F V F
La tabla muestra que la proposicin compuesta es una contingencia. Si se supiese que x = 5 , cul sera el valor de verdad del enunciado? Desarrollo: Si x = 5 , entonces p (5) : 5 es un nmero entero positivo: Verdadera.
q(5) :
4 es un nmero natural: Verdadera.
r (5) : 7 es un nmero real: Verdadera. Por tanto el enunciado es falsa, basta con ver la primera fila del desarrollo de la tabla de verdad.
5. Usando lgebra de proposiciones, demuestre que la proposicin compuesta equivalente con la proposicin q . Desarrollo:
[ ( p q ) ( p q ) ] ( p q )
es
[ ( p q ) ( p q ) ] ( p q ) = [ ( p q ) ( p q ) ] ( p q ) = [ ( p q ) ( p q ) ] [ ( p q ) ( p q ) ] ( p q ) = [ ( p q ) ( p q ) ] [ ( p q ) ( p q) ] ( p q ) = [ ( p q ) ( p q ) ] [ ( p q ) ( p q ) ] ( p q ) = [ (p p ) (q ) ] [ (p p ) q ] ( p q ) = [ T (q ) ] [ T q ] ( p q ) = [ q ] [ T ] ( p q ) = [ q T ] ( p q )
= q ( p q ) = q ( p q ) = q
Universidad Diego Portales 6.
Sean p, q y r tres proposiciones tales que [ (p q ) r ] es falsa. Determinar el valor de verdad de cada una de las siguientes proposiciones (justifique su respuesta): 6.1. ( q p ) . Desarrollo: Si la proposicin compuesta condicional [ (p q ) r ] es falsa, entonces su antecedente (p q ) es verdadera y su consecuente r es falso. Pero la proposicin compuesta (q p ) es verdadera, ya que es equivalente al antecedente (q p ) (q ) (p ) 6.2.
r [ p (q r ) ]
q ( p ) ( p ) q
Desarrollo: La proposicin compuesta dada r [ p (q r ) ] es verdadera, pues es un condicional cuyo antecedente r es falso , y donde su consecuente puede tener cualquier valor de verdad.
7.
Si la proposicin compuesta (r p ) ( q r ) es falsa, deduciendo los valores de verdad de las proposiciones simples p , q y r , determine el valor de verdad de la siguiente proposicin compuesta:
[ ( r z ) ( q p ) ] ( r q ) .
Solucin: (r p ) ( q r ) es falsa, entonces (r p) es verdadera y ( q r ) es Si la proposicin Falsa. De lo anterior (r p ) es Falso con lo cual se deduce que r y p son proposiciones Falsas con lo cual r es Verdadera y p es Falsa. Verifiquemos el valor de verdad del consecuente ( q r ) , dado que es falso y que la proposicin (q) es falsa con lo cual q es Verdadera. a. b. Dado que
es verdadero, tendremos
es verdadera, entonces la proposicin ( r z ) es verdadera, adems como
verdaderas entonces ( q p ) es verdadera de donde
[ ( r z ) ( q p ) ] es verdadera.
es verdadera.
y q son
Como r y q tiene distinto valor de verdad, entonces concluimos que (r q ) es falsa de donde
(r q ) es verdadera.
De a. y b. concluimos que la proposicin:
[ ( r z ) ( q p ) ] ( r q )
8.
Sin usar tablas de verdad, demuestre si la proposicin compuesta { [ ( p q ) r proposicin ( r q ) . Solucin:
} es equivalente a la
{[ ( p q ) r
] q } {[ ( p q ) r ] q } { [ ( p q ) r ] q } [ ( p q ) r ] q [ ( p q ) q ] ( r q ) [ p ( q q ) ] ( r q ) [ p F ] ( r q ) [ F ] ( r q )
( r q ) .
Las proposiciones no son equivalentes.
Universidad Diego Portales 9. Si la proposicin compuesta
( p q ) r
es falsa, deduciendo los valores de verdad de las proposiciones
simples p , q y r , determine el valor de verdad de la siguiente proposicin compuesta: ( q s ) ( r p) . Solucin: Si la proposicin (p q ) r es falsa, entonces r es Falsa y (p q ) es verdadera, de donde q es Verdadera y p es verdadera, o sea p es Falsa. Dado que
es verdadera, entonces la proposicin
(q s)
es verdadera, adems como r es falsa entonces
es falsa de donde Verdadera.
(r p)
(r p)
es verdadera, de entonces concluimos que
(q s ) (r p)
es
10.
Sin usar tablas de verdad, demuestre que Solucin:
[ p ( p q )] q
es una Tautologa.
[ p ( p q )] q [ p ( p q )] q
[ p (p q ) ] q [( p p ) ( p q )] q [ F ( p q )] q [ ( p q) ] q [ p q ] q ( p q) q (p q ) q p ( q q ) p ( V ) p V V
11.
Demuestre, Solucin:
{ [( p q) r ] q } q
sin
usar
tablas
de
verdad,
si
se
verifica
la
siguiente
equivalencia
lgica
(r q) .

{ [( p q) r ] q } q
{ [( p q) r ] q } q , { [( p q) q ] (r q) } q { [ p ( q q ) ] ( r q ) } q { [ p F ] ( r q ) } q { ( p F ) ( r q ) } q { F ( r q ) } q { ( r q ) } q
( r q ) q ( r q ) ( q q ) (r q) V (r q)
Universidad Diego Portales 12. Indique el valor de verdad de las siguientes proposiciones: a. Todo nmero natural es mayor que 2. Falsa, el 1 es menor que 2. Si una fraccin es nula entonces su denominador es nulo. Falsa, si el denominador es cero o nulo la fraccin no existe. El cuadrado de todo numero real es no nulo. Falsa, cero al cuadrado es cero. Si un nmero es positivo entonces su opuesto es un numero negativo. Verdadera. Existen nmeros naturales cuyo cuadrado siempre es mayor que 100. Verdadera. Todo nmero primo es un nmero impar. Falsa. El 2 es primo y es numero par. Existen nmeros divisores de 12 que son nmeros impares. Verdadera. Una fraccin no tiene sentido si su denominador es nulo Verdadera.
b.
c.
d.
e.
f.
g.
h.
Ejercicios Propuestos:
1.
Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de la siguiente proposicin (p r ) (r p)
2.
Demuestre que los esquemas p ( q r ) y ( p q ) r son lgicamente equivalentes.
3.
Considere tres proposiciones p , q y r de las cuales se sabe que ( p q ) es Verdadero, y que Determine el valor veritativo del esquema ( r p ) ( r p ).
(q r ) es Falso.
4.
Verifique si la siguiente proposicin compuesta [ (q r ) p ] [ ( p r ) ( p r ) ], tienen carcter de Tautologa, Contradiccin o Contingencia, sin recurrir a tablas de verdad:
ELEMENTOS DE CONJUNTOS
1.0. GENERALIDADES SOBRE CONJUNTOS. Los conceptos de "conjunto", "elemento" y "pertenencia" son primitivos, es decir, no se definen. Intuitivamente, un conjunto es una coleccin bien delimitada de objetos concretos o abstractos llamados elementos o miembros del conjunto. Consideremos, por ejemplo las siguientes colecciones: 1. 2. 3. 4. 5. 6. 7. Las letras a, e , i , o , u. Los nmeros naturales pares: 2, 4, 6, 8, 10, ... Los siete pecados capitales. Los equipos profesionales de Ftbol. Los Indicadores Econmicos. Los nmeros naturales divisores de 36. Las personas jvenes que viven en Chile.
Slo los seis primeros de estos ejemplos constituyen conjuntos. La coleccin 7 no tiene bien delimitados sus elementos, pues no hay consenso acerca del significado de la palabra "joven". Cada uno de los elementos del conjunto 4 puede considerarse como un conjunto y por esta razn puede decirse que este conjunto es una clase o familia de conjuntos. No obstante, la coleccin de todos los conjuntos no es un conjunto. Los conjuntos se denotan generalmente mediante letras maysculas y sus elementos se escriben entre parntesis de llave. Por ejemplo: Nota 1:
A = {1, 2 , 4 } .
El conjunto cuyo nico elemento es
se llama singleton
x . Obsrvese que { x } x .
Se necesita un criterio que permita decidir si un elemento x est en el conjunto A . En el conjunto A del ejemplo anterior el entero 2 pertenece a A , escribimos esto as 2 A , que es la relacin de pertenencia entre elemento y conjunto. Anlogamente 1 A y 4 A , por abuso de lenguaje se escribe 1, 2 , 4 A . Por otra parte, 5 no pertenece a A . Escribimos esto as 5 A . Es usual decir, por ejemplo, que " x es un elemento de A " o " x est en A " en vez de " x pertenece a A ". Lo cual se simboliza por x A . Nota 2: El "conjunto":
{ } no tiene elementos. Se denomina conjunto vaco y se denota por la letra griega .
Definiremos dos relaciones entre conjuntos: inclusin e igualdad y posteriormente las operaciones entre conjuntos, y con ayuda de los diagramas de Venn para representar conjuntos, daremos interpretaciones intuitivas de estas definiciones que faciliten la comprensin del trabajo formal que se desarrolla a continuacin. Definicin. 1.1. Se dice que un conjunto A es subconjunto, o es una parte de un conjunto B , o que A est incluido en B , lo que se anota por A B o bien B A , si y solo si cada elemento que pertenece a A , pertenece a B . Si A no es subconjunto de B se escribe A B . Se dice que A es subconjunto propio de B si y slo si A es subconjunto de B y B no es subconjunto de A , lo que se denota por A B . Estableceremos que el conjunto vaco es subconjunto de cualquier conjunto, es decir
Nota 3
Nota 4 Ejemplo 1.1.
A.
Dados A = { 1 , 2 } , B = { 1 , 2 , 3 } , entonces A es subconjunto de B, A es subconjunto de A, B es subconjunto de B, B no es subconjunto de A, A es una parte propia de B.
Definicin. 1.2.
Se dice que los conjuntos A , B son iguales, y se denota por A = B , si y slo, si cada elemento que pertenece a A pertenece a B , y recprocamente. Dicho de otro modo: A y B son iguales si A es subconjunto de B y B es subconjunto de A . Si: A y B no son iguales se escribe A B . 1. 2. 3.
Ejemplo 1.2.
{ 3 , 2, 5 } = { 3 , 2 , 5 } { 1, 2 } = {1, 2 ,1, 2 ,1 } {0 }
A
se llama conjunto potencia de
Def. 1.3.
La familia de todas las partes de un conjunto
y se denota por P( A ) ,
es decir, es el conjunto cuyos elementos son todos los subconjunto del conjunto P( A ) = { X : X A }. Ejemplo 1.3. S A = { 1, 2 } , entonces: P( A ) = {{ 1 }, { 2 }, { 1, 2 }, }
A . En smbolos ser
En toda discusin relativa a conjuntos siempre aparece explcitamente o con frecuencia, implcitamente, un conjunto no vaco que llamamos universo, del cual son partes cada uno de los conjuntos en cuestin, es decir, es el conjunto de todos los elementos que entran en consideracin en un problema. As por ejemplo, en geometra plana el conjunto universal est constituido por todos los puntos del plano. Por otra parte, el conjunto de nmeros tales como: 2, -5, 2, , -0.5, etc., que se designa por IR , recibe el nombre de Conjunto de los Nmeros Reales y es el conjunto universal de todos los conjuntos numricos, con excepcin de los Nmeros Complejos. Los conjuntos numricos son nuestro primordial inters y los principales conjuntos numricos se denotan por smbolos especiales: N Conjunto de los nmeros naturales. Z Conjunto de los nmeros enteros. Q Conjunto de los nmeros racionales. R Conjunto de los nmeros reales. C Conjunto de los nmeros complejos. Antes de continuar debemos decir algo sobre la forma de determinar o definir un conjunto. Al respecto, el Axioma de Extensin establece que un conjunto est completamente determinado si se conocen todos sus elementos. Por otra parte, el Axioma de Especificacin establece que dado un conjunto, la clase formada por todos los elementos de dicho conjunto que satisfacen una condicin o frmula dada es, tambin, un conjunto y este conjunto es nico por el Axioma de Extensin Para referirnos a algn subconjunto en particular de los conjuntos numricos podemos hacerlo de una de las siguientes maneras: a) Utilizando el Axioma de Especificacin, por ejemplo A = n IN : n 12 . Aqu n 12 significa n es
A = {n IN : n es un divisor de 12 } .
divisor
de
12;
luego,
tambin
podemos
escribir
esta
condicin
en
palabras
b) c)
Utilizando el Axioma de Extensin como en A = { 1, 2, 3, 4, 6, 12 } . Listando algunos elementos representativos de modo que la condicin del Axioma de Especificacin resulte aparente como en el ejemplo IP = { 2 , 4 , 6 , 8 , 10 , 12 , L } , o bien IP = { n IN : n es par }
Ejemplo 1.4.
Exprese los conjuntos utilizando uno de los axiomas: a. b. c.
R = {x IN : x = 2n 1, con n IN
T ={ y :
S = { 5 , 10 , 15 , 20 , 25 , 30 , L }
y es una de las acciones del grupo IPSA }
DIAGRAMAS DE VENN EULER (por el nombre del lgico ingles John Venn - Euler, 1834-1923).
Profesores: A. Lizana H. Carreo M. Saintard Material Docente MET 1000 lgebra pg.: 14
Son recursos geomtricos que permiten representar las diversas relaciones y operaciones entre conjuntos. Sus convenciones son: a) El conjunto U es un rectngulo. Nada es de inters fuera de l: el exterior es vaco. b) Un conjunto A del Universo U ser cualquier figura plana cerrada, usualmente crculos. Una figura dentro de otra, representa la Inclusin. c) Cada punto interior del rectngulo ser un elemento de U. Si x no est en un conjunto A, ser punto exterior de crculo A. Si x pertenece a A, ser punto interior de crculo A.
B
U
x y
En el diagrama: C A, xB, yB.
OPERACIONES CON CONJUNTOS.

Son las relaciones entre conjuntos A y B, que tienen la particularidad de generar nuevos conjuntos llamados resultado de operar A con B. Destacaremos las siguientes operaciones entre conjuntos: el complemento, la unin, la interseccin, y la diferencia. A pesar de lo dicho, mencionaremos otras operaciones secundarias que tienen alguna relevancia especial. Def. 2.1. Llmese complemento de un conjunto elementos de
que no pertenecen a
A con respecto a un universo U , al conjunto de todos aquellos c A . Se denota por AU (a veces, cuando resulta claro del contexto,
A c , o bien A`.
se prescinde del subndice), o simplemente por Ejemplo 2.1. Consecuencias:
El complemento de A = {a} con respecto a U = {a, b, c} , es el conjunto A c = {b, c} . 1. 2. 3 4.
c = {x U : x } = U . U c = {x U : x U } = .
{x U : p( x)}c = {x U : p( x)}
A
y
( A c ) c = {x U : x A c } = A
Def. 2.2.
Sean los conjuntos
U . La unin, interseccin, y diferencia, de A B que se denotan respectivamente por: A B , A B , y A B y son los conjuntos definidos por: A B = {x U : x A x B } , A B = {x U : x A x B } , A B = {x U : x A x B }
subconjunto de un universo el smbolo El smbolo El smbolo
Nota:
1. 2. 3.
A B A B A B
lo leeremos: lo leeremos: lo leeremos:
A unin B . A interseccin B . A menos B .
Su representacin con diagramas de Venn se visualiza en la figuras que se presentan a continuacin:
A AC
Todo lo ennegrecido
A
AB
B AB
Todo lo achurado
A
AB
B AB
Slo lo enrejado
A
AB
B AB
Lo ennegrecido
Ejemplo 2.2.
Sean los conjuntos A = {a} , B = {a, b} y C = {a, b, c} . Entonces A B = B , A B = A ,
B A = {b} ,
C B = A , y AC = .
Def. 2.3.
Sean A, B subconjunto de un universo U . Se dice que los conjuntos A , B son disjuntos si y slo si su interseccin es vaca, es decir, los conjuntos disjuntos no tienen elementos en comn. En smbolos ser A, B Disjuntos A B = .
A B =
U
Universidad Diego Portales Def. 2.4.
Sean A, B subconjunto de un universo U . Se llama diferencia simtrica de A y B, y se denota por:
AB , al conjunto: AB = ( A B) ( A B) .
AB
Para cualquier tro de conjuntos A, B y C en cierto universo U: a) d) AA = (AB) C = A(BC) b) AB = BA e) A= A c) f) (AB) = (AB)(AB) AU = A
Observacin: Verifique estas propiedades con conjuntos concretos.
Ejemplo 2.3.
Dados los conjuntos: A = {x IN : x = 2n, x < 15 } y B = {y IN : y = 3n, y < 16 } , por Obtener: A B , A B , A B y B A . Solucin: Utilizando el Axioma de Extensin los conjuntos:
especificacin.
A = {x IN : x = 2n, x < 15 } = { 2,4,6,8,10,12,14 } B = {y IN : y = 3n, y < 16 } = { 3,6,9,12,15 }
son:
entonces:
A B = { 2,3,4,6,8,9,10,12,14,15 } , A B = { 6 ,12 } ,
B A = {3,9,15 } .
A B = { 2,4,8,10,14 } ,
Ejemplo 2.4.
Consideremos al conjunto U = {m, u, r, c, i, e, l, a, g, o, s} como nuestro universo de trabajo. En U, definamos tres conjuntos A = {a, m, i, g, o, s}; B = {xU / x es vocal latina} y C = {c, i , e, g, a, s}.
Obtener:
a) el conjunto [A (B C)] [B (A C)] por extensin. b) la operatoria con A, B y/o C que exprese al conjunto M = {m, u, s, g, o}.
Solucin: Es conveniente distribuir los elementos de U en un apropiado diagrama de Venn:
U B A m o i a e g s c C u l
Luego es ms simple resolver: a) Si B C = {o, u} y A = {l, u, c, r, e} entonces A (B C) = {c, l, e, r}. Pero C = {m, u, r, l, o}, luego, AC = {m, u, r, i, l, a, g, o, s}. De lo cual surge B (AC) = {e}. Finalmente, uniendo los conjuntos obtenidos, resulta: b) [A (B C)] [B (A C)] = {c, l, e, r}. Si achuramos las zonas que reunen los elementos de M, se nos har evidente una operatoria para representarla. Por ejemplo: M = {m, u, s, g, o} AB, y bastar quitarle por diferencia los elementos i, a, e que nos sobran y se encuentran en BC. Luego, M = (AB) (BC) es una buena expresin para M.
ALGEBRA DE CONJUNTOS.
Las operaciones debido a sus definiciones y conexiones lgicas, tienen diversas propiedades algebraicas, algunas de las cuales, sealamos a continuacin:
PROPOSICION 1
1. 2. 2. 3. 3. 4. 4. 5. 6. 7. 8. 9.
Sean A, B y C subconjunto de un universo U , se tiene:
A,
A A A si y slo si A =
( A B) A , ( A B) B
A ( A B) , B ( A B)
Si Si Si
A B y B C , entonces A C A B y B A , entonces A = B A C y B C , entonces ( A B ) C Si C A y C B , entonces C ( A B ) A B

si y slo si
B c Ac
10.
A Bc =
si y slo si
A B
A continuacin aparece una lista de proposiciones acerca del Algebra de Conjuntos de las que se conoce su veracidad. Estas proposiciones se llamarn teoremas. TEOREMA 1 Sean 1.
A, B
a) b) c)
subconjuntos de un universo
, se tiene:
2. 3. 4.
d) a) b) a) a) b)
A = A A U =U A = A U = A A A= A A A= A ( Ac ) c = A U c =
c =U
A B = B A A B = B A ( A B) C = A ( B C )
5. 6. 7.
a) b) a) b) a) b)
( A B) C = A ( B C )
A ( B C ) = ( A B) ( A C ) A ( B C ) = ( A B) ( A C )
( A B) c = A c B c ( A B) c = A c B c
8.
a) b)
9.
a) b)
A Ac = U A Ac = A B = A Bc , ( A B ) c = Ac B A ( A B) = A A ( A B) = A
10. 11.
a) b) a) b)
Aunque prcticamente se est imponiendo esta lista, slo contiene unas cuantas proposiciones bsicas acerca del lgebra de conjuntos. Una vez que se han establecido estos teoremas, a partir de stos pueden probarse muchos otros ms. El ejemplo siguiente ilustra el uso de las propiedades del lgebra de conjuntos para demostrar otras relaciones entre conjuntos. Ejemplo 2.5. Demostrar que Solucin:
A ( B C ) = ( A B) ( A C ) A (B C) = A (B C)c
= A (B C )
c c
(Teo. 1.10.a) (Teo. 1.8.a)

c
= ( A A) ( B C )
c
(Ver nota)
= A (A B ) C
c
c c = A (B A ) C c c = (A B ) (A C )
= ( A B) ( A C ) NOTA:
(Teo. 1.10.a)
En la demostracin se ha insertado un trmino extra, lo cual es permitido porque A A = A , y adems se ha utilizado las propiedades de la Asociatividad y la Conmutatividad de la operacin de interseccin de conjuntos (Teo. 1.5.b y 1.6.b). Adems estas proposiciones pueden usarse para desarrollar o simplificar expresiones, como en el lgebra ordinaria.
Ejercicio:
Determine usando las propiedades del lgebra de conjuntos, si la siguiente igualdad es una Tautologa:
[ A ( A B )] [ (B A ) A ]
Ejemplo. 2.6.
Simplifique: Solucin:
[A
( A Bc )
[A
(A Bc )
= ( Ac ) c ( A B c ) c
= A ( Ac ( B c ) c )
= A ( A c B)
= ( A A c ) ( A B)
= ( A B) = A B
Ejemplo. 2.6 Utilizando elementos del lgebra de conjuntos simplifique A c Solucin:
[( A B ) (A B ) ]
c
Ac
[( A B ) (A B ) ]
c
= Ac = Ac = Ac
= Ac
[( A B ) (A B ) ] [ (A B ) (A B ) ] [ (A B ) ] [A B ]
c c c c c c c
= Ac
En 1.3. se estableci la definicin del Conjunto Potencia de un conjunto A dado, que denotamos por P ( A) , como el conjunto cuyos elementos son todos los subconjuntos de A . En smbolos P( A ) = { X : X A } .
PROPOSICION: Sean 1. 2. 3. NOTA:
partes de
, entonces:
(P( A) P( B) ) P( A B ) .
A
tiene
P( A B ) = P ( A) P ( B ) ,
P( A ) ,
Puede demostrarse que, si
elementos entonces P ( A) tiene 2 n elementos.
3.0.
CARDINALIDAD DE CONJUNTOS. Sea A un conjunto finito numerable de un universo elementos distintos del conjunto OBSERVACIONES: 1. 2. 3. 4. S A B = , entonces: n( A B) = n( A) + n( B) S A B , entonces: n( A B) = n( A) + n( B ) n( A B )
; entonces n(A) o # A representar el nmero de
A , o su cardinalidad.
n( A B ) = n( A B ) n( B ) ,
n( A c ) = n(U ) n( A)
Universidad Diego Portales Ejercicio:
En un universo de N elementos se tienen dos conjuntos A y B tales que n( A B) = 40% de N;

n( A c B c ) = 15% de N, y
n( B) = 50%
de N. Determine:
n( A) .
Ejemplo 1:
Una empresa de sondeo realiz una encuesta en un prestigioso supermercado de Santiago, sobre el consumo de bebidas gaseosas. Se consideraron tres marcas de stas: Las personas que consuman gaseosa Coca-cola se clasificaron en el grupo C. Las personas que consuman gaseosa Fanta se clasificaron en el grupo F. Las personas que consuman gaseosa Sprite se clasificaron en el grupo S. La empresa recopil la siguiente informacin: 112 personas consumen Coca-cola pero no Sprite. 96 personas consumen Fanta y Sprite, pero no Coca-cola. 236 personas no consumen Coca-cola 144 personas consumen Coca-cola o Sprite pero no Fanta. El nmero de personas que slo consumen Sprite, era igual al doble de personas que consuma Coca-cola y Fanta pero no Sprite. 136 personas consumen Sprite pero no Coca-cola. 380 personas consumen Coca-cola o Fanta. 92 personas consumen Coca-cola y Sprite. a. Dibuje un diagrama de Venn que represente la situacin planteada, colocando la cardinalidad de cada zona. Solucin:
b.
Determine: a. La cantidad de personas encuestadas. n( U ) = 440 Solucin: b. c. Las personas que consuman los tres tipos de gaseosas. Solucin: n( CC FT SP ) = 80 Las personas que slo consuman Fanta.
Solucin:
n( FT (CC SP ) ) = 80
Aqu deberamos poner una serie de ejercicios resueltos, tal como se hizo en la parte de lgica. Le parece Maestro ?
GUIA UNIDAD N1 : LOGICA Y CONJUNTOS
PARTE N1 :
LOGICA
I.-
LOGICA
de
PROPOSICIONES:
I.1.- Sean los enunciados declarativos representados por las proposiciones p y q :

p : 4 es un nmero primo y q : 4 es divisor de 32
Exprese en espaol los enunciados representados por :
a) d)
p q p q e)
b)
q p f)
c)
p q
p q
(q p) q
I.2.- Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de las siguientes proposiciones : a) c) (p q) r ( p r ) q d) b) ( p r ) q
(p r ) (r p) p q q p, escribindola a su
I.3.- Indique, en cada caso, si la expresin simblica que corresponde es

lado. p slo si q p es una condicin suficiente para q p es una condicin necesaria para q Una condicin suficiente para p es q Una condicin necesaria para p es q Para que ocurra p es suficiente que ocurra q Para que ocurra p es necesario que ocurra q
...................... ...................... ...................... ...................... ...................... ...................... ......................
I.4.- Considere las proposiciones, p: l es Ingeniero Civil, q: l es Informtico, r: l es empresario. Escriba en

forma simblica los siguientes enunciados: a) b) c) d) e) f) l no es Ingeniero Civil ni Informtico, pero si Empresario. l no es Ingeniero Civil y es Informtico. Ser Ingeniero Civil o Empresario es lo mismo que ser Informtico. Si l es Ingeniero Civil e Informtico, entonces es Empresario. Si no es Ingeniero Civil y es Informtico, entonces es Empresario. Es Ingeniero Civil slo si es Economista y Empresario.
I.5.- Defina proposiciones simples adecuadas y traduzca a metalenguaje los siguientes enunciados :
a) b) c) Si los limones son caros y el azcar es barata, entonces es difcil encontrar limonada amarga. una condicin necesaria para que los limones sean baratos es que el azcar sea cara. Se encuentra fcilmente limonada amarga, a menos que el azcar sea barata.
Universidad Diego Portales d) La limonada amarga se encuentra difcilmente si el azcar es barata.
I.6.- A travs de una matriz de valores veritativos, determine si los esquemas son Tautologa, Contradiccin o
Contingencia :
a) b) c) d) e) f) g) h)
[ ( p q ) ( p q )] (p q ) [ (q p ) q ] [ q ( q p ) ]
( p q ) [ ( p r ) ( q r ) ] [ ( p q ) ( q q )] ( p q ) [ a ( b c ) ] [ ( a b c ) { ( b c ) a } ] [ ( p q ) q ] p [ ( a b ) ( a b ) ] b [ ( p q ) ( q q ) ] ( p q )
I.7.- Verifique si las siguientes proposiciones compuestas tienen carcter de Tautologa, Contradiccin o Contingencia,
sin recurrir a tablas de verdad:
a) b) c) d) e) f)
{ [ ( a b ) c ] [ ( a c ) b ] } ( p q ) [ ( p q ) ( q p ) ] { [ a ( b c ) ] b } ( a c ) [ ( p q ) ( p q ) ] ( p q ) [ (q r ) p ] [ ( p r ) ( p r ) ] { a [ c ( a b ) ] } ( c b )
g) [ ( p q ) ( r p ) ] ( p r ) I.8.- Si se sabe que p q C, demuestre, usando lgebra lgica, que: [ ( p q ) ( p q ) ] p T
I.9.- Utilizando el lgebra lgica:

a) Demuestre que: ( p q ) p p q Si
b) c) d) e)
p q T, demuestre que: [ ( p q ) ( p q ) ] q T
Simplifique al mximo: [ ( p q ) ( q p ) ] ( q p ) Demuestre que: { [ p ( q p ) ] q } ( p q ) Simplificar al mximo: i) ii)
[p ( q p ) ] p q [ p q ]
iii) ( p q ) ( q p )
I.10.- Demuestre que los esquemas p ( q r )

equivalentes.
( p q ) r
son lgicamente
I.11.-
Determine el valor de verdad de p , q y r en cada uno de los siguientes casos, sabiendo que el valor de verdad del esquema propuesto es el que se indica.
a) b) c) d) e)
[ ( p q ) ( r q ) ] : V { [ ( p q ) ( p r ) ] ( p r ) } { [ ( p q ) ( p r ) ] [ p ( q { [ ( p q )
resultado.
: F r ) ] } : V : F
( p r ) ] [ ( p q ) ( q r ) ] } ( p q ) ( p r ) ] }
{ [ p ( q r ) ] [
: F. Comente su
I.12.-
Demuestre que si q tiene v. de v. F, entonces la proposicin compuesta
( p q ) [ ( q r ) ( p q ) ] resulta ser Falsa. I.13.- Considere tres proposiciones p , q y r de las cuales se sabe que p q es Verdadero, y que q r es Falso. Determine el valor veritativo del esquema: ( r p ) ( r p ). I.14.Un funcionario bancario hizo tres declaraciones sucesivas. La primera fue : Si el jefe no se retira temprano, hoy llegar tarde a casa y partiremos maana a la playa . Luego dijo : El jefe se retirar temprano o llegar temprano a casa . Por ltimo, declar : Si el jefe se retira temprano y partiremos maana a la playa, entonces partiremos maana a la playa o llegar temprano a casa . Si se supo que sus dos primeras afirmaciones son Falsas, Qu valor de verdad tiene su ltima declaracin ?
I.15.a) b) c) d) e) f) g)
Usando el lgebra lgica, obtenga un esquema equivalente ms sencillo para :
[ p ( q p ) ] q ( q p ) ( p q )
( p q ) q ( p q ) q p [ q ( p q ) ] [ ( p q ) ( p q ) ] p [ ( p q ) ( p q ) ]
I.16.a) b) c) d) e) f)
Demuestre, usando lgebra lgica, las siguientes equivalencias entre esquemas.
( p p p q p q T
p ) )
p [ ( p q ) p [ p
( q p ) ] ( q ( p p ) ]
[ ( p [ ( p
q ) q )
q ) ] p ) ]
( q
q [ ( p q ) ( p q ) ]
I.17.-
Considere los enunciados : I.- " Si Juan termina de solucionar ese problema y el horario de trabajo termin, entonces se retira muy satisfecho. "
II.- " Juan no termin de solucionar ese problema o el horario de trabajo no termin, o Juan se retira muy satisfecho. " Traduzca cada enunciado a metalenguaje y demuestre, usando lgebra de proposiciones, que los enunciados I y II son equivalentes.
I.18.- Demuestre que el valor de verdad de ( p q ) [ ( p r)

independiente del valor de verdad de la proposicin r.
(q r ) ] es
II.-
CUANTIFICADORES :
II.1.a) c)
Dado A = { 1, 2, 3, 4, 5 }. Hallar el valor de verdad de las siguientes proposiciones:
! x A/ x + 3 = 10 x A / x + 3 < 5
b) d)
x A: x + 3 10 x A: x + 3 7
II.2.-
Dado el conjunto A = { 1, 3, 5, 7 } proposiciones:
Determine el valor de verdad de las siguientes
a) b)
( x A/ 4x2 19x 5 = 0 ) ( x A/ x2 = x ) ( x A/ 2x + 3y = 5x ) ( x A/ 2x = x )
II.3.a)
Dadas las siguientes proposiciones: x N: x es par o impar.
b) a R/ a2 = 1 00 = 1. c) Si todo nmero primo es impar, entonces dos no es primo.
d) a, b R: e) f)
0
ab = a b x
n
n N: [(n = 1) (0 = 0)] x R: n N/ x < n.
0 (n
= 1).
g) x A: y A / x2 + y2 25; donde A = {1, 2, 3, 4, 5} h) x N: (x2 = 2 ) (x es par). i) j) x Z {0}: x es positivo y negativo.

Todo nmero impar es primo, entonces cinco no es primo. i) ii) Determinar el valor de verdad (V F) de cada proposicin. Escribir la negacin de las proposiciones que usted decida son falsas.
Se pide:
II.4.a) b) c) d) e)
Simplifique, obteniendo una proposicin de tipo afirmativo.
{ [ x en U/ p(x) ]
[ x en U/ q(x) ] }
{ x en U/ [ p(x) q(x) ] } { [ x en U/ p(x) ] [ x en U/ q(x) ] } { [ x en U/ p(x) ] { [ x en U/ p(x) ] [ x en U/ q(x) ] } [ x en U/ q(x) ] }
II.5.- Dadas las siguientes proposiciones; i)tradzcalas a lenguaje simblico ii)niguelas o simplifquelas. iii)vuelva a traducirlas al espaol.
a) b) c) d) e) f) Todos los nmeros son racionales y existen nmeros que no son enteros. Algunas leyes no son legtimas pero deben ser respetadas. Algunos hombres cantan y no son felices. Existe al menos una empresa que hace pernos pero no tuercas. Existe por lo menos un hombre que es rico y no es feliz. Es falso que todos los alumnos estudiosos aprobaron el ramo y/o se irn de vacaciones.
II.6.-Cada una de los siguientes enunciados,
a) Tradzcalo a lenguaje lgico.

b) c) Niguelo y simplifquelo. Vuelva a escribirlo en espaol.
a) b) c) d) e)
Si todos los Ingenieros Civiles tuviesen una segunda fuente de ingreso podran proyectarse profesionalmente y/o aumentar sus rentas. Si algunos de los libros de contabilidad de un monopolio de empresas son revisados, entonces todos los contadores tendrn que justificar los gastos y/o no podrn salir de vacaciones. Todas las empresas si no pagan sus impuestos en la fecha correspondiente, debern pagar multa y/o solicitar una prrroga. Si algunas empresas mayoristas reducen sus stocks, entonces todos compitiendo y prolongarn sus horarios de cierre. los supermercados estarn
Si hoy no llueve, entonces todos los alumnos de lgebra podrn asistir a la Softel en Cerrillos y/o al seminario de Mercosur en el Edificio Diego Portales.
PARTE N2 : TEORIA DE CONJUNTOS :
1.-
Si A = { 1, 2, { 3 } }. Cules de las siguientes afirmaciones son verdaderas ? a) d) g) 3 A A { 1, 2, { 3 } } A b) e) h) { 2, { 3} } A { 3 } A { { 3 } } A c) f) { 1 } A { 1, 2 } A
2.-
Sean los conjuntos
U = { x N / x < 10 } B = { x N / x < 5 }
A = { x N / 2 < x < 8 } C = { x N / x + 2 = 6 }
Determine :
a) A ( B C ) b) C ( A B) c) ( A B ) ( C A ) d) ( A C ) B
3.-
Dados :
U = { p, e, r, g, a, m, i, n, o } B = { g, a, m, o }
A = { m, e, n, o, r }
C = { p, a, r, o } por extensin.
a) Encuentre ( A B ) C
b) Encuentre una expresin conjuntista que posea slo los elementos p, a, r.
4.-
Dados los conjuntos
U = { 1, 2, 3, 4, 5, 6, 7 ,8 ,9, 10, 11, 12, 13 } B = { 3, 4, 5, 8 ,9, 10, 11, 12 }
A = { 1, 2, 3, 4, 5, 6, 10 } C = { 5, 6, 7 ,8 ,9, 10 } a) Realice la operacin
A ( B C ).
b) Determine las operaciones necesarias para obtener : i) { 1, 2, 5, 6, 10 } ii) { 1, 2, 7, 11, 12 } U = { x N / x 15 } C = { 3, 4, 7, 10, 11 } [ A ( B C ) ] ( B C ).
5.-
Considere los conjuntos : B = { 1, 3, 5, 6 , 10, 11 }
A = { 2, 3, 4, 5, 12 }
a) Distribuya los elementos de U en un diagrama adecuado. b) Obtenga por extensin :
6.-
Sean :
U = { a, r, s, e, n, i, c, o }
A = { n, e, c, i, a }
B = { i, r, a, n } b) Encuentre ( A B ) C
C = { r, e, n, o }
a) Distribuya los elementos de U en un diagrama adecuado. por extensin.
c) Exprese el conjunto { e, c, o } como resultado de una operacin entre los conjuntos arriba definidos.
7.-
Construya un diagrama de Venn- Euler que respete exacta y slamente las restricciones exigidas en cada uno de los siguientes casos. Indique los casos que resulten con exigencias incompatibles. a) b) c) d) C ( A B ) ; A A B ; C D ; A A B C = ; A B C ; C B ; C A . D = ; C B = .
B ; B C ; A C .
A B ; A
B C ; C B
8.-
Determine por extensin los conjuntos A, B, C a) b) c) d) e) f) g) h) ( A, B, C U ) ( B C ) =
U, si se sabe que :
( C B ) = { 3, 5, 9 } { 3, 5 } ( A C ) x (A C ) x { 1, 2, 3 } x ( B A ) ( x = 8 ) 4 A, 7 A n( A ) = 4 ; { 2, 8 } U
n( B ) < n( C ) , n( U ) = 8 ( A B ) = { 1 }
Justifique con un diagrama.
9.-
Usando lgebra de conjuntos, demuestre que : a) b) c) ( A B ) ( A C ) = A ( B C ) [ A ( B A ) ] [( B A ) A ] = A
[ ( A B ) B ] = B ( S T ) [ T ( T S ) = S ]
10.-
Demuestre que S, T U :
11.-
Usando lgebra de conjuntos, simplifique : a) b) c) A ( A B ) [ A ( B A ) ] [( B A ) A ]
[ ( A B ) ( A B ]
d) e)
[ A ( C A )
] [( C A ) C ]
[ ( B ( A B ) ] ( A B ]
12.-
Determine la cardinalidad de los conjuntos A, B, C U , considerando la siguiente informacin : n ( U ) = 30 n ( A D ) = 4 n ( A n ( A B C ) = 5 n ( B C ) = 8 n ( A n ( A B ) = 23 B C ) = 3
B ) = 11 n ( A C ) = 12
13.-
En un curso hay 45 alumnos de la carrera A y 51 de la carrera B que no estudian la carrera A. Se sabe, adems, que hay 12 alumnos que no estudian en estas carreras. i) Cuntos alumnos hay en el curso ? ii) Si 7 alumnos estudian ambas carreras, cuntos estudian en la carrera B?
14.-
En un Universo de 34 elementos, hay tres conjuntos A, B y C tales que C B ; n ( C ) = 8 ; n ( A C ) = 24 ; n ( A B ) = 10 ; n ( B ) = 22 ; n ( A C ) = 6. Cuntos elementos se encuentran slo en A ?
15.-
Se hace una encuesta a 600 varones respecto del uso de tres lociones de bajo costo : Old Spice, Flao y Denin. Se obtuvo la siguiente informacin : a) b) c) d) e) f) g) 180 varones usan Old Spice pero no Flao. 200 usan Flao y Denin. 160 usan Denin y nunca usan Old Spice. 100 usan Old Spice y Denin pero nunca han usado Flao. 300 nunca han usado Flao. 50 slo usan Denin. 200 han usado slo una (cualquiera) de estas tres marcas.
Determine :
i) Cuntos encuestados usan las tres marcas ? ii) Cuntos encuestados no usan de estas lociones ? iii) Cuntos encuestados slo usan Flao y Denin ?
16.-
Entre 75 personas que toman caf, se hace una encuesta. 27 dicen que les gusta el caf sin crema ni azcar. A 26 les gusta con crema y 36 dicen que les gusta con azcar. Cuntos de los encuestados tomaran un caf con crema y azcar ?
17.-
En un banco se hace un estudio con las personas que solicitaron prstamos durante el mes pasado, sabiendo que el banco slo acepta solicitudes de prstamo de consumo en U.F. Los resultados se presentaron como sigue :
- 55% de los solicitantes son hombres. - 60% de los solicitantes pidieron prstamo en U.F. - 30% de los solicitantes son hombres y no pidieron prstamo en U.F. 5 % de los solicitantes son mujeres que pidieron prstamo de consumo.
- 40 % de los solicitantes pidieron su prstamo en U.F. pero no solicitaron prstamo de consumo. a) Distribuya la informacin en un diagrama adecuado a la situacin. b) Cul es el porcentaje de solicitantes que es mujer y pidi prstamo en U.F. ? c) Cul es el porcentaje de solicitantes que es hombre y pidi prstamo de consumo ?
18.-
De un grupo de 100 empleados de una firma, todos los hombres tienen ms de 20 aos de edad; hay 50 mujeres en el grupo; 60 empleados son mayores de 20 aos; 25 mujeres no son solteras. Los empleados casados con ms de 20 aos de edad son 15, y de stos 10 son mujeres. a) Construya un diagrama adecuado cardinalidades respectivas. a la situacin y distribuya las
b) Cuntos son los empleados casados? c) Qu porcentaje de las mujeres es soltera?
d) Cuntas mujeres son solteras y mayores de 20 aos? e) Qu porcentaje del grupo es hombre casado?.
19.-
En una encuesta a los egresados de un colegio cientfico-humanista, sobre sus preferencias para estudios superiores, se obtuvo los siguientes resultados: i) ii) iii) iv) v) vi) vii) viii) 29 prefieren Ingeniera Civil. 26 prefieren Psicologa. 8 prefieren Ing. Civil y Psicologa pero no Derecho. 5 estudiaran slo Ing. Civil. 7 estudiaran Ing. Civil y Derecho pero no Psicologa. El doble de los que prefieren slo Psicologa, prefieren slo Derecho. 4 prefieren slo Psicologa y Derecho. 50 no estudiaran Ing. Civil.
Determine: a) el nmero total de encuestados; b) Cuntos de mencionadas; ellos elegiran carreras distintas de las
c) Cuntos elegiran cualquiera de las tres carreras mencionadas.
20.-
110 alumnos postularon a las carreras de cierta universidad. Un mismo alumno puede postular a un mximo de tres carreras y se tiene los siguientes datos :
a) b) c) d) e)
Nadie que postula a Derecho, postula a Ingeniera Comercial. Los alumnos que postularon a Derecho tambin lo hicieron Psicologa o a Auditora. Los alumnos que postularon a Ingeniera Comercial son 60. 15 son los alumnos que slo postularon a Ingeniera Comercial. por lo menos a
La cantidad de alumnos que postul a Psicologa e Ingeniera Comercial es la misma que postul a Auditora e Ingeniera Comercial, esto es 35 jvenes. Los alumnos que postularon a Derecho son 19. Los alumnos que postularon slo a Auditora son 3. Los alumnos que postularon slo a Psicologa son 5.
f) g) h)
i)
Los alumnos que postularon a Derecho pero no a Psicologa, son 8. Los alumnos que postularon a Derecho pero no a Auditora, son 4. 20 alumnos postularon a otras carreras no mencionadas arriba.
j) k)
1.2.-
Distribuya la informacin en un diagrama adecuado a la situacin. Determine : i) el nmero de alumnos que postula slo a Auditora y Psicologa. ii) el nmero de alumnos que postula a tres de las carreras mencionadas.
iii) cuntos alumnos eligen a lo ms dos de estas carreras. iv) cul es la carrera con ms postulantes.

Álgebra MET1000 Unidad I - I - Com

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Álgebra MET1000 Unidad I - I - Com

Uploaded by

Copyright:

Available Formats

Universidad Diego Portales

FACULTAD DE ECONOMIA Y EMPRESA

Material Docente M E T 1000 lgebra

SANTIAGO, CHILE, U.D.P., DICIEMBRE de 2008

Universidad Diego Portales

Facultad de Economa y Empresa

Conjunto Universal, Conjunto Vaco.

Cardinalidad: Teoremas y Aplicaciones (Encuestas).

Profesores: A. Lizana H. Carreo M. Saintard

Material Docente MET 1000 lgebra pg.: 2

Universidad Diego Portales

Facultad de Economa y Empresa

p (x) en el Universo U , al subconjunto A de

Profesores: A. Lizana H. Carreo M. Saintard

Universidad Diego Portales

Facultad de Economa y Empresa

p significa el negocio es bueno, entonces p significa Es falso que el negocio es bueno.

Nombre Disyuncin Conjuncin Condicional Bicondicional Disyuncin Excluyente

Puede leerse p o q, o ambas pyq Si p entonces q p si y slo si q p o q, pero no ambas

Profesores: A. Lizana H. Carreo M. Saintard

Material Docente MET 1000 lgebra pg.: 4

Universidad Diego Portales 2.4. DEFINICIONES. 1. 2. 3.

Facultad de Economa y Empresa

; entonces podemos afirmar

Profesores: A. Lizana H. Carreo M. Saintard

Material Docente MET 1000 lgebra pg.: 5

Universidad Diego Portales 3.0. CUANTIFICADORES. Sea

Facultad de Economa y Empresa

[(x U ) : p( x)] [ p(a)

(x) : p ( x) se lee: "Existe un elemento x de U tal que

[(x U ) : p( x)] [ p(a)

(x U ) : p( x) es un enunciado verdadero si y slo si la extensin de

Anlogamente, la sentencia es igual al universo Nota 1:

es un enunciado verdadero s y slo s la extensin de

; y es falsa si y slo si es distinta del universo

U = {8,9,10 } : Son verdaderas: (x U ) : p( x) y (x U ) : p( x) . U = { 7,8,9 } : (x U ) : p( x) Es falsa y la frase: (x U ) : p( x) es verdadera. Si

(x U ) : p( x) : es una proposicin falsa, y (x U ) : p ( x) : es verdadera. S U = tal que

Podemos dar ahora, con mayor rigor, la definicin de subconjunto en un universo

del modo siguiente:

x { x U : p(x) } p(x) x { x U : p(x) } p(x)

(x) : [ p( x) q( x)] = (x) : p ( x) (x) : q ( x) (x) : [ p( x) q( x)] = (x) : p ( x) (x) : q( x)

Profesores: A. Lizana H. Carreo M. Saintard

Material Docente MET 1000 lgebra pg.: 6

Facultad de Economa y Empresa

p(x) " es equivalente a la proposicin "Existe x de U

p(x) ". Simblicamente: [(x U ) : p ( x)] s y slo si (x U ) : p( x)

De donde se deduce, negando ambas proposiciones y reemplazando

p(x) por q(x) , se obtiene que:

[(x U ) : q ( x)] s y slo si (x U ) : q ( x)

tal que la proposicin

recurriremos cada vez que queramos demostrar que un enunciado es falso.

Ejemplo 3.2. Ejemplo 3.3.

La negacin de "Cada x es cero" es "Existe un x distinto de cero".

Profesores: A. Lizana H. Carreo M. Saintard

Material Docente MET 1000 lgebra pg.: 7

Universidad Diego Portales

Facultad de Economa y Empresa

EJERCICIOS RESUELTOS DE LGICA.

Usando lgica de proposiciones, demuestre que Solucin:

Sabiendo que p ( q r ) es falsa y que ( p q ) es verdadera, determine el valor de verdad de

( p r ) ( r q ) . Desarrollo: Si la proposicin compuesta p ( q r ) , es falsa entonces su antecedente (p ) es verdadera de donde la

p y r son falsas, y la proposicin (r q ) tambin es falsa, pues r y (q) son falsas.

Profesores: A. Lizana H. Carreo M. Saintard