UNIVERSIDAD NACIONAL DE INGENIERA

CEPRE UNI

LOGICA
Y

CONJUNTOS

PROFESOR: JUAN JAVIER VILLALOBOS SOLANO

MARZO
2011

LOGICA
1.

Proposiciones lgicas
Llamaremos proposicin a una expresin, enunciado u oracin a la que se le puede
calificar como verdadera o falsa (sin ambigedades). Las proposiciones lgicas se
denotan generalmente por letras minsculas como: p, q, r,..etc.
Las letras del alfabeto que denotan proposiciones lgicas se denominan variables
proposicionales.
Ejemplos:
p: 3+5=9
q : Lima es la capital del Per
r : 3 < 10
s : Csar Vallejo naci en Pars.
Las expresiones anteriores son proposiciones porque se puede decir de ellas si son
verdaderas o falsas (sin ambigedad).
Nota:
Los enunciados o expresiones,exclamativas,interrogativas,desiderativas o
imperativas como por ejemplo:
a) Viva el Peru!
b) Felicitaciones por su ingreso a la universidad!
c) Qu hora es?
d) Quisiera viajar en mis vacaciones al Cuzco
e) Cierra la puerta!
f) Estudia!
No son proposiciones
2.
Conectivos lgicos
Son palabras que se utilizan para crear proposiciones compuestas a partir de
proposiciones simples. Los conectivos ms usuales son:
Conectivo
Smbolo
Se lee
Conjuncin

..y
Disyuncin dbil

..o
(en el sentido excluyente)
Disyuncin fuerte

oo..
(en el sentido excluyente)
Condicional

sientonces
Bicondicional

.si y slo si.

3. Tablas de valores de verdad
1. Negacin: Se denota mediante el smbolo y se lee no es cierto que o es
falso que.
p
V
F

p
F
V

2. Conjuncin
p
q
p q
V
V
V
V
F
F
F
V
F
F
F
3. Disyuncin dbil
p
q
p q
V
V
V
V
F
V
F
V
V
F
F
F
4. Disyuncin fuerte
p
q
p q
V
V
F
V
F
V
F
V
V
F
F
F
5. Condicional
p
q
p q
V
V
V
V
F
F
F
V
V
F
F
V
6. Bicondicional
p
q
p q
V
V
V
V
F
F
F
V
F
F
F
V
Notas:
1. Referido a la condicional p q
a) La proposicin p se denomina antecedente y la proposicin q consecuente.
b) Es suficiente que el consecuente (q) sea verdadero par a que la condicional
sea verdadera.
c) Si el antecedente (p) es falso, la condicional es verdadera sin importar el
valor de verdad del consecuente (q).
d) El condicional falso cuando el antecedente es verdadero y el consecuente
falso. Es decir, un procedimiento de deduccin es incorrecto cuando a partir
de una informacin verdadera se concluye una falsedad.

2. Asociada a la condicional p q que denominamos directa, se presentan las

siguientes variantes condicionales, obtenidas por permutaciones o negaciones
del antecedente y el consecuente. estas son:
q p : llamad a reciproca o replica de p q
pq : llamada contraria de p q
q p : llamad a contra reciproca de p q
Las cuatro condicionales anteriores son llamadas conjugadas y cualquiera de
ellas se puede considerar como directa.
3. La bicondicional es verdadera, si sus valores de verdad de ambas proposiciones
son iguales, sean estas verdaderas o falsas
4. Proposiciones simples y compuestas
Proposicin simple, es aquella que no contiene ningn conectivo o aquella que
tiene un solo sujeto y un solo predicado.
Proposicin compuesta, es aquella que contiene al menos un conectivo que
une dos o ms proposiciones simples.
Observaciones:
1. En un prrafo las palabras pero, sin embargo, adems, no obstante,
aunque, a la vez , mas an equivalen al conectivo .
Ejemplos:
Denotemos por:
p : Don Jos de San Martn es argentino
q : Don Jos de San Martn proclam la independencia del Per
Luego:
a) Don Jos de San Martn es argentino y proclam la independencia del Per.
pq
b) Don Jos de San Martn es argentino, pero proclam la independencia del
Per. pq
c) Don Jos de San Martn es argentino sin embargo, proclam la
independencia del Per. pq
d) Don Jos de San Martn es argentino, adems proclam la independencia
del Per. pq
2. En un prrafo las palabras porque , puesto que, ya que, siempre que,
cuando, slo cuando, si, cada vez, dado que, son conectivos
condicionales . Se caracterizan porque despus de cada uno de estos trminos
est el antecedente.
Ejemplo: En la proposicin:
Si caen los precios de las acciones, entonces aumenta el desempleo

