Documente Academic
Documente Profesional
Documente Cultură
MDULO DE MATEMTICA I
EDUCACIN
PRIMARIA EIB
EDUCACIN INICIAL
EIB
2017
CICLO I
LOGICA PROPOSICIONAL
INTRODUCCIN
La lgica estudia los procesos validos del razonamiento humano. Es una disciplina que se utiliza
para determinar si un argumento es vlido, tiene aplicacin en todos los campos del saber; como
en la filosofa, para determinar si un razonamiento es vlido o no, ya que una frase puede tener
diferentes interpretaciones; sin embargo la lgica permite saber el significado correcto. Los
matemticos usan la lgica, para demostrar teoremas e inferir resultados que puedan ser
aplicados en investigaciones. En la computacin, para revisar programas y crear sus algoritmos,
es utilizada en el diseo de computadoras. Existen circuitos integrados que realizan operaciones
lgicas con los bits, gracias a estos se ha desarrollado las telecomunicaciones (telefona mvil,
internet,...)
Existen dos tipos de razonamiento: Inductivo y Deductivo.
Razonamiento Inductivo es el razonamiento por el cual una persona en base a sus experiencias
especificas, decide aceptar como valida un principio general.
Razonamiento Deductivo es, en cambio, el medio segn el cual dicha persona utiliza el principio
general aceptado previamente para decidir sobre la validez de una idea, que a su vez habr de
determinar el curso de su accin.
Lo que veremos es la lgica proposicional, a travs del uso y manejo de una simbologa
adecuada.
Ejemplos:
Tpac Amaru muri decapitado.
* 9 < 10
* 45 = 3 2
x2+y2 4
El perro es un pez
Ejemplos:
Cmo te llamas?
Prohibido pasar
Borra la pizarra
Qu hora es?
Viva el Per!
Por favor mtame con pasin
Ejemplo:
Si en la proposicin: "cinco es mayor que tres" (en smbolos: 5 > 3) reemplazamos al nmero
5 por la letra x, se obtiene la expresin "x es mayor que tres" (x > 3), y si convenimos que x
no represente necesariamente al nmero 5, sino a un nmero cualquiera, entonces al
enunciado x > 3 se le denomina enunciado abierto.
Ejemplo:
Si :
P(x) : x 6
Se cumple que:
P(9) : 9 6 Es verdadero
P(2) : 2 6 Es falso
El valor de verdad de P(x) depende del valor de x, tambin, se le conoce como funcin
proposicional.
PROPOSICIONES LOGICAS
Es todo enunciado abierto que puede ser calificado como verdadero o falso, sin ambigedad. Las
proposiciones lgicas estn representadas por letras minsculas: p, q, r, t, etc.
A la veracidad o falsedad de una proposicin se le llama valor de verdad.
Ejemplos:
p: Huaraz es la capital de Ancash .Verdadero ( V )
q: 120+400=20 .. Falso (F )
VALOR DE VERDAD.- Son dos valores posibles: Verdadero o Falso, y pueden esquematizarse
en una tabla en la forma:
p
V
F
CLASES DE PROPOSICIONES:
Ejemplo:
* 29 es un nmero primo y 5 es impar.
* Samuel es artista plstico o msico
* Hoy llueve y ayer hizo sol
* Juan no es deportista
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1. Vincent Van Gogh es un pintor. (Simple)
2. Sen 30 no es un nmero mayor que 1. (Compuesta)
3. El 14 y el 7 son factores del 42. (Simple)
4. El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)
5. El 2 o el 3 son divisores de 48. (Simple)
6. El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
7. Si x es nmero primo, entonces x impar. (Compuesta)
8. Si x > 10, entonces 2x - 3 > 16. (Compuesta)
9. No todos los nmeros primos son impares. (Compuesta)
Algunas aclaraciones
a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo, operativamente
se consideran distintos. Similarmente 5) y 6).
b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.
CONECTIVOS LGICOS.- Son smbolos que enlazan dos o ms proposiciones simples para
formar una proposicin compuesta.
Los conectores lgicos que usaremos son:
OBS: La negacin es un conector mondico ("no", "no es cierto que...") , afecta solamente
a una proposicin.
La validez de una proposicin compuesta depende de los valores de verdad de las proposiciones
simples que la componen y se determina mediante una tabla de verdad.
Tabla de Verdad
p q p q
V V V
V F F
F V F
F F F
Ejemplo:
Si p: 14+5>15 y q: 8 es nmero par. Calcular el valor de verdad de p q
Solucin
p q pq
V V V
Simblicamente se representa:
Ejemplo:
Jessica est con Lemus o est con Argelia
Tabla de Verdad
p q p q
V V V
V F V
F V V
F F F
Ejemplo:
Calcular el valor de verdad de p q. Si p: 5 >15 ; q: 8 es menor que 1.
Solucin
p q pq
F F F
Se presenta cuando slo uno de sus miembros puede ser aceptado, el otro invalidado.
Simblicamente se presenta:
Tabla de Verdad
p q p q
V V F
V F V
F V V
F F F
Ejemplo:
Sea p: k es par y q: k es impar. Calcular el valor de verdad de p q.
Solucin
p q pq
V F V
F V V
Ejemplo:
Nac en Huaraz o nac en Lima
Simblicamente se representa:
Ejemplo:
Cinthya est enfadada entonces Argelia llego tarde.
Tabla de Verdad
p q p q
V V V
V F F
F V V
F F V
F
Ejemplo:
Sea p: Alan Garca es presidente del Per ; q: 9 < 1. Hallar el valor de verdad de pq
Solucin
p q pq
V F F
Tabla de Verdad
p q p q
V V V
V F F
F V F
F F V
Ejemplo:
6. Negacin: Afecta a una sola proposicin. Es un operador mondico que cambia el valor de
verdad de una proposicin.
Libre: Cuando afecta a proposiciones compuestas. (Es falso que, no es cierto que, es
imposible que)
Ejemplo: No es cierto que juegues y bailes: (p q)
Ejemplo:
Leonardo no gan la competencia.
Debido a que una proposicin debe ser siempre afirmativa, "no" dentro de la oracin es
incorrecto. Para hacer que una proposicin sea negativa se realiza lo siguiente:
1. Se escribe la proposicin de manera afirmativa.
2. Se antepone el smbolo: ; ; no.
Ejemplo:
Paris no est en Francia.
a). Se escribe la proposicin de manera afirmativa: Paris est en Francia.
b). Se simboliza la proposicin: G= Pars est en Francia.
c). Se niega la proposicin: G.
Por lo que se concluye: G= Pars no est en Francia.
Tabla de Verdad
p ~ p
V F
F V
# filas = 2 n
IMPORTANTE:
* Cuando los valores del operador principal son todos verdaderos se dice que el esquema
molecular es TAUTOLGICO.
* Si los valores del operador principal tiene por lo menos una verdad y una falsedad se dice
que es CONTINGENCIA O CONSISTENTE.
EJERCICIOS PROPUESTOS
a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.
10. Si la proposicin:
(p q) (q r)
14. Sean p, q y r del ejercicio 13. Traducir las siguientes proposiciones simblicas a oraciones en
espaol:
INVOLUCIN O
(p) p
DOBLE NEGACION
IDEMPOTENCIA pp p pp p
LEYES DE De
(pq) pq (pq) pq
MORGAN
LEY
pq(pq)(qp) pq(pq)(pq)
BICONDICIONAL
EQUIVALENCIA
NATURAL O pq(pq)(qp)
MATERIAL
Estas leyes son muy importantes para poder simplificar algunos problemas, puesto que es vlido
para reemplazar a una proposicin por su equivalente sin alterar el resultado.
PROBLEMAS
1. Simplificar la siguiente expresin, aplicando las leyes lgicas: (pq)qp
Solucin
(pq)qp .Ley condicional
[(pq)q]p Ley de De Morgan
[(pq)q]p ...Asociatividad
[(pq)][ pq] Ley de tercio excluido
pq
2. Simplificar: A=[(qp)p](qp)
Solucin
A[(qp)p](qp).Ley condicional
A[(qp)p](qp).Ley condicional
A[(qp)p](qp).Doble negacin
A[(qp)p](qp)...DMorgan
A[(qp)p](pq)...Conmutativa
A{[(qp)p]p}q..Asociativa
Apq.Ley de Absorcin
Apq..Condicional
3. Simplificar: M=(pr){[(pq)(qr)](rp)}
Solucin
M=(pr){[(pq)(qr)](rp)}.Condicional
M=(pr){[(pq)(qr)](rp)}....Condicional
M=(pr){ (pq)(qr)(rp)}........DMorgan
M=(pr){ (pq)(qr)(rp)}.........DMorgan
M=(pr){ [(pq) p][(qr) r]}....Asociativa
M=(pr){ p r}.Absorcin
M=(pr){ r p }..Conmutativa
M=(pr){ r p }...Condicional
M=pr Equivalencia natural
PROBLEMAS
1. Simplificar D={([pq][(rs)(pq)])(pq)}q
2. Simplificar la siguiente expresin, aplicando las leyes lgicas: (pq)qp
3. Simplificar la siguiente expresin: (pq)(pq)
p (qr) (pq) r (p v qr q (p r)
CIRCUITOS LOGICOS
Es la que permite el paso de corriente elctrica o la interrupcin. Para estos casos se dice que es
circuito cerrado cuando hay paso de corriente y cuando hay interrupcin ser falso a esta se
denomina circuito abierto.
Cuando los dos interruptores p y q estn cerradas, esta admite corriente elctrica, en
cualquier otro caso no hay corriente; es decir esta situacin corresponde a la tabla de verdad
de la Conjuncin p q.
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
En la tabla de verdad se observa que basta que uno de los interruptores est abierto 0 para
que no circule la corriente en todo el circuito.
Se observa en el circuito para que circule corriente es suficiente que alguno de los
interruptores o ambos p o q est cerrado 1 y no hay paso de corriente si ambos
interruptores estn abiertos (ambos con el valor 0).
Este circuito corresponde a la tabla de verdad de la Disyuncin p q.
p q pq
1 1 1
1 0 1
0 1 1
0 0 0
Ejemplo:
Ejemplos:
1) Construir el circuito lgico de las funciones Booleanas.
a) p q
Solucin
pqpq ( paralelo)
b) (p q ) r
Solucin
Solucin
p ( r q ) q r )
LGICA CUANTIFICACIONAL
FUNCION PROPOSICIONAL
A todo enunciado abierto de la forma P(x) se denomina funcin proposicional la cual tiene la
propiedad de convertirse en una proposicin al ser sustituido la variable x por una constante
a especifica, al conjunto de todos los valores convenidos para la variable x se denomina
dominio de la variable.
La funcin proposicional sobre D es toda expresin P(x) donde P(a) es verdadero o falso para
todo a D.
Ejemplo: P(x)=x+1<9, si x pertenece al conjunto de los enteros, entonces P(x) es una
funcin proposicional cuyo dominio es los enteros.
Solucin
Si: x= -2 Z, -2+1< 9 es verdadero
x=10 Z, 10+1< 9 es falso
Por lo tanto P(x) es una funcin proposicional.
CUANTIFICADOR EXISTENCIAL
Ejemplo
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos
los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemento
y de B que no pertenece a A:
Ejemplo
Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los
elementos y de B pertenecen a A, siendo esto una garanta suficiente para que dos conjuntos
cualesquiera puedan ser diferentes:
Es decir, que no para todo elemento y de B tenemos que o implica que y tambin pertenezca a A.
Que podramos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Segn el ejemplo anterior:
Para todo x que pertenece a A implica que x pertenece a B, que podemos expresar:
Ejemplo:
Expresar todos los gatos tienen cola en calculo de predicados.
Solucin
Hallar primero el mbito del cuantificador Universal, que es:
Si x es un gato, entonces x tiene cola
Gx x es un gato
Cx x tiene cola
Por tanto: (x) Gx Cx
PROPOSICION LA NEGACIN
x: P(x) [x:P(x)]x: P(x)
Ejemplo: La afirmacin "todos los nmeros primos son impares" es falso porque, "existe un
nmero primo que no es impar". A dicho nmero, el dos, se le llama un contraejemplo.
EJEMPLOS APLICATIVOS
Solamente todas las personas de la ciudad de Huaraz dicen que existen los Ichic kollcos
Solucin
Del enunciado anterior vamos a sacar dos predicados:
P(x): x es de la ciudad de Huaraz.
D(x): x dice que existen los Ichic kollcos.
Esto se puede traducir: x: P(x) D(x)
*Para toda persona, si es de la ciudad de Huaraz, entonces dice que existen los Ichic kollcos.
Para todo x, si no P(x) no D(x)
*Para toda persona, si no es de Huaraz, entonces no dice que existen los Ichic kollcos.
Leer las siguientes proposiciones cuantificadas. Luego, explicar el significado de cada una y dar su
valor de verdad.
a. Todas las plantas son medicinales
Significa que no hay plantas que no sean medicinales. Esta expresin es una proposicin en la
cual se utiliza el cuantificador universal y su valor de verdad es falso.
b. Algunos nmeros son pares.
Significa que hay otros nmeros que no son pares. Esta es una proposicin en la cual se utiliza
el cuantificador existencial y su valor de verdad es verdadero.
c. Slo en la tierra hay vida.
Significa que no existe otro planeta en el cual haya vida. Esta expresin es una proposicin en la
cual se usa el cuantificador existencial y su valor de verdad es verdadero.
d. Uno de los mamferos es la vaca.
Significa que hay otros mamferos. Esta es una proposicin con cuantificador existencial y su
valor de verdad es verdadero.
e. Unos peces viven en el agua.
Significa que hay otros peces que no viven en el agua. En esta proposicin se utiliza el
cuantificador existencial y su valor de verdad es falso.
f. Ningn estudiante tiene ms de 18 aos.
Significa que todos los estudiantes tienen menos de 18 aos. Esta es una proposicin en la cual
se utiliza el cuantificador universal y su valor de verdad es falso.
PROBLEMAS PROPUESTOS
Nada se mueve.
No todo es perecedero.
Nada es perecedero.
Algunos nmeros negativos no son enteros.
Algunos gobiernos no respetan la libertad.
4) Determinar los circuitos lgicos que representan a los siguientes esquemas moleculares:
a) (p)(pq)
b) p (q p)
c) [{rq)p}r]q
d) [(pq)p][(pq)p]
e) (pq)[(pq)(pq)]
a)
b)
c)
TEORIA DE CONJUNTOS
Tiene un concepto primitivo, se acepta sin definicin. Pero por su importancia en todas las ramas
de la matemtica aceptamos la siguiente definicin: Es toda agrupacin, coleccin o reunin de
objetos de cualquier especie siempre que exista un criterio preciso que nos permita que un objeto
pertenece o no a dicha agrupacin. Los objetos que pertenecen a un conjunto se llaman
elementos.
Notacin: Se representan con letras maysculas: A, B, C,; y a los elementos con letras
minsculas: a, b, c,
RELACION DE PERTENENCIA ()
Es un smbolo que relaciona a los elementos de un conjunto con el mismo conjunto.
Notacin: x A se lee: x pertenece al conjunto A
La negacin de: x A es x A y se lee: x no pertenece al conjunto A
Si la proposicin x A es VERDADERA, entonces la proposicin x A es FALSA o
viceversa.
OBSERVACIONES
Sea M el conjunto formado por las letras: a; b; c; d; e. del mismo modo podemos escribir:
aM; bM; cM; dM; eM; fM.
Representacin: = {; ; ; ; }
Sea M el conjunto formado por las menciones artsticas: pintura, msica, escultura, cermica.
Del mismo modo podemos escribir: pinturaM; msicaM; esculturaM; cermicaM;
DerechoM; ContabilidadM.
Representacin: : = {, , , }
Ejemplo: sean los conjuntos: = { / 2 4 = 0} ; = { / +1 = 1}
DIAGRAMA DE VENN EULER (John Venn, matemtico y filsofo britnico)
Para facilitar la resolucin de problemas se usa los diagramas de VENN, estos pueden ser curvas,
cerradas, etc.
DETERMINACION DE CONJUNTOS
Un conjunto est bien determinado, cuando se conoce con exactitud qu elementos pertenecen o
no al conjunto.
Un conjunto puede determinarse de dos formas: por extensin y por comprensin.
POR EXTENSIN: Un conjunto se designa por extensin, cuando es posible indicar
explcitamente sus elementos de dicho conjunto, sealndolo uno a
continuacin del otro.
Ejemplo: = {0,1,2,3,4,5,6,7,8,9} se lee: M es el conjunto formado por los nmeros
consecutivos: 0,1,2,3,4,5,6,7,8,9.
POR COMPRENSION: Un conjunto se designa por comprensin, cuando los elementos del
conjunto pueden expresarse mediante una propiedad caracterstica nica
y comn a ellos.
Ejemplo: = { /0 < < 12} se lee: N es el conjunto de las x pertenecientes a los
nmeros enteros, tales que, los x sean mayores que 0 y menores que 12.
CONJUNTOS NUMRICOS
En matemtica los conjuntos numricos caractersticos que se estudian son: , , , , .
a) CONJUNTO DE LOS NUMEROS NATURALES ()
Los nmeros naturales expresan valores referentes a cosas enteras, no partidas, los nmeros
naturales van de uno en uno desde el 0, no admiten la particin de las unidades, y solamente
expresan valores positivos.
N= {0, 1, 2, 3, 4, 5, 6,... ... ..., n,..}
Nota: algunos autores consideran los nmeros naturales a partir del 1 y no del cero.
b) CONJUNTO DE LOS NUMEROS ENTEROS ()
En ciertas ocasiones necesitamos expresar valores que estn antes o por debajo del valor que
consideramos punto de partida o valor cero.
Ha sido necesario ampliar el conjunto de los nmeros incluyendo tambin los negativos, para
ello aadimos al nmero natural un signo + o - .
De esta manera han surgido los nmeros enteros, que expresan valores que van de uno en
uno, pero permiten expresar valores positivos y tambin valores negativos.
Z={... ... ... -7, -6, -5, -4, -3, -2, -1, 0, +1, +2, +3, +4, +5, +6, ... ... ...}
c) CONJUNTO DE LOS NUMEROS RACIONALES ()
Es un nmero de la forma a/b en donde b es diferente de 0 y se encuentran ubicados dentro
de los nmeros reales.
= { / , 0}
d) CONJUNTO DE LOS NUMEROS IRRACIONALES ()
Son aquellos que se escriben mediante una expresin decimal con infinitas cifras y no
peridicas. Dicho conjunto lo denotamos por "I"
= {/ }
e) CONJUNTO DE LOS NUMEROS REALES ()
Por nmero real llamaremos a un nmero que puede ser racional o irracional, por
consiguiente, el conjunto de los nmeros reales es la unin del conjunto de nmeros
racionales y el conjunto de nmeros irracionales.
El conjunto de los nmeros reales es el conjunto de todos los nmeros que corresponden a los
puntos de la recta:
CONJUNTO FINITO
Es el conjunto que est formado por un nmero limitado de elementos.
Ejemplos: = {/ }; = { /5 12}; etc.
CONJUNTO INFINITO
Es el conjunto que est formado por un nmero infinito de elementos.
Ejemplos: = { / }; = {/ }; etc.
RELACIONES ENTRE CONJUNTOS
a) INCLUSION DE CONJUNTOS (SUBCONJUNTOS).- Se dice que el conjunto A es un
subconjunto B, o que A esta contenido en B o que A es parte de B, si todos los elementos de
A pertenece al conjunto B. La relacin se da de Conjunto a Conjunto.
Notacin:
Se lee: A esta incluido en B
A esta contenido en B
A es parte de B
Definicin Simblica: { ; }
Ejemplo: Sean los conjuntos: A={2,4,6,8}; B={2,4,6,8,10,12}; M={a,b,c,d,e};
N={b,c,d,m,n}, podemos afirmar que:
i) , porque todos los elementos de A est en B.
ii) , porque algunos elementos de M no estn en N.
REPRESENTACION GRAFICA:
CONJUNTOS ESPECIALES
1. CONJUNTO VACIO.- Es el conjunto que no tiene elementos y se representa simblicamente
por: (phi), se define por: ={x/x x} se lee: para cualquier numero x tal que, x es
diferente de x, no se satisface para algn elemento.
Ejemplo: Sea C={x / 8<x<9}, es un conjunto vacio, porque no existe un nmero natural
que sea mayor que 8 y menor que 9, luego C=
2. CONJUNTO UNIVERSAL (U).-Es el conjunto tomado como base o conjunto fijo, para la
determinacin de otros conjuntos y se denota por U.
Tambin se denomina conjunto referencial para el estudio de una situacin particular, que
contiene a todos los conjuntos considerados. No existe un conjunto universal absoluto.
Ejemplo: U={x/x es una fruta} , A={x/x es una pera}
Grficamente se representa:
EJERCICIOS PROPUESTOS
1. Determinar por extensin los siguientes conjuntos:
a) A={x/ x3 5<x<7}
b) F={x/ x2>0 x2<0}
c) B={x/6x2-5x+1=0}
d) R={x/ 2x3-7x2+7x-2=0}
e) M={x/x5+3x4-7x3-21x2+12x+36=0}
2. Hallar el conjunto solucin del siguiente conjunto:
A={x/64x3+24x2-6x-1=0}
3. Determinar los elementos de cada conjunto:
a) A={Nmeros naturales x que satisfacen x2=16}
b) C={xN/ 2x+3=15}
c) D={xQ/ (2x-1)(x-2)=0}
d) E={xN/5<x<12}
e) F={xZ/x2-2x-3=0}
4. Determinar por comprensin el siguiente conjunto:
a) G={2,4,6,8,10,}
b) R={2,3,6,11,18,}
c) S={-1,1,2}
d) P={bonito, pejerrey, jurel, caballa, anchoveta, }
5. Si A={2,3,5,7}, diga cul de las siguientes afirmaciones son verdaderas o falsas.
a) 5A
b) 3A
c) {7}A
d) {3,5}A
6. Dados los siguientes conjuntos: A={7x+2/xZ}, B={7x-26/xB}, C={4x+1/xZ} y
D={2x+1/xZ}, analizar y justificar debidamente su conclusin en los siguientes casos.
a) A=B
b) C=D
7. Cuantos de los siguientes conjuntos son vacas:
a) A={xU/xU}
b) B={xZ/x3=3}
1
c) C={xR/ R}
d) D={xN/x2+1=0}
e) E={xQ/x2-x=2}
a) F={ x/x es un entero par y x2=9}
8. Dado A y B determinar si A=B en los siguientes ejercicios:
a) A={-2,0,2} y B={xZ/x3-4x=0}
b) A={xZ+/1x6} y B={1,2,13,4,5,6}
9. Si: A, B y C son conjuntos tal que ABC. Cul es la relacin entre A-C y C-A?
10. Si: A={1,2,3,4,5}, B={2,3,4}, C={2,4}, Cul de las siguientes proposiciones son
verdaderas?
a) AB
b) AD
c) CA
d) BA
e) BC
f) DB
g) AA
h) BC
i) DA
11. Sea U={1,2,3,4,5,9} el conjunto universal, si A={x2/xU}, hallar A y A por extensin.
+1 2 1
12. Sea: = { / / 0 < < 4} y = { / , 2 3}, determinar cul de
2 2
las relaciones se cumplen AB, BA, A=B.
13. Si: A={4,{5},{4,5},6}. Cuntas proposiciones son verdaderas?
* 4A * {5}A *5A *7A
*{4}A *{{5}}A *{{4,5}A *{{5},6}A
*{6}A *A
k) Si: AB y CD (AC)(BD)
III. DIFERENCIA.- Es aquel conjunto cuyos elementos pertenecen a A pero no al conjunto
B.
Notacin: A B
Se lee: A pero no B; solo A
Simblicamente se define: = {/ }
Grafica:
OBSERVACIONES:
Si: BA B A =
Si: A y B son conjuntos disjuntos A-B=A; B-A=B
IV. DIFERENCIA SIMETRICA.- La diferencia simtrica de dos conjuntos A y B es el conjunto
formado por los elementos que pertenecen a A o B pero no a ambos.
Notacin: A B
Simblicamente se define: = {/ ( ) ( }
= {/( ) }
Tambin: = ( ) ( )
Grafica:
OBSERVACIONES:
Si: BA B A = A B
Si: A y B son conjuntos disjuntos A B= A B
PROPIEDADES
a) A B=(A-B)(B-A)
b) A B=(AB)-(AB)
c) A A=
d) A =A
V. COMPLEMENTO.- El complemento de A, es el conjunto formado por los elementos que
pertenecen al conjunto universal U pero no a A.
Notacin: A; A; Ac; CA.
Simblicamente se define: = {/ }= U-A
Grafica:
PROBLEMAS PROPUESTOS
7) De 30 personas que viajan rumbo a Europa, 16 dijeron que visitaran Francia, 16 Inglaterra
y 11 Suiza, 5 de los encuestados visitaron Francia y Suiza, y 3 de ellos visitaran tambin
Inglaterra, 5 solo van a Suiza y 8 slo a Inglaterra. Cuntos visitaron solo Francia?
a)3 b)5 c)7 d)9 e)4
14) En la edicin de un libro hay 120 ejemplares con fallas en el papel, fallas en la impresin y fallas en la
encuadernacin. Si se sabe que 68 libros tienen la primera falla, 32 tienen la segunda falla, 40 tienen
solo la primera falla, 5 tienen la primera y segunda falla somanete, 17 tienen la segunda y tercera falla
pero no la primera y 4 ejemplares tienen las tres fallas.
A) Cuntos libros tienen solo la tercer falla?
B) Cuntos libros tienen la tercera falla por lo menos?
a)24 y 64 b)31 y 49 c)36 y 69 d)29 y 69 e)N.A.
a) (A B) C
b) (A B) C
c) A (B C)
d) (A B) (A B C)
e) N.A.
Representa la operacin:
a) (A - B) (C B)
b) (B - A) (C B)-(CD)
c) A y B son correctas
d) (B A) (C - D) (D C)
e) B y D son correctas
18) De 40 alumnos de una seccin, 15 aprobaron fsica, 6 probaron fsica y qumica. Cuntos
alumnos desaprobaron los dos cursos mencionados, si los que aprobaron qumica fueron 7?
a)18 b)15 c)12 d)10 e)6
22) Del grfico: Cul de las siguientes relaciones expresa mejor la siguiente regin sombreada
achurada?
a) (A - B) {A B} b) (A B) C c) {(A - C) (B - C)}
C
d) {(A B) C } {C (A B)} e) N. A
a) (A B) C
b) (A C) B
c) (A B) C
d) (A C) {B (A C)}
e) N.A.