Denotando por:
p : Caen los precios de las acciones.
q : Aumenta el desempleo.
Y escribiendo simblicamente pq podemos escribir equivalentemente de
las siguientes formas:
a) Aumenta el desempleo porque caen los precios de las acciones.
b) Aumenta el desempleo puesto que caen los precios de las acciones.
3. Si en un prrafo a una proposicin compuesta A se le anteponen las expresiones:
no es verdad que., no es el caso que, es falso que, significa la
negacin de la proposicin compuesta A. Es decir A
Ejemplos:
a) No es verdad que si caen los precios de las acciones, entonces aumenta el
desempleo.
Escribimos simblicamente: (pq), donde como se vio anteriormente:
p : caen los precios de las acciones.
q : Aumenta el desempleo
b) No es el caso que hace frio y est lloviendo
Denotando por:
p : Hace frio
q : Est lloviendo
Escribimos simblicamente (pq)
c) Es falso que hace fro o est lloviendo.
Escribimos simblicamente (pq)
5. Ejemplos de aplicacin
1. De la falsedad de: (pq)( rs) deducir el valor de:
a) (pq) vq
b) (r v q)q(q v r) q
Solucin:
Hallamos el valor de verdad de las proposiciones componentes de acuerdo al
dato del problema.
(p q
) ( rF s )
V
F
V
F F
F

Entonces se tiene que : p(V), q(V), r(F), s(F). Luego:

a)

(
p
q)
q
F
F F
F

F

En consecuencia el valor de verdad de (pq)v q es (F)

( r v q) q ( q v r ) s

V
F
F
V
V
V

V
b)
En consecuencia el valor de verdad de
( r v q) q ( q v r ) s es(F)

2. Si se sabe que las proposiciones p s, p (q v r) y s r, son

verdaderas.
Hallar el valor de verdad de las siguientes proposiciones:
a) (s r) ( p v q)
b) (r v q) ( s v p)
Solucin:
Si ps es (V) , entonces p y s son V.
Como s r es V, entonces por ser s V, r tambin es V; de donde r es F.
Como p(q v r) es V, y ya se sabe que p es V, q v r debe ser V. Pero como r es F
entonces q es V.
As p,q y s son V y r es F. Luego podemos determinar los valores de las
proposiciones pedidas:

(s
p v q)
r ) (

V V

F
a)
El valor de verdad de (sr) (p v q) es F.

(r v q) ( s p)


F
F

V
b)
El valor de verdad de (r v q) (s p) es V.

6. Frmula lgica
Es una adecuada combinacin de variables proposicionales y conectivos lgicos.
Nota:
Es frecuente la confusin ente los conceptos de frmula lgica con proposicin
compuesta. Para aclarar esto, podemos decir entre otras que:
1. A una frmula lgica no se le asigna un valor de verdad, sino, una tabla de
valores de verdad. Mientras que una proposicin compuesta es verdadera o
falsa.
2. Una frmula lgica de acuerdo a su tabla de valores de verdad puede ser:

a) Tautologa, cuando los valores de verdad de su operador principal son todos

verdaderos.
b) Contradiccin, cuando los valores de verdad de su operador principal son
todos falsos.
c) Contingencia, cuando en los valores de verdad de su operador principal
aparece V y F a la vez.
Ejemplo: Hallar la tabla de verdad de las siguientes frmulas lgicas:
a) q p
b) p (r v q)
Solucin:
a)

p
V
V
F
F

q
F
V
F
V

q
V
F
V
F

V
F
V
V

p
F
F
V
V

De acuerdo a su tabla q p es una contingencia. Ntese que

p y p q tienen los mismos valores de verdad.
b)

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p
V
V
V
V
F
F
F
F

V
F
V
V
V
V
V
V

(r
V
F
V
F
V
F
V
F

v
V
F
V
V
V
F
V
V

q)
F
F
V
V
F
F
V
V

7. Condicin necesaria y suficiente

Dadas las proposiciones p y q, fijando la proposicin p. si la condicional
p
q es V diremos que p es condicin suficiente para q y que q es condicin
necesaria para p.
Si la bicondicional p q es V, es decir p q y q p son V tendremos:
De p q verdadero, diremos que p es una condicin suficiente para q.
De q p verdadero, diremos que p es una condicin necesaria para q.

Luego si p q es verdadero diremos que p es condicin necesaria y suficiente

para q. Anlogamente si fijamos q y si p q es V diremos que q es condicin
necesaria y suficiente para p
Ejemplos:
a) p: a es un nmero primo mayor que 2.
q: a es un nmero impar.
Solucin:
Fijando p: a es un nmero primo mayor que 2
p q es verdadero.
Por consiguiente, p es condicin suficiente para q.
Por otra parte q p es falso, luego p no es condicin necesaria para q.
b) p: a2 es un nmero par.
q: a es un nmero par.
Solucin:
Fijando

p: a2 es un nmero par.
p q es falso

Luego p no es condicin suficiente para q.

De otro lado, q p es verdadera, entonces p es condicin necesaria

para q.
c)
Solucin:
Fijando p:

p: a. b = 0
q: a = 0 v b = 0
p q es V luego es condicin suficiente para q.
q p es V luego es condicin necesaria para q.

En consecuencia p es condicin necesaria y suficiente para q.

8. Implicacin y equivalencia
Sean A y B dos frmulas lgicas, diremos que A implica B lo que denotamos
por A B si A B es una tautologa. Asimismo diremos que A es
equivalente a B lo que denotamos por A B si AB es una tautologa.
Es necesario establecer la diferencia entre los conceptos de condicional e
implicacin y de bicondicional y equivalencia. El condicional y el bicondicional
relacionan proposiciones, mientras que la implicacin y la equivalencia
relacionan frmulas lgicas que son tautologas.
Observaciones:

1. La notacin A B se utiliza con frmulas lgicas no con proposiciones.

Por ejemplo no es correcto escribir: (5<2) (2+1=5) se debe escribir (5<2)
(2+1=5)
Es correcto escribir: (pq) (p v q), pues ( p q) (p v q) es una
tautologa.
.

9.
Ejemplo:

Equivalencias lgicas

Diremos que dos frmulas A y B son lgicamente equivalentes si al operarlas

mediante una bicondicional se obtiene una tautologa. En el caso que sean
equivalentes denotaremos A B y en caso contrario escribiremos A B.
(p q ) (qp)
En efecto:
p
V
V
F
F

q
V
F
V
F

(pq)
V
F
V
V

V
V
V
V

(qp)
V
F
V
V

Nota:
Si el nmero de variables proposicionales en ambas frmulas es el mismo, para
decir que son lgicamente equivalentes, ser suficiente con hallar la tabla de
valores de verdad de cada una de dichas frmulas y compararlas. Si son iguales
sern lgicamente equivalentes.
Ejemplo: verificar que p (p v q) p
No es posible aplicar la nota. Luego hay que hacer uso de la definicin para
verificar que son equivalentes.
10. Principales equivalencias lgicas o leyes del lgebra proposicional.
1. Involucin o doble negacin.
(p) p
2. Idempotencia
a) Con respecto a la disyuncin.
(p p) p

b) Con respecto a la conjuncin.

(p p) p
3. Conmutatividad
a) Con respecto a la disyuncin.
(p p) (q p)
b) Con respecto a la conjuncin.
(p p) (q p)
4. Asociatividad
a) Con respecto a la disyuncin.
(p v q) v r ) p v (q v r )
b) Con respecto a la conjuncin.
(p q) r ) p (q r )

5. Distributividad
a) De la conjuncin respecto a la disyuncin
(p v q) v r ) (p r ) (q r )
b) De la disyuncin respecto a la conjuncin.
(p q) r ) (p r ) (q r )
6. Leyes de Morgan
a) (p v q) ( p q)

b) (p q) ( pv q)

7. Leyes de absorcin
a) ( p v (p q) p
c) ( p v ( p q) (p v q)

b) (p (p v q) p
d) (p ( p v q) (p q)

8. Ley de la condicional
(p q) ( p v q)
9. Ley de la condicional contrarrecproca
(p q) ( q p)

10. Ley de la bicondicional.

a) (p q) (p q) (q p)

b) (p q) ( p q) (q p)

c) (p q) ( p q) v (p q)

d) (p q) ( p q) (p q)

11. Ley de la identidad

Si se denota por T = Tautologa y C = Contradiccin entonces se tiene:
a) (p T ) (p q)
c) (p T ) T
12. Ley del complemento
a) (p p) C

b) (p C) C
d) (p C) p

b) (p v p) T

11. Funcin proposicional

Funcin proposicional o tambin llamado enunciado abierto es una expresin que
contienen una o ms variables en su definicin. Es decir, una funcin proposicional
no es una proposicin lgica, se convierte en proposicin, cuando se le asignan
valores particulares a la variables que definen la funcin.
Por ejemplo las expresiones de la forma:
a) 5 + 2x = 9
b) x fue Presidente del Per.
c) X es un nmero primo.
No son proposiciones, pues no es posible afirmar si son verdaderas o falsas, depende
del valor que se le asigne a la variable x.
En
En
En

a)

si x = 2 : 5 + 2 (2) = 9
si x = 3, 5 + 2(3) = 11

(V)
(F)

b)

si x = Ramn Castilla
(V)
si x = Francisco Pizarro
( F)
c) si x = 2 , 2 es un nmero primo
(V)
si x = 10, 10 es un nmero primo (F)

Ejemplos de funciones proposicionales:

p(x): 5 + 2x = 9
q(x) : x fue presidente del Per.
r(x): x es un nmero primo
s(x,y) : x < y
12. Cuantificadores universal y existencial
Si p(x) es una funcin proposicional, donde la variable x pertenece a un conjunto A
dado explcita o implcitamente. Entonces a partir de p(x) se pueden obtener
proposiciones generales, anteponiendo a ella frases denominadas cuantificadores.
Existen dos tipos de cuantificadores:

i) Cuantificador universal
Est definida por la expresin Para todo elemento x de A, se verifica p(x), o,
simplemente Para todo x, se verifica p(x) y se denota mediante:
(x): p (x)
(1)
El smbolo es llamado cuantificador universal. La funcin proposicional a la
cual se le ha antepuesto el cuantificador universal (1) se dice que est cuantificada
universalmente.
Ejemplo :
Para todo x nmero natural x + 1 es mayor que cero
En smbolos
x N : x 1 0
ii) Cuantificador existencial
Est definida por la expresin Existe un x elemento de A, tal que se verifica p(x)
o, simplemente Existe x, tal que se verifica p(x), y se denota mediante:
x / p( x )
El smbolo es llamado cuantificador existencial. La funcin proposicional a la
cual se le ha antepuesto el cuantificador existencial (2), se dice que est cuantificada
existencialmente.
Ejemplo:
Existe x nmero natural, tal que x + 1 es menor que 5
En smbolos:
(x) N / x + 1 < 5
13. Negociacin de funciones proposicionales cuantificadas
i) Negociacin de funciones proposicionales cuantificadas
universalmente
x : p( x ) x / p( x )
ii) Negacin de funciones proposicionales cuantificadas existencialmente
x / p( x ) x : p( x )

CONJUNTOS
INTRODUCCIN
La palabra conjunto es ampliamente utilizada en nuestro lenguaje, as tenemos:

El conjunto de alumnos del aula B102.

El conjunto de nmeros naturales entre 8 y 9.
El conjunto de nmeros que satisfacen la ecuacin x2=x.

La mente humana posee una gran inclinacin en reunir o agrupar, esto se debe a que
nuestra mente trata de buscar orden y patrones. En matemticas esta tendencia a agrupar
se representa con la idea de conjunto.
Las ideas bsicas de la teora de conjuntos fueron desarrolladas hacia 1875 por el
matemtico George Cantor( 1845-1918).
2. NOCIN DE CONJUNTO:
Intuitivamente un conjunto es una coleccin o agrupacin de objetos bien definidos y
diferenciables entre si que se llaman elementos, lo cual nos permite afirmar si un objeto
pertenece o no a dicha agrupacin.

Notacin:
Suelen emplearse letras maysculas para los conjuntos y minsculas para los elementos.
Conjuntos: A,B,C,D,.. A1,A2,A3, etc.
Elementos: a,b,c,d,e,f,.................................... etc.
La pertenencia de un elemento x a un conjunto A se denota mediante: xA
Si el objeto no es elemento de A, escribimos: xA.
3. DETERMINACIN DE UN CONJUNTO:
Consiste en precisar correctamente que elementos forman parte del conjunto puede ser:
Por extensin: Cuando se lista cada uno de los elementos del conjunto.
Ej : A = {1,2,3,4...}

Por comprensin: Cuando los elementos del conjunto pueden expresarse

mediante una propiedad comn o regla de formacin.
Ej: A= {x2-1/xN 1x4}

En matemticas existen algunos conjuntos que son muy caractersticos asi tenemos
a.
El conjunto de los nmeros naturales:
N= 1 ; 2 ; 3 ; 4; .....
b.

El conjunto de los nmeros enteros.

Z = .....;3;2;1; 0 ;1; 2 ; 3 ;...

c.

El conjunto de los nmeros racionales:

m

/ m Z, n Z, n 0
n

d.

El conjunto de los nmeros irracionales:

I = x / x tiene representa cin decimal inf inita no periodica

e.

El conjunto de los nmeros reales

R x / x Q o x I

f.

El conjunto de los nmeros complejos

C x / x a bi, a, b R donde i

5. CONJUNTOS ESPECIALES
UNIVERSAL U : Es un conjunto referencial que contiene a todos los elementos que
se estn considerando en un estudio particular. No existe un conjunto universal absoluto.
El conjunto universal se denota por U.
UNITARIO: Es aquel que posee un solo elemento.
Ejemplos:
A 5 ;

B 7;7;7 ; C 2 ; D

NULO: Es aquel que carece de elementos. Se denota por o .

Observacin: ya que este conjunto , tiene un elemento: el nulo.
6. RELACIONES ENTRE CONJUNTOS.
INCLUSIN: Un conjunto A esta incluido en el conjunto B si y slo si todo elemento
de A es tambin un elemento de B. si A est incluido en B se denota: AB.
A B ( x A x B)

Observacin:
El smbolo , se lee incluido o contenido
Si se tiene AB, tambin se dice que A es un subconjunto de B.
Si AB y adems existe algn elemento de B no perteneciente a A, se dice que
A es subconjunto propio de B
PROPIEDADES DE LA INCLUSIN
Reflexiva : AA
Antisimtrica: AB y BA A = B
Transitiva: AB y BC AC
IGUALDAD: Se dice que los conjuntos A y B son iguales si y slo si AB y BA, es
decir A y B tienen los mismos elementos.
A B (A B B A)

Observacin: De la definicin de igualdad de se deduce que en un conjunto da lo mismo

si se repiten los elementos. As por ejemplo, 1;1;1; 2 ; 2 = 1; 2
CONJUNTOS DISJUNTOS
Dos conjuntos se denominan disjuntos cuando no poseen ningn elemento comn.

Ejemplo:

A x / x es par
B x / x es impar
A y B son conjuntos disjuntos.

Ejercicios:
1. Sea A = 1, 1;1, 1; 1;1;1 , determinar la secuencia correcta, al determinar si la
proposicin es verdadera (V) o falsa(F)
a. A tiene 4 elementos.
b. 1 A
c. 1 A

a) VVF

b) VFV

c) FVV

d) VVV

e) FVF

2. Si A = a, a, , . Cul (es) de los siguientes enunciados son verdaderos.

a. a A a A b. A A
A) Solo I y II

b) Solo I y III

c. a, A a, A

c) Slo I

d) Solo II

E) solo III

3. Sean los conjuntos A = 7;8, 2;3;4 ; 9;10, B 7;8;2;3;4;9;10

Dar el valor de verdad de las siguientes preposiciones:
I.

7;8 A

II. 7;8 A III. 2 2;3;4

4. Dados los conjunto A = B, , y B

las siguientes afirmaciones.
I.

B A

II.

V. 7;8 B

A, , A , Hallar el valor de verdad de

III. A A, B

2
2
2
5. Sea , a, b, c Z 1;1 Si : a b 5;3;4a b 2c 8; a 4
Hallar a+b+c.

7. REPRESENTACIN GEOMTRICA DE UN CONJUNTO

Esta se realiza mediante los diagramas de Venn Euler, que vienen a ser regiones del
plano limitado por una curva cerrada y simple en cuyo interior se indican los elementos
del conjunto.

Nota: Los diagramas de Venn-Euler, no tienen valor demostrativo salvo para refutar con
un contraejemplo.
* Jhon Venn, matemtico ingles 1834 1923 ;Leonard Euler, matemtico suizo 1707
1783.
8. OPERACIONES CON CONJUNTOS
1. UNIN AB
AB = x U / x A x B

2. INTERSECCIN AB
AB = x U / x A x B

Nota: Si su interseccin es vaco, se dice que A y B son disjuntos.

3. COMPLEMENTO DE UN CONJUNTO A (A, AC )
AC = x U / x A

4. DIFERENCIA DE CONJUNTOS A-B

A-B = x U / x A x B

5. DIFERENCIA SIMTRICA AB:

AB x U /( x A x B) ( x B x A

A
CONJUNTO POTENCIA P(A) o 2

Es el conjunto de todos los subconjuntos de A, incluyendo el conjunto vaco

P ( A) X / X A
Nota : M P( A) M A

Propiedades

1) P ( )
2) P ( A) P ( B ) P ( A B )

3) P ( A B ) P ( A) P ( B )
Ejercicios:
1. Dados 3 conjuntos A, B y C donde los dos ltimos son disjuntos, se establecen las
siguientes operaciones.

AB = 1; 0 ;1; 2 ; 4 ; 6
AC = 1; 0 ;1; 2 ; 3 ; 7 ; 8
BC = 2; 1; 2; 3; 5; 7; 8;9
( A B C ) C 2 ; 5 ; 9
AC = 2

Hallar : (AB) (BC)

2. Dados los conjuntos: A = 1;2; 1;2;3, B 2;1;1;3;3
Halle el conjunto : ( A / B) B ( B / A)
A) 1;1;3

B)

1;3

C) 1 ; 3

D)

1;3;3

E)

1;2

3. (CEPRE-UNI 2 PC 2004-1) Si A,B y C son tres conjuntos cuyos diagramas se

muestran en la figura adjunta:

Entonces, la regin sombreada se puede representar por:

A) (C ( A B) ( A B)
B) (( A B) C) ( A B C)
C) ( A C) B
D) C ( A B) C)
E) ( A B) C) (C ( A B)
4. De las siguientes alternativas, determine cul de ellas corresponde a la
regin sombreada.

6. Si A, B y C, son subconjuntos del conjunto universal U, segn la figura Cules

son las zonas que representa a: (AB)/ CA)?

A) 2

B) 5

C) 2,5

D) 2,3,5

E) 2,3,

9. LEYES DEL LGEBRA DE CONJUNTOS

UNIN
AA = A
AB=BA
A(BC)=(AB) C=ABC
A=A
AU=U
AAc=U
LEYES DE DE MORGAN
1. (AB)c = AcBc
2. (AB)c = AcBc
1.
2.
3.
4.
5.
6.

LEYES DISTRIBUITIVAS
1. A(BC)=(AB)(AC)
LEYES COMPLEMENTARIAS
1. (Ac)c = A
2. Uc =
3. c = U
4. A-B=ABc
5. AB=BA

1.
2.
3.
4.
5.
6.
1.
2.
3.
4.

INTERSECCIN
AA=A
AB=BA
A(BC)=(AB) C=ABC
A=
AU=A
AAc=
LEYES DE ABSORCIN
A(AB)=A
A(AB)=A
A(AcB)=AB
A(AcB)=AB

2. A(BC)=(AB) (AC)
6. AB=(AB)-(AB)=(A-B) (BA)
7. AB=(ABc) (AcB)
8. AB=(AB) (AB) C
9. AB=(AB)-(AB)=(A-B) (BA)
10. (AB)C=(AC)(BC)

Ejercicios:
1. Si A,B y C son conjuntos tales que ABC, simplificar:
(AC) (B-C) (ABC) (B-A)
2. Si A,B y D son conjuntos contenidos en el universo U, entonces al simplificar la
siguiente operacin:
c
c c
(ABc) Bc A ( A D ) A , se obtiene:
c

A) Ac

B) Bc

C) DC

E)

D) U

3. Si AB y AD= , entonces al simplificar la siguiente operacin:

c
c c
(ADc) Bc A ( A D ) A , se obtiene:
c

R:A

A) B

C) DC

B) D

D) Ac

E) A-B

R:A

4. Si A*B= (AB)/Ac, indique cul(es) de los siguientes son verdaderos.

I. A * B = B * A
II. A* (BC)=(A*B) (A*C)
III. A (B* C) = (A B) * (A C)
A) Solo I

B) Solo II

C) Solo III

10.
Es

el

D) Solo I y II

E) Solo II y III

NMERO
CARDINAL
DE
UN
CONJUNTO FINITO:
nmero de elementos de un conjunto finito A
NOTACIN : n(A)
Propiedades:

1. Sea A y B dos conjuntos finitos.

2. Sean A, B y C conjuntos finitos

n( A B C ) n( A) n( B ) n(C ) n( A B ) n( A C ) n( B C ) n( A B C )

Observacin: n () = 0