Capitulo 1 y 2

Portafolio de Matemtica Discreta
Captulo I
Conjuntos
Generalidades.
Todos tenemos la idea de lo que es un conjunto: es una coleccin, agrupacin,
asociacin, reunin, unin de integrantes homogneos o heterogneos, de
posibilidades reales o abstractas. Los integrantes pueden ser nmeros, letras,
das de la semana, alumnos, pases, astros, continentes, etc. a estos
integrantes en general, se les denomina "elementos del conjunto".
Concepto.
Conjunto es una coleccin de objetos bien definidos. Estos objetos se llaman
elementos del conjunto.
Elementos.
Elemento es cada uno de los objetos por los cuales est conformado un
conjunto.
Notacin:
Los conjuntos son denotados por letras maysculas A, B, C,
Los elementos del conjunto se denotan con letras minsculas a, b, c,
Ejemplo:
A={
B={
C = { a, b, c, d }
Clases de Conjuntos.
La clasificacin de los conjuntos est fundamentada en el anlisis de sus
elementos o miembros, por ejemplo si no tiene miembros, el conjunto es vaco,
si sus miembros son innumerables infinito, etc.
Conjunto Universal o Referencial:

Se llama as al conjunto conformado por los miembros o elementos de todos
los elementos que hacen parte de la caracterizacin.
Ejemplo:
Dado:
A = {1, 3, 5, 7}
B = {2, 3, 4}
C = { 6, 7, 8, 9}

El conjunto universal o referencial es:
U ={1, 2, 3, 4, 5, 6, 7, 8, 9}
Conjunto Vaco:
Se trata del conjunto que no tiene elementos, o que estos son inexistentes.
Se representa por, { }, .
Ejemplo:
T = {x/x es un estudiante Universitario de 5 aos de edad}
El conjunto T tiene por elementos los x tales que x es un estudiante
Universitario de 5 aos de edad; es igual al conjunto vaco; de modo que no
existen en la Universidad estudiantes de 5 aos de edad , por lo tanto el
conjunto T es un conjunto vaco y se representa por:
T=
T=()
= {Estudiante Universitario de 5 aos de edad}
= {ao de 15 meses}
= {abuela de 10 aos de edad}
= {pas pia}
= {da de 28 horas}
Conjuntos Finitos e Infinitos.

Finitos:
Cuando los miembros o elementos del conjunto se pueden contar o enumerar.
Ejemplo:
El conjunto de las letras del alfabeto es un conjunto finito que expresado por
comprensin es:
A = {x/x son las letras del alfabeto castellano}
Infinitos:

Cuando los elementos o miembros no se pueden enumerar o contar, se
considera como conjunto infinito.
Ejemplo:
Un conjunto infinito son las estrellas del cielo. Los conjuntos infinitos siempre
debern determinarse por comprensin; para el ejemplo:
B = {x/x son las estrellas del universo}
Conjuntos Unitario.
Es el conjunto que tiene un solo miembro o elemento.

Ejemplo:
C = {luna}
Subconjunto
A
Un conjunto
formado por algunos de los elementos de otro conjunto
es un subconjunto de este ltimo:
Sean
elemento de
dos conjuntos tal que cada elemento de
es tambin
B . Entonces se dice que:
A es un subconjunto de
B
B , y se denota
es un superconjunto de
A B
A , y se denota
Otras maneras de decirlo son "A est incluido en
B A
B ", " B
incluye a
A ",
etc.
Ejemplo:
El "conjunto de todos los hombres" es un subconjunto del "conjunto de todas
las personas".
{1, 3 } {1, 2,3, 4 }
{ 2, 4, 6, } {1, 2,3, .. }=N ( { Nmeros pares } { Nmeros naturales } )
Determinacin o notacin de conjunto

Es cuando un conjunto se puede escribir en 3 formas diferentes con un mismo
significado.
1.-Por tabulacin.- Cuando escribimos uno a uno los elementos del
conjunto.
A= { a , e , i, o , u }
B={ 1,2,3,4,5 .. }
C={ tigre ,leon , oso }
2.-Por comprensin.- Cuando nombramos los elementos en una forma
general.
A= { Las vocales }
B={ Los numeros naturales }
C={ Animales salvajes }
3.-Por frmula.- Cuando escribimos signos matemticos para comprender
el significado del conjunto.
Igual
No es igual
Mayor
Mayor1 o igual
que
Menor
Menor o igual
que
Pertenece
No pertenece
4.-Pertenencia.- Cundo es un elemento miembro de un conjunto. Si a es

un miembro de B , se denota por a B , y si no lo es, se denota
por
aB .
Ejemplo:
Respecto a los conjuntos A, B y F de la seccin anterior, podemos decir:
4 A , 36 F , verde B , pero

7 A , 8 F ,azul B
Y se dice entonces que 4 pertenece al conjunto

, 4 est en A
o A
A , 4 es un miembro de
contiene 4.
5.- Igualdad.- La igualdad de conjuntos en matemticas; dados

dos conjuntos cualesquiera A y B diremos que
( A=B)( A=B)
son iguales
( A B)(B A )
(x B x A )
( x A x B)
( x A )<( x B)
Ejemplo:
Sea
C={1, 3,6 } y F={1,3, 6 } ; podremos escribir
C=F . Lo mismo es
extensible a ms de dos conjuntos.
Ejemplo:
Tabule los siguientes conjuntos:
1)
2)
x
A= x 2x12=0
x
Tabulacin
A= { 4,3 }
{5xx 83x 14 x15=0 x R }

B={ ; }
2
4
B=
Formule:
Formule:
3)
x R}
{ xx7+4129x 7i 7+x5=0
129 i
C={
;
}
8
8
2
C=
Formule:
4)
x
D= 0 x < 4 x N
x
D= {0,1,2,3
}
Formule:
-1
E=
-2
x+ 4 y =5
x
x R
x
2 x 3 y=2
6

5)
E=
{2311 ; 118 }
Formule:
6)
(-2)
{ xx 7 4
F={ }
9
3 x2
F=
=64 4 x3 x Q
Formule:
7)
{ xx 7
2
G={ }
6
G=
2 x6
=494 x2 x Q
Diagramas De Venn-Euler:

Es la forma sencilla e instructiva para poder representar los conjuntos y las
relaciones que se producen entre ellos. En ellos se representan habitualmente
los conjuntos por un rea plana, por lo general delimitada por un crculo.
Operaciones con conjuntos

Unin
La unin de dos conjuntos
que pertenecen a
oa
A
B
es el conjunto de todos los elementos
o a ambos., y se representa por
A B
A B={ x /x A x B } .
Ejemplo 1:
Sean los conjuntos
A= {1,2,3,4 }
B={3,4,5,6 }
se representa grficamente
por el diagrama de Venn
Ejemplo 2:
Dados los siguientes Conjuntos
A={1,2, 3, 4, 5 }
B={1, 2, 4, 7,8 }
A B={1, 2,3, 4,5, 7,8 }
3
5
Ejemplo 3:
1
2
4
7
8
A={1,2, 3, 4 }
B={a , b , c }
A B={1, 2,3, 4,a , b , c }
B
1
2
3
4
a
b
c
A B
Interseccin
Dados dos conjuntos A y B, la interseccin de ambos, A B es un conjunto que
contiene los elementos que pertenecen a ambos conjuntos:
A B={x : x A x B }
A
B
A B
A B
Se pueden dar esto:

U
U
A
U
Ejemplo 1:
A= { a , b , c , d }
B={ e , f , g }
a
b
c
d
e
f
g
Ejemplo 2:
A= {1,2,3,4,5,6,7,8 }
A
1
1
B
B={ 2,4,6,8 }
24
68
Ejemplo 3:
A={a , b , c ,d }B={e , f , g }
A B={}
10

a
b
c
d
e
f
g
A B={}
Aplicacin de la unin e interseccin de conjunto
La unin y la interseccin se pueden aplicar por dos o ms conjuntos.
1) Dados los siguientes conjuntos encontrar
a)
( AUB)(B C )
b)
( A B)U ( B C)
A={1,2, 3, 4, 5,6 }
B={1, 4, 5, 6,7, 8, 9 }
C={1, 2,3, 4, 6, 9, 10,11, 12 }

Analticamente quedar de la siguiente manera:
AUB={1,2, 3, 4, 5,6, 7, 8,9 }

( AUB)(B C )={1, 2, 3, 4,5, 6,7, 8, 9 }{1, 4,6, 9 }
B C={1, 4,6, 9 }
( AUB)(B C )={1, 4 ,6, 9 }

U
B
( A B)U (B C)
2 14
3 6 9
10 11
12
11

A B={1, 4, 5, 6 }
( A B)U ( B C)={1, 4,5, 6 }U {1, 4, 6, 9 }
B C={1, 4,6, 9 }
( A B)U (B C)={1, 4 , 5,6, 9 }
A
5
14
3 6 9
10 11
12
( A B) U (B C)
2) Dados los siguientes conjuntos, tabularlos y encuentre la unin e
interseccin.
A={x / x R x 2 81=0 }
x 2 81=0
( x+ 9)(x 9)=0
( x+ 9)=0(x 9)=0
x=9 x=9
B={x / x R 2 x <10 }
.
R
0 1 2 3 4 5 6 7 8 9 10 11
A={9, 9 }
B={2, 3, 4, 5,6, 7, 8, 9}
A U B={9, 2,3, 4, 5, 6,7, 8, 9 }
A B={9}
12
U
UB
AB
B
2
4
-9
6
5
9
4
6
-9
5
9
7
8
3) Dados los conjuntos
A={a , b , c ,d , e }B={a ,c , e , f , g , h }C={a ,b , d , e , f , h ,i , j}
Hallar:
a)
BU C
( A U B) ) graficar.
Para Graficar:
1.- A B C={a , e }
2.-
A B={a , c e }
3.-
A C={a , b , d , e }
4.-
B C={a , e , f , g , h }
A U B={a , b , c , d , e , f , g ,h }
B U C={a , b , c , d , e , f , g , h ,i , j }
13
U AU B
U BU C
A
B
c
g
h
a e
b
i
j
c
a e
b d
( A U B)( B U C)={a , b , c , d , e , f , g , h}
U ( A U B) ( B U C)
A
B
c
a e
14

b d
i
b)
( A U B U C)( A C)
h
j
graficar.
A U B U C={a , b , c , d , e , f , g ,h , i , j}
A C={a , b , e , d }
U AU BU C
U AC
A
B
c
g
b
ae
f
a e
d
h
i
C
C
C
15
U
B
ae
b d
f h
f
i
h
j
( A U B U C)( A C)={a , b , d , e }
c)
( A U C)U (A B C)
graficar.
A U C={a , b , c ,d , e , f ,h , i , j}
A B C={a , e }
U AU C
U A B C
A
16

c
g
b
a e
d
f
a e
d
f
h
i
j
C
( A U C)U (A B C)={a , b , c , d , e , f , h ,i , j }
U AU C
B
c
a e
d
f
b
i
j
C
Diferencia
La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos
los elementos de A que no estn en B o viceversa.
AB=A ={x / x A x B }
U
U
17
Viceversa:
U
U
U
U
A
U
Ejemplo 1:
Dado los conjuntos:
5
134 7
6
A= {1,2,3,4,5,6,7 }
B={ 1,3,4,7 }
AB={ 2,3,6 }
Ejemplo 2:
Dados los Conjuntos
A={1,2, 3, 4, 6 }
B={1, 4, 5, 7,8, 9 }
La diferencia sera de la siguiente manera:
AB={2, 3,6 }
18
U
A
B
5
2
A B
Ejemplo 3:
Dados los conjuntos
A={1,2, 3, 4 }
B={5, 6, 7,8 }
AB={1, 2,3, 4 }
U
A
B
1
5
AB
19
2
8

Complemento
El complemento de un conjunto A es el conjunto de todos los elementos que no
pertenecen a
, pero s pertenecen a l Universo. En otras palabras es la
A .
diferencia entre el conjunto Universo y el conjunto

Se representa por
A =A c
y es igual a
UA
Se grafica:
U
A
Ejemplo 1:
U= {1,2,3,4,5,6,7 }
U
A
A= {1,4 ,7 }
2
4
2 3 56
6
Ejemplo 2:
A C = {2,3,5,6 }
Leyes del Algebra de conjuntos

Son aquellas leyes que se utilizan para simplificar operaciones de conjuntos.
Las ms utilizadas son:
{( ,, AC ) }
1. Ley de la Idempotencia
A A= A
Ejemplo:
U={1,2, 3, 4, 5,6, 7 }
20

A={1,2, 3, 4 }
A U A={1, 2, 3, 4 }
U
A
A
1
5
2
3
4
1
2
6
7
AU A
A A= A
Ejemplo:
U ={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
A A={1,2, 3, 4 }
U
A
A
1
2
5
3
4
1
2
6
5
3
4
7
21
AA
2. Ley Asociativa
A B C= A ( B C ) o ( A B ) C=( A C) B
Ejemplo:
U={1,2, 3, 4, 5,6, 7, 8,9, 10, 11, 12,13 }

A={1,3, 5, 6,7, 8 }
B={1, 2, 4, 6, 8,9, 10 }
Para Graficar:
C={1, 3, 4,6, 7, 8, 9,10,11 }
A B C={1,6, 8 }
A B={1, 6, 8 }
A C={1, 3,6, 7, 8 }
B C={1,4,6,8,9,10}
B U C={1, 2, 3, 4,6, 7, 8, 9,10, 11 }

A U (BU C )={1, 2,3, 4, 5, 6,7, 8,9,10,11 }
U
A
6
8
4 9
10
11
3 1 6
8
4 9
10
11
12
13
12
13
BU C
A U ( BU C )
22

A U B={1, 2,3, 4, 5, 6,7, 8, 9,10 }
( A U B)U C={1,2, 3, 4, 5,6, 7, 8,9,10,11 }
U
A
1
3
12
7
11
6
8
10
13
12
1
8
7
11
6
49
10
13
AUB
( A U B) U C
A B C= A ( B C ) o ( A B ) C=( A C ) B
Ejemplo:
B C={1,4,6,8}
A
U
B
A ( B C)={1,6, 8 }
A
1
3
7
6
8
4 9
10
11
1
8
11
23
6
10
4 9

12
13
12
13
B C
A ( B C)
U A B={1, 6, 8}
A
U ( A B)C={1,6, 8 }
B
7
11
9
10
12
13
3
7
13
11
6
4 9
10
12
A B
( A B) C
3. Ley Conmutativa
A B=B
A={9,
9} A
A U B={9, 2,3, 4, 5, 6,7, 8, 9 }
B={2, 3, 4, 5,6, 7, 8, 9}
B U A={9, 2,3, 4, 5, 6,7, 8, 9 }

U
24

2
-9
4
6
-9
5
7
AUB
BU A
A B=B A
A={9, 9 }B={2, 3, 4, 5,6, 7, 8, 9}

A B={9}
B A={9}
B
2
-9
3
4
2
5
-9
9
6
3
4
7
8
A B
B A
4. Ley Distributiva
U={1,2, 3, 4, 5,6, 7, 8,9, 10, 11, 12,13 }
25

A={1,3, 5, 6,7, 8 }
B={1, 2, 4, 6, 8,9, 10 }
C={1, 3, 4,6, 7, 8 }
Para graficar:
A B C={1,6, 8 }
A B={1, 6, 8 }
A C={1, 3,6, 7, 8 }
B C={1,4,6,8}
A ( B C )=( A B ) ( A C)
B C={1,4,6,8}
A U (B C)={1, 3, 5,6,7, 8 }
U
A
B
5
9
1
3
12
7
11
B
5
10
6
8
A
2
3
7
13
12
9
6
10
8
11
13
B C
A U (B C)
26

A U B={1, 2,3, 4, 5, 6,7, 8, 9,10 }
A U C={1,3, 4, 5, 6,7, 8, 11 }
U
A
5
9
3
10
10
1
7
11
13
11
12
13
3
7
( A U B)( A U C)={1,3, 5, 6,7,8 }
B
5
3
12
9
6
10
4
11
13
A U (B C)
27
12
AUB
1
8
A UC
A ( B C )=( A B)( A C)
B U C={1, 2, 3, 4,6, 7, 8, 9,10, 11 }
A ( B U C)={1, 3, 6,7, 8 }
U
A
B
5
9
1
3
12
7
11
6
8
10
10
3
7
13
12
9
8
11
13
BU C
A ( B U C)
A B={1, 6, 8 }
A C={1, 3,6, 7, 8 }
A
B
A
5
1
3
7
12
B
2
9
6
8
10
9
1
11
13
12
6
3
10
8
11
13
A B
28
A C

( A B)U ( A C)={1, 3,6, 7, 8 }
B
5
9
1
8
10
4
11
12
13
( A B ) U ( A C )
5. Ley de la Identidad
A = A
U={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
U A U ={1,2, 3, 4 }
={}
U A={1,2, 3, 4 }
A
1
2
3
4
1
2
5
3
4
7
AU
29
A =
U={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
={}
U A ={1, 2,3, 4 }
U ={}
A
1
2
3
4
5
2
A U U =U
U={1,2, 3, 4, 5,6, 7 }
A U U ={1, 2, 3, 4,5, 6, 7 }
A={1,2, 3, 4 }
U={1,2, 3, 4, 5,6, 7 }
U
A
A
3
4
1
2
1
2
30
5
3
7

A UU
A U= A
U={1,2, 3, 4, 5,6, 7 }
A U={1,2, 3, 4 }
A={1,2, 3, 4 }
A={1,2, 3, 4 }
U
A
A
1
2
3
4
1
2
3
4
6
7
A U
5
6
7
6. Ley del Complemento
A
( C)c = A
U={1,2, 3, 4, 5,6, 7 }
c
A ={5,6, 7 }
A={1,2, 3, 4 }
A
( C) ={1,2, 3, 4 }
31

A
A
2
3
4
5
3
6
7
A
( C)c
Ac
A={1,2, 3, 4 }
U
A
1
2
3
5
6
7
A
A A c =U
U={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
A c ={5,6, 7 }
A A c ={1, 2, 3, 4,5, 6, 7 }
U
A
A
2
3
4
AA
U={1,2, 3, 4, 5,6, 7 }
32
5
2
3
4
6
7
( A C)C= A
U={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
( Ac )c ={1, 2,3, 4 }
A c ={5,6, 7 }
U
A
A
2
3
4
7
C
( A )C
A={1,2, 3, 4 }
U
A
1
3
5
2
33

7
34

A A C =
U={1,2, 3, 4, 5,6, 7 }
A={1,2, 3, 4 }
A C ={5,6, 7 }
={}
A A C ={}
U
A
1
2
3
5
6
A A
={}
1
2
3
4
5
6
7
U c =
U={1,2, 3, 4, 5,6, 7 }
U c ={}
U
A={1,2, 3, 4 }
={}
35
={}
1
2
3
4
1
2
Uc
=U
U={1,2, 3, 4, 5,6, 7 }
C ={1, 2, 3, 4,5, 6,7 }
A={1,2, 3, 4 }
={}
U ={1,2, 3, 4, 5,6, 7 }
U
A
1
2
3
4
5
3
7. Leyes de Morgan
1
2
A B
U={1,2, 3, 4, 5,6, 7, 8 , 9}
36

A={1,2, 3, 4, 5 }
B={3, 4, 6, 7 }
A B={1, 2,3, 4,6, 7 }
( A B)C ={5, 8,9 }
U
A
B
1
( A B )C
A B
A C ={5,6, 7, 8, 9}
B C ={1, 2, 5,8, 9 }
U
A
B
1
2
3
4
5
9
5
9
37

AC
BC
C
A B ={8, 9 }
B
1
2
8
4
5
6
7
9
A C B C
A B
U={1,2, 3, 4, 5,6, 7, 8 , 9}
A={1,2, 3, 4, 5 }
B={3, 4, 6, 7 }
A B={3, 4 }
( A B)C={1, 2,5, 6, 7,8, 9 }
38

A
B
1
( A B )C
A B
A C ={5,6, 7, 8, 9}
B C ={1, 2, 5,8, 9 }
U
A
B
1
2
8
B
A C BC ={3, 4 }
B
1
2
3
4
6
7
9
39

C
A B
Simplificacin de conjuntos
A
C
c
( C) B = A B
C
( A C B ) =
Ejemplos:
Normal:
U= {1,2,3,4,5,6,7,8,9,10,11,12 }
A= {1,3,4,5,6,8 } B= {1,2,4,7,9,10 } C={ 1,2,3,5,7,8,10,11 }
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }
c
A c = {2,7,9,10,11,12 }
( Ac B )= {2,7,10 }
A c B={ 1,2,4,7,9,10,11,12 }
( Bc C )= {1,2,3,5,6,7,8,10,11,12 }
c
( Ac B ) ={ 3,5,6,8 }
( Bc C ) = { 4,9 }
B ={ 3,5,6,8,11,12 }
[ ( A B ) ( B C ) ]= {2,4,7,9,10 }
c
( Bc C )= { 3,5,8,11 }
c
( Ac B ) ( Bc C ) ={ 3,5,8 }
c
[ ( A B ) ( B C ) ] = {1,2,4,6,7,9,10,11,12 }
c
[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] ={ 2,4,7,9,10 }
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] } = { 1,3,5,6,8,11,12 }
c
40
Simplificado:
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }
c
c c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }
c
( A B c ) ={ 1,3,4,5,6,8,11,12 }
( Ac B ) ={ 3,5,6,8 }
B c ={ 3,5,6,8,11,12 }
( Bc C )= {1,2,3,5,6,7,8,10,11,12 }
( Bc C )= { 3,5,8,11 }
[ ( A B c ) ( B c C ) ]= {1,3,5,6,8,11,12 }
[ ( A B ) ( B C ) ]= {3,5,8 }
c
{[ ( A B ) ( B C ) ] [ ( A B ) ( B C ) ] }= {1,3,5,6,8,11,12 }
c
Grfica:
U
B
6
41

Diagrama de Conjunto.
Realizar Operaciones con los conjuntos pero sin utilizar ningn elemento:
Generalmente para realizar estas operaciones se trabaja con un
diagrama ya establecido.
ENFOQUE: Esto se puede realizar en dos formas.
a) Dando los elementos de cada conjunto y realizando la operacin.
b) Dando solamente la proposicin del conjunto y visualizar sin ningn
elemento.
Ejemplo:
Dado el siguiente diagrama
Sombrear
a)
( A U B )C
AUB
(A U B)
42

b)
( B A )C
BA
c)
AC BC
(B
AC BC
A C BC
d) (A B )C
43
AB
B )C
(A
2.- Dado el siguiente grfico.
Sombrear:
a
A(BUC)
A (B U C)
b
A ( BC C
C)
44
A (B U
U
U
A (BC U C)
A (BC U C)
AU B ) ( B C )
U
U
(A U B) (B C)
(A U B) (B C)
d ( AC BC ) U ( B C )
45
U
U
A C BC
(A C BC)
U
U
(AC BC) U ( B C)
BC
Ejercicios
1.- Demostrar las siguientes proposiciones verdaderas o
falsas.
1) B A = B AC
46

BA
BA
=BA
U
U
B AC
B AC
La proposicin B A = B AC es verdadera
2 (AB)B=
(A B) B
47
(A B)
(A B) B
La proposicin (A B) B = es
verdadera
3 ( A B ) C = AC B C
(A B)C
48
U
U
(A B)
(A B) B
U
U
AC BC
A C BC
La proposicin (A B)C = AC BC es falsa.

4) { [ A ( AC U B ) ] U [ A U ( A BC ) ] } = AC BC
U
U
49
AC U B
AC U B
A (AC U B)
U
U
A BC
A BC
50
A U (A BC)
U
U
A C y BC
A C BC
La proposicin { [ A ( AC U B ) ] U [ A U ( A BC ) ] } = AC BC es
falsa
2.- En los siguientes diagramas de Venn
Sombrar:
51
BA
BA
2 AC B
AC B
AC B
52
AC B
AC B
A U BC
A U BC
A U BC
4) AC - BC
U
U
A C BC
A C - BC
53
U
U
A C BC
A C - BC
3.- Dados el siguiente diagrama
Sombrar:
( A B )C `
U
a)
U
54
A B
AB
(A B)C
b) AC B
AC y B
c
AU ( B CC )
55
AC B
B y CC
B CC
A U (B CC)
d ( A B ) U ( B U C )C
AB
56
U
U
(B U C) C
BUC
e) (A U B)C (B U C)C
(A U B) C
AUB
57
U
U
BUC
C)
(B U
(A U B)C (B U C)C
58
(A U B)C (B U C)C
Ejercicios:
Dado el diagrama
AB
Hallar =
A B
Ac
Ac B
59
( A B c)
Hallar =
Bc
( A B c )
A B c
Dado el diagrama:
[ ( A B ) ( B C ) ]
c
Hallar =
c c
AC
A C B
( AC B )
( Bc C )
( Ac B c ) ( Bc C )
[ ( A B ) ( B C ) ]
c
60
c c
PRINCIPIO DE ADICCIN
EJEMPLOS:
De 40 estudiantes entrevistados 15 leen la revista A y B, 27

estudiantes la revista B 3 leen nicamente la revista A.
a) Cuntos estudiantes no leen la revista?

10 estudiantes no leen la revista.
b) Cuntos estudiantes leen la revista A?

18 estudiantes leen la revista A.
c) Cuntos leen nicamente la revista B?

12 estudiantes leen la revista B.
d) Cuntos estudiantes leen nicamente una sola de esta

revista?
15 estudiantes leen nicamente una sola revista.
Solucin:
61
Ejercicios:
Una compaa tiene que contratar 25 programadores maneja

trabajos de programacin de sistema 40 trabajadores para
programas de aplicacin.
De los que se contrate se espera que 10 realicen trabajos de ambos

tipos.
Cuntos programadores deben contratarse?
Solucin:
A = Programacin de Sistema
B = Programa de Aplicacin
A= 25
B= 40
A B= 10
A U B= A+ B- A B
A U B= 25 + 40 10
A U B= 65 10 = 55
62
En un colegio de 100 estudiantes se realiza una encuesta:

24 estudiantes siguen el idioma Ingls.
31 estudiantes siguen el idioma Francs
11 estudiantes siguen el idioma Ingls Francs.
4 estudiantes siguen el idioma Ingls Alemn.
5 estudiantes siguen el idioma Francs Alemn.
3 estudiantes siguen el idioma Ingls Francs Alemn.
a) Cuntos estudiantes no reciben ningn idioma?

32 estudiantes no reciben ningn idioma.
b) Cuntos estudiantes reciben el ingls como nico idioma?
13 estudiantes reciben el reciben el Ingls como nico idioma.
Solucin:
63
U
13
7
1
19
2
23
(100)(97)(95)(94)(87)(64)(45)(32)
CAPITULO II
Lgica Matemtica
Definicin
La lgica es un mtodo de razonamiento que no acepta conclusiones errneas.
Esto se puede lograr definiendo en forma estricta cada uno de los conceptos.
Todo debe definirse de tal forma que no d lugar a dudas o impresiones en la
veracidad de su significado. Nada puede darse por supuesto, y las definiciones
de diccionario no son normalmente suficientes. Por ejemplo, en el lenguaje
ordinario, un enunciado u oracin se puede definir como una palabra o grupo
de palabras que declara, pregunta, ordena, solicita o exclama algo; unidad
convencional del habla o escritura coherente, que normalmente contiene un
sujeto y un predicado, que empieza con letra mayscula y termina con un
punto.
Sin embargo, en lgica simblica una oracin tiene un significado mucho ms
especfico y se llama proposicin.
Definicin de Proposicin.Una proposicin es una unidad semntica que, o slo es verdadera o slo es
falsa.
64

Los elementos fundamentales de la lgica son las proposiciones. Por ello, las
oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas al
mismo tiempo, o las que demuestran algn tipo de imprecisin (carecen de
sentido), no son objeto de estudio de la lgica.
Ejemplo-Oraciones que son proposiciones
5 es un nmero primo.
-17+38=21
Todos los nmeros enteros son positivos.
Vicente Rocafuerte fue Presidente del Ecuador.
Las oraciones anteriormente expuestas son proposiciones, ya que son
verdaderas o falsas. Todas ellas pueden ser calificadas por el lector con
precisin y sin ambigedades o subjetivismo.
Usualmente, las primeras letras del alfabeto espaol en minscula se usan
para representar proposiciones.
Ejemplo-Representacin simblica de proposiciones
5 es un nmero primo puede ser representada por la letra a, de la forma:
a: 5 es un nmero primo.
Ejemplo-Oraciones que no son proposiciones
Lava el auto, por favor.
Hola, cmo ests?
Aprate!
La conceptualizacin cambia lo absurdo en azul.
X+5=9.
Maana se acabar el mundo!
Las primeras cuatro oraciones no son proposiciones porque no se puede
establecer su valor de verdad. Generalmente las oraciones imperativas,
exclamativas e interrogativas no son proposiciones.
El quinto enunciado no es una proposicin, ya que valor de x no es preciso y
por lo tanto no se puede establecer su valor de verdad.
La sexta oracin no es una proposicin porque su valor de verdad no se puede
determinar.
TERMINOS LGICOS
Los trminos lgicos son y, no, ni, o, o, si......., entonces, ...si y
slo si...
CLASES DE PROPOSICIN
Se clasifican en:
Proposiciones simples
Proposiciones compuestas
65
PROPOSICIONES SIMPLES
Una proposicin es simple si y solo si, no tiene trminos lgicos. Se la
representa generalmente por las siguientes letras: P, Q, R, S, T. Siempre estar
formado por un sujeto y un predicado.
Ejemplo:
a)
A la proposicin 5+3=8, la podemos simbolizar por P, as:

P: 5+3=8
b)
Josefa est estudiando.

P: Josefa est estudiando.
PROPOSICIN COMPUESTA
Una proposicin es compuesta siempre y cuando (si y solo si) est formada
por dos o ms proposiciones simples, afectada por trminos lgicos (y, o).
Ejemplo:
A la proposicin 2+4=6, la podemos simbolizar por P, y la
Proposicin 3-2=1, se la simboliza por Q.
2+6=5 y 3-2=1
P
P: Francisco canta en la playa.

Q: Julio juega futbol.
P y Q: Francisco canta en la playa y v Julio juega futbol.
Definicin de Valor de verdad.El valor de verdad de una proposicin es la cualidad de veracidad que describe
adecuadamente la proposicin. ste puede ser verdadero o falso.
Usualmente el valor verdadero se lo asocia con: 1, V, T, True; mientras que el
valor falso se lo asocia con: 0, F, False. Se podra utilizar cualquiera de ellas,
pero la convencin a seguir en el texto ser el uso de 0 y 1, tomando como
referencia el sistema de numeracin binario.
66

En el ejemplo de las oraciones que son proposiciones podemos observar que el
valor de verdad de la segunda proposicin es VERDADERO, mientras que el
valor d verdad de la tercera proposicin es FALSO.
Verdad y falsedad pueden considerarse simplemente como los valores lgicos
de la unidad semntica descriptiva con sentido completo. Ese valor es lo que
ms nos interesa sobre una proposicin.
Definicin de Tabla de verdad.Una tabla de verdad es una representacin de los posibles valores de verdad
que podra tomar una proposicin.
Las tablas de verdad sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar operaciones lgicas.
Ejemplo-Construccin de tablas de verdad
a
0
1
a
0
0
1
1
b
0
1
0
1
a
0
0
0
0
1
1
1
1
b
0
0
1
1
0
0
1
1
c
0
1
0
1
0
1
0
1
La cantidad de combinaciones (filas de la tabla de verdad) depende de la

cantidad de proposiciones presentes en la expresin lgica.
Operadores
Los operadores lgicos son los siguientes:
Conjuncin
Negacin
Conjuncin Negativa
Disyuncin
Disyuncin Exclusiva
Condicional
Bicondicional
Conectivos Lgicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposicin molecular.
OPERADOR
REPRESENTA
LOG. SIMBLICA.
67
LOG. BINARIA.

Negacin.
noes falso nunca

es imposible que
Conjuncin.
y, pero, aunque
incluso tambin
Disyuncin dbil
o, a memos que,
o incluyente
salvo que o tambin
excepto que.
Disyuncin
o A o B, o bien A o bien
exclusiva
B, a o B( en sentido
excluyente).
Negacin de la
conjuncin
Negacin de la
disyuncin
Condicional
Bicondicional
, ~ , , .
NOT.
, & , .
AND.
, +
OR
XOR
No es verdad que A y B
, , > <,
, v
, ,
NAND
No es verdad que A o B
, +
XNOR
A entonces B, siempre que , ,

A por consiguiente B, con
tal de que A es obvio que
B.
A si y solo si B, A es
, ,
idntico a B, A es lo
mismo que B, a cada vez
que y solo si B.
PROPOSICIONES ABIERTAS Y CERRADAS.

PROPOSICIN ABIERTA:
Una proposicin es abierta cuando su trmino es variable es decir cuando no
est determinado.
Ejemplo
p: x<5
s: a+b=12
q: Ella no es buena estudiante.
u: l es el maestro del colegio.
t: Ellos no son enamorados, son amigos.
PROPOSICIN CERRADA:
Una proposicin es cerrada cuando el trmino es constante, sus enunciados
son concluyentes y no admiten otra alternativa que la verdad o la falsedad.
Ejemplo
p: Carlos como pizza y toma refresco.
s: Quito es la capital del Ecuador.
q: La playa est a los lados de un hotel y frente del coliseo.
u: Juan est enfermo de gripe.
t: Mateo se fue de fiesta con su prima y su novia donde su amigo.
NEGACIN
68

Sea a una proposicin, la negacin de a, representada simbolgicamente por
a, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:
a
a
0 1
0 de verdad de una proposicin: si a es una
Este operador lgico cambia el 1
valor
proposicin verdadera, a es falsa; si a es una proposicin falsa, a es
verdadera. La negacin se presenta con los trminos gramaticales: no, ni,
no es verdad que, no es cierto que.
Ejemplo-Negacin de proposiciones
Si se tiene la proposicin:
a: Tengo un billete de cinco dlares.
La negacin de a es:
a: No tengo un billete de cinco dlares.
Si se tiene la proposicin:
b: No quiero hacer el viaje.
La negacin de a es:
b: Quiero hacer el viaje
La proposicin a afirma un enunciado verdadero.
La proposicin a es la negacin de la proposicin a, en consecuencia,
afirma un enunciado falso.
La proposicin b afirma un enunciado falso.
La proposicin b es la negacin de la proposicin b, en consecuencia,
afirma un enunciado verdadero.
CONJUNCIN
Sean a y b proposiciones, la conjuncin entre a y b, representada
simbolgicamente por ab, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:
a
0
0
1
1
b
0
1
0
1
ab
0
0
0
1
Este operador lgico relaciona dos proposiciones para formar una nueva, en la
cual la proposicin resultante ser verdadera solamente cuando el valor de
verdad de ambas proposiciones es verdadero. En espaol, la conjuncin
copulativa se presenta con los trminos gramaticales: y, pero, mas, y
signos de puntuacin como: la coma, el punto, y el punto y coma.
Ejemplo-Oraciones con la conjuncin
69
Gaby trabaja por el da y por la noche tambin.

El perro del vecino es sociable con los nios y adultos.
La escuela no abrir el da martes y mircoles.
Mis tos festejaran su aniversario y el nacimiento de su bebe.
Marcos compr para la parrillada pollo y carne solamente.
Melanie reg en el sof el jugo y la sopa.
Mi papi carga su maletn muy limpio y ordenado.
EL da se encuentra nublado y frio.
Ejemplo-Conjuncin de proposiciones
Si se tienen las proposiciones:
a: Obtengo buenas notas.
b: Gano una beca.
La conjuncin entre a y b es:
ab: Obtengo buenas notas y gano una beca.
a: Trabajo mucho.
b: Recibo un bajo sueldo.
La conjuncin entre a y b se puede expresar como:
ab: Trabajo mucho pero recibo un bajo sueldo.
a: Alexis come pan.
b: Mara toma jugo.
ab: Alexis come pan y Mara toma jugo.
a: Alison viaja a Venezuela.
b: Martn trabajo hoy.
ab: Alison viaja a Venezuela y Martn trabaja hoy.
a: Anabel pasea por la ciudad.
b: Fabin cuida a su hermano.
ab: Anabel pasea por la ciudad y Fabin cuida a su hermano.
70
Negacin de la conjuncin
a b a
(a
b)
b
0 0 0
1
0 1 0
1
1 0 0
1
Ejemplo-Oraciones con la negacin de la conjuncin
Gaby trabaja por el da y por la noche tambin.
Gaby no trabaja por el da ni por la noche tambin.
El perro del vecino es sociable con los nios y adultos.

El perro del vecino es no sociable con los nios ni adultos.
La escuela no abrir el da martes y mircoles.

La escuela abrir el da martes y mircoles.
Mis tos festejaran su aniversario y el nacimiento de su bebe.

Mis tos no festejaran su aniversario ni el nacimiento de su bebe.
Marcos compr para la parrillada pollo y carne solamente.

Marcos no compr para la parrillada pollo ni carne solamente.
Melanie reg en el sof el jugo y la sopa.

Melanie no reg en el sof el jugo ni la sopa.
Mi papi carga su maletn muy limpio y ordenado.

Mi papi no carga su maletn muy limpio ni ordenado.
EL da se encuentra nublado y frio.

EL da no se encuentra nublado ni frio.
Ejemplo-Proposiciones con la negacin de la conjuncin

p: Julio compra vino para la cena.
q: Mara prepara la cena.
p q: Julio compra vino para la cena y no es verdad que Mara prepara la
cena.
p: Mateo pasea con su perro.
q: Juliana camina por el parque.
p q: Mateo no pasea con su perro ni Juliana camina por el parque.
p: Pedro trabaja por las tardes.
71

q: Jordan estudia por las maanas.
(p q): No es verdad que Pedro trabaja por las tardes y Jordan estudia por las
maanas.
p: Karen prctica dance con su madre.
q: Alberto canta en el festival.
( p q): No es verdad que Karen no prctica dance con su madre y Alberto
no canta en el festival.
p: Eduardo prctica para el campeonato.
q: Javier celebra su cumpleaos.
p q: Eduardo no prctica para el campeonato y Javier celebra su
cumpleaos.
La operacin Conjuncin podemos compararlo con la interseccin de conjunto
ya que el conjunto interseccin est formado por los elementos que
pertenecen a ambos conjuntos y la conjuncin es Verdadera cuando las dos
proposiciones son verdaderas.
DISYUNCIN
La disyuncin llamada tambin suma lgica es una combinacin de dos o ms
proposiciones enlazadas por el conectivo O.
A la disyuncin se la ha clasificado en dos partes que son:
Disyuncin inclusiva y Disyuncin exclusiva.
DISYUNCIN INCLUSIVA
Sean a y b proposiciones, la disyuncin entre a y b, representada
est dado por la siguiente tabla
a de
b verdad:
ab
0
0
1
1
0
1
0
1
0
1
1
1
cual la proposicin resultante ser falsa solamente cuando el valor de verdad
de ambas proposiciones es falso.
En espaol, la disyuncin se presenta con el trmino gramatical o.
Ejemplo-Disyuncin de proposiciones
72

a: Tengo un libro de Trigonometra.
b: Tengo un libro de algebra.
La disyuncin entre a y b es:
avb: Tengo un libro de Trigonometra o uno de algebra.
Como se podr notar en este ejemplo, existe la posibilidad de poseer ambos
libros, razn por la cual esta disyuncin recibe el nombre de disyuncin
inclusiva.
En el lenguaje espaol suelen presentarse situaciones que son mutuamente
excluyentes entre s. La expresin o estoy en Quito o estoy en Guayaquil
denota la imposibilidad de estar fsicamente en Quito y Guayaquil al mismo
tiempo.
Ejemplos-Oraciones de la disyuncin inclusiva
Quiero celular o una laptop.
Cmprame una carpeta o cuaderno.
Deseo una gaseosa o agua.
Necesito una blusa o un jean.
Toco el piano o guitarra.
Marcelo pase con Ronald o Jean.
Ejemplo-Proposiciones de la disyuncin inclusiva.
a: Mauricio come pizza.
b: Mauricio toma jugo .
La disyuncin entre a y b es:
ab: Mauricio come pizza o toma jugo.
a: Rosita sale con las amigas.
b: Rosita sale con su novio.
La disyuncin entre a y b se puede expresar como:
ab: Rosita sale con las amigas o sale con su novio.
a: Alexis escucha msica.
b: Alexis hace sus deberes.
ab: Alexis escucha msica o hace deberes.
73

a: Alex cocina arroz.
b: Alex cocina estofado.
ab: Alex cocina arroz o cocina estofado.
a: Jennifer calienta la cena .
b: Jennifer repara un chocolate.
ab: Jennifer calienta la cena o prepara el chocolate.
Negacin de la disyuncin inclusiva
a b a
(a
b)
b
0 0 0
1
0 1 1
0
1 0 1
0
p: Est lloviendo.
q: Est de noche.
p q: Est lloviendo o no es de noche.
p: La puerta est oxidada.
q: La puerta est daada.
p q: La puerta no est oxidada o no est daada.
p: Hace fro.
q: Est nevando.
(p q): No es verdad que hace fro o est nevando.
p: Karen est llorando.
q: Karen est caminando.
( p q): No es verdad que Karen no est llorando o no est caminando.
p: Eduardo baila mucho.
q: Eduardo celebra su cumpleaos.
74

p q: Eduardo no baila mucho o celebra su cumpleaos.
DISYUNCIN EXCLUSIVA
Sean a y b proposiciones, la disyuncin exclusiva entre a y b, representada
est dado por la siguiente tabla de verdad:
a
0
0
1
1
b
0
1
0
1
ab
0
1
1
0
cual la proposicin resultante ser verdadera cuando solamente una de ellas
sea verdadera.
Aqu la o tiene el sentido excluyente es decir que excluye la tercer posibilidad,
puede ser lo uno o lo otro, pero no ambas a la vez.
La disyuncin exclusiva ab puede expresarse como:
(ab)(ab)
En espaol, la disyuncin exclusiva se presenta con el trmino gramatical o,
o slo, o solamente, o, o.
Ejemplo-Oraciones de la disyuncin exclusiva.
Janeth est en Espaa o Venezuela.

Gema est triste o alegre.
Rony cocina o plancha.
Paseo por la noche o por el da.
Juega en la escuela o en casa.
Patino en el parque o en la cancha.
Johana estudia o duerme.
Ejemplo-Disyuncin exclusiva de proposiciones.

Si se tiene las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyuncin exclusiva entre a y b es:
ab: O estoy en Quito o estoy en Guayaquil.
a: Leandra camina.
b: Leandra lava
75

ab: O Leandra camina o lava.
a: Felipe corre por el parque.
b: Felipe corre en la cancha.
ab: O Felipe corre por el parque o corre en la cancha.
Negacin de la disyuncin exclusiva
a b a
b
0 0 0
0 1 1
1 0 1
1 1 0
(a
b)
1
0
0
1
EJEMPLOS DE COMBINACIN CONJUNCIN Y DISYUNCIN

MEDIANTE TABLA DE VERDAD.
[( p q) (q p) ] {( p q) [ r (r q)]}
p q r
p
1 1 1 0
1 1 0 0
1 0 1 0
1 0 0 0
0
1 1[
(p 1 q)
0 1 (r0 q)]
1
0 0 1 1
1
0 0 0 1
1
1
1
1
1
1
1
r p
( p q p ( p q) (q r q
r (r
q
q)
p)
q)
0
1
0
1
1
1
1
1
1
0
1
1
1
1
0
0
1
0
1
1
1
1
0
1
0
1
0
1
0
0
1
1
1
1
r
{(p q) [ r
[(p q) (q p) ] {( p 1
q)
1
0
1
1
1
1
1
(r q)]}
[ r (r q)]}
0
0
1
1
1
1
1
0
0
1
0
1
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
76
0
0
( p q) [ p ( q p) ]
p
pq
1
1
0
0
1
0
1
0
1
0
0
0
( p
q)
0
1
1
1
Qp
( q p)
p ( q p)
1
1
1
0
0
0
0
1
0
0
0
0
[p ( q p) ]
1
1
1
(p q) [ p ( q
p) ]
1
1
1
[( A B) ( A B) ] [( A B) ( A B) ]
A
1
1
0
0
1
0
1
0
A B (A B) A B
1
0
1
1
0
0
1
0
0
0
1
0
(A B) [(A B) (A B) ]
0
0
1
0
1
0
1
1
(A B) (A [(A B) ( A B) ] [(A B)
B)
(A B) ]
0
0
1
1
1
1
1
1
77

Orden de los operadores
La regla que mencionamos nos sirve para conocer cul es la conectiva
predominante.
1.
Si la proposicin compuesta est escrita con parntesis la ubicacin de

estos nos indicar cual es la conectiva predominante.
La conectiva predominante de (P Q) (P Q) es la conjuncin.
La conectiva predominante de [(P Q) P] Q es el condicional.
2. Si la proposicin compuesta esta expresada con signo de puntuacin,

estos pueden ser remplazados por smbolo de agrupacin (parntesis), y las
preposiciones quedaran expresada como e literal nmero 1.
4+2=6 o 2+4=6, y 4+3=7 se representa por (P Q) R
Si 4+5=6, entonces 2+4=6 y 4+3=6 se representa por [P (P
R)]
No es verdad que 4+3=7 y 2+3=7 se representa por negacin (P Q)
No es verdad que 4+3=7, 2+3=7 se representa negacin P Q
3. Si no hay signo de puntuacin entre parntesis , se debe considerar el
siguiente orden(de izquierda a derecha) de los operadores para poner los
signos de apuntacin o parntesis en la proposicin dada
Razonamiento
Se llama as a un proceso en el cual se infiere de un juicio a partir de otros; o
Consiste en pasar de verdades (permisas iniciales) a una verdad no conocida
conclusin.
En todo razonamiento hay que distinguir su validez. La validez se refiere a la
forma del pensamiento, mientras que la verdad se obtiene del anlisis del
contenido del pensamiento.
Un razonamiento valido siempre y cuando la conclusin sea consecuencia
lgica de premisas consistentes; o tambin:
Un razonamiento es vlido siempre cuando de premisas consistente solo sea
posible obtener conclusiones cierta.
Las premisas son inconsistente si y solo si de ella se refiere una contradiccin.
Si las premisas son inconsistentes, entonces existen unas o ms proposiciones
que se contradicen.
78

Reglas de inferencia
Para inferir un juicio a partir de otros se requiere de un proceso en la que se
aplican propiedades o leyes fijadas de ante mano y que no haya sido obtenidas
de casos particulares.
Esta propiedades nos dan la certeza de que solo es posible obtener
conclusiones ciertas, de premisas ciertas.
Proceso de deduccin
Determinar el valor de verdad de las premisas. S i alguna de ellas es falsa no
es posible inferir nada de ellas.
Determinar si las premisas son inconsistentes o no.
Si las premisas no son consistentes (inconsistentes) no se puede inferir nada
de ellas.
Si las premisas son consistentes es posible deducir una conclusin usando las
reglas de inferencia.
Ejemplo.
Que se puede deducir de.
a- 4 + 3 igual 7 2 igual 2.
b- 3 + 2 igual 6 4 + 3 igual 7
c- 3 + 2 igual 6 2 igual 2
V
V
F
TAUTOLOGIA
Una proposicin es una tautologa si y solo si dicha proposiciones verdadera.
Independiente de los valores de verdad de sus proposiciones simples.
Ejemplo:
Desarrolle la tabla de verdad y determine si la proposicin (P Q) es
tautologa.
F
V
2
P
V
F
1
P
V
F
1
( P
V
F
1
V
V
3
F
V
2
P)
V
F
1
Esta proposicin es una tautologa pues, la ltima columna (3), est formada
slo por V.
Demuestre si (P V Q) (P Q) es una tautologa.
P
P Q
P Q
V
V
F
F
1
V
F
V
F
2
V
V
F
F
1
V
V
F
F
1
V
V
V
F
3
V
F
V
F
2
V
F
F
F
4
V
F
V
F
2
79
(P Q) (P
Q)
V V V V V V V
V V F F V F F
F V V F F F V
F F F V F F F
1 3 2
5
1 4 2
No es una tautologa porque el resultado de la columna nmero 5 tiene

verdaderos y falso.
Contradiccin
Una proposicin es una contradiccin si y solo si es falsa, independiente del
valor de verdad de las proposiciones simple que las conformen.
Ejemplo:
Determine si PQ, es una contradiccin.
P
P P
V
F
1
F V
V F
21
V F F V
F F V F
1 3 2 1
Es una contradiccin
PROPIEDADES DE LA DISYUNCIN Y CONJUNCIN.

He aqu las siguientes propiedades que ayudaran al estudiante a un mejor
manejo de las expresiones matemticas y relacionar con leyes de las
operaciones matemticas, y los conjuntos.
1. IDEMPOTENCIA.
Conjuncin
Disyuncin
P PP
P PP
P P
P
V
F
P P P
V V
F F
P
V
F
P
P
V
F
P PP
V
F
2. ASOCIATIVA.
Conjuncin
(P Q) R P (Q R)
P Q R P
Q
V V V
V V F
V F V
V F F
V
V
F
F
(P
Q) R Q R P
R)
V
V
F
F
F
F
F
F
80
(Q
V
F
F
F
(P Q) R P (Q
R)
V
F
F
F

F V V
F V F
F F V
F F F
F
F
F
F
F
F
F
F
V
F
F
F
F
F
F
F
F
F
F
F
Disyuncin
(P Q) R P (Q R)
P Q R P Q (P Q)
R
V V V
V
V
V V F
V
V
V F V
V
V
V F F
V
V
F V V
V
V
F V F
V
V
F F V
F
V
F F F
F
F
QR
V
V
V
F
V
V
V
F
P (Q
R)
V
V
V
V
V
V
V
F
(P Q) R P (Q
R)
V
V
V
V
V
V
V
F
3. CONMUTATIVA
Conjuncin
P Q QP
P Q PQ
V V
V
V F
F
F V
F
F F
F
QP P Q QP
V
V
F
F
F
F
F
F
Disyuncin
P Q QP
P
P Q
QP
V
V
F
F
V
F
V
F
V
V
V
F
V
V
V
F
P Q Q
P
V
V
V
F
4. DISTRIBUTIVA DE LA CONJUNCIN CON RESPECTO A LA DISYUNCIN

P (Q R) (P Q) (P R)
P Q R QR
P (Q
PR
PQ
81
(P Q) (P R)

V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
R)
V
V
V
F
F
F
F
F
V
V
V
F
V
V
V
F
V
F
V
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
V
F
F
F
F
F
5. DISTRIBUTIVA DE LA DISYUNCIN CON RESPECTO A LA CONJUNCIN:

P (Q R) (P Q) (P R)
P Q R QR
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
F
F
F
P (Q
R)
V
V
V
V
V
F
F
F
PR
PQ
(P Q) (P R)
V
V
V
V
V
F
V
F
V
V
V
V
V
V
F
F
V
V
V
V
V
F
F
F
6. IDENTIDAD.
Conjuncin
P VP
P V
P
V
V V
V
F V
F
P FF
P F
P
F
V F
F
F F
F
Disyuncin
P FP
P
F
P
F
V
F
V
F
F
F
P V
P
V
F
P FF
F
F
V
F
V
V
7. DEL COMPLEMENTO.
Conjuncin
P PF
P
P P PF
82
P F
P
V
F
P VV
P V P V
V
V
V
V
V
Disyuncin
P PV
P PPV

P
V F
F V
P
F
F
F
F
V
F
8. DE MORGAN.
Conjuncin
(P Q) P Q
P
Q
P Q
(P Q) P
V
V
V
F
F
V
F
F
V
F
F
V
F
V
V
F
F
F
V
V
Disyuncin
(P Q) P Q
P
Q
P Q
(P Q) P
V
V
V
F
F
V
F
V
F
F
|F
V
V
F
V
F
F
F
V
V
9. ABSORCIN.
Conjuncin
A (A B) A
A
B
AB
V
V
V
V
F
V
F
V
V
F
F
F
Disyuncin
A (A B) A
A
B
AB
V
V
V
V
F
F
F
V
F
F
F
F
A (A B)
V
V
F
F
A (A B)
V
V
F
F
CONDICIONAL
83
P
F
V
P
V
V
Q
F
V
F
V
Q
F
V
F
V
V
V
P Q
F
V
V
V
P Q
F
F
F
V

a
Sean
proposiciones, la condicional entre
simbolgicamente por
b , representada
a b , es una nueva proposicin, cuyo valor de
verdad est dado por la siguiente tabla de verdad:

a b a
b
0 0 1
0 1 1
Este
operador
lgico
tambin
implicacin. En la proposicin
premisa;
se
denomina
ab ,
enunciacin
hipottica
es el antecedente, hiptesis
es el consecuente, conclusin o tesis; y la proposicin resultante
ser falsa solamente cuando el valor de verdad del antecedente sea verdadero
y el valor de verdad del consecuente sea falso.
En espaol, la proposicin
ab
se puede encontrar con los siguientes
trminos gramaticales:
si
a , entonces
slo si
solamente si
si
si
a ,
con la condicin de que
cuando
siempre que
cada vez que
ya que
debido a que
puesto que
porque
se tiene
slo si
b ,
a
a
a
a
a
si se tiene
84

b , pues que
cuando
a ,
los
implica
son
b
b
b , o cualquier expresin que denote causa y efecto.
Ejemplo-Oraciones con la condicional

Si Gabriel presenta la tarea entonces tendr mejor promedio.
Cuando Fernando ahorre podr comprar el celular que tanto quiere.
Si Santiago prestara atencin en clases entonces fuera mejor estudiante.
Si Javier hubiera ido a la playa entonces hubiera visto el concierto.
Si Gonzalo tuviera 18 aos entonces podra entrar a la discoteca.
Si Viviana no fuera mentirosa entonces no la castigaran.
Si Cristian juega mejor entonces ser escogido para su categora.
Si Lisbeth no estudia para el examen entonces sacara una mala nota.
Ejemplo-Proposiciones con la condicional.
a : Juan gana el concurso.

b : Juan dona $ 10000.
La condicional entre
es:
a b : Si Juan gana el concurso, dona $ 10000.

Parafraseando la condicional, tenemos:
Juan gana el concurso slo si dona $ 10000.
Juan dona $ 10000 si gana el concurso.
Si juan gana el concurso, entonces dona $ 10000
Juan dona $10000 puesto que gana el concurso.
Juan dona $10000 debido a que gana el concurso.
Juan dona $10000 siempre que gane el concurso.
Cuando Juan gane el concurso, dona $10000.
Juan dona $10000 porque gana el concurso.
En base a este ejemplo, nos podemos preguntar: Cundo se quebrantar la
promesa de Juan? Esto ser nicamente cuando Juan gane el concurso y no
done el dinero.
a: Rolando est dormido.
b: Rolando est soando
La condicional entre a y b es:
85

ab: Si rolando est dormido entonces est soando.
a: David quiere comer.
b: David tiene hambre.
La condicional entre a y b se puede expresar como:
ab: Si David quiere comer entonces hambre.
a: Londres est en Inglaterra.
b: Pars est en Francia.
ab: Si Londres est en Inglaterra entonces Pars est en Francia.
a: El auto tiene gasolina.
b: El auto funciona.
ab: Si el auto tiene gasolina entonces funciona.
a: Jennifer calienta la cena .
b: Jennifer podr comer.
ab: Si Jennifer calienta la cena entonces podr comer.
Negacin de la condicional. Sean

la
condicional
entre
proposiciones, la negacin de
b , representada simbolgicamente por
(a b) , es una nueva proposicin, cuyo valor de verdad est dado por la

siguiente tabla de verdad:
a
0
0
1
1
b
0
1
0
1
ab
(a b)
1
1
0
1
0
0
|
0
86
RAZONAMIENTOS LGICOS.
La condicional o implicaciones es una funcin importante en los

razonamientos lgicos. Existen otras proposiciones relacionadas con la
a b , las cuales se denominan: recproca, inversa y
condicional
contrarrecproca (o contrapositiva).
La Recproca, es representada simblicamente por:
ba
La Inversa, es representada simbolgicamente por:
a b
La Contrarrecproca, es representada simblicamente por:
b a
Ejemplo-Variaciones de la condicional
A partir de la proposicin:
Si es un automvil, entonces es un medio de transporte.
La Recproca sera:
Si es un medio de transporte, entonces es un automvil.
La Inversa:
Si no es un automvil, entonces no es un medio de transporte.
La Contrarrecproca sera:
Si no es un medio de transporte, entonces no es un automvil.
Cabe anotar que una proposicin puede ser reemplazada por su
contrarrecproca sin que se afecte su valor de verdad, lo cual no se cumple con
la recproca o la inversa.
Ejemplo:
Todos los nios que son sanos, entonces son fuertes.
En este caso la implicacin es directa: p q;
v(p q) = v
Todos los nios que son fuertes, entonces son sanos.
En este caso la implicacin es reciproca: q p;
v(q p) = F
Todos los nios que no son sanos, entonces no son fuertes.
Al negar los dos elementos de la implicacin directa,
se obtiene la implicacin contraria: p q;
v( p q) = F
Todos los nios que no son fuertes, entonces no son sanos.
Al negar los elementos de la reciproca nos da como
Resultado la implicacin contra reciproca:
q p; v( q p) =
v
De los ejemplos podemos sacar en conclusin:
87

Un enunciado condicional y su reciproco o inverso no son lgicamente
equivalentes.
p
CONDICIONAL O
DIRECTA p q
V
V
F
F
V
F
V
F
V
F
V
V
RECIPROC
A
q p
V
V
F
V
INVERSA O CONTRA
RECIPROCA
p q
CONTRARIA q p
V
V
F
V
V
F
V
V
COMBINACIN: CONJUNCIN, DISYUNCIN Y CONDICIONAL
[(p q) (p q)]
p q r p p
q
q
V V V V
V
V V F V
V
V F V F
V
V F F F
V
F V V F
V
F V F F
V
F F V F
F
F F F F
F
[ {(pq) r} ( p r) ]
(p q) (p (pq)
q)
r
V
V
V
F
V
V
V
V
V
V
V
V
V
V
V
V
{(pq) r} ( p r)
V
F
V
F
F
F
F
F
( X Y) ( X
X Y Z
X
Z
V V V F
F
V V F F
V
V F V F
F
V F F F
V
F V V V
F
F V F V
V
F F V V
F
F F F V
V
pr
V
F
V
F
F
F
F
F
[(p q) (p q)] [ {(pq)

r} ( p r) ]
V
V
V
V
V
V
V
V
Z)
( X Y) ( X
Z)
V
F
V
V
F
F
F
V
V
V
V
V
V
V
V
V
88
( X Y) ( X
Z)
F
V
V
V
V
V
V
V

A
V
V
V
V
F
F
F
F
[(AC) B ] (AB)
B
C
(AC (AC)
)
B
V
V
V
V
V
F
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
F
F
V
F
V
F
V
F
F
F
V
AB
[(AC) B ] (AB)
V
V
F
F
F
F
F
F
V
V
F
V
V
V
V
V
BICONDICIONAL
Sean
proposiciones, la bicondicional entre
representada simbolgicamente por
b ,
a b , es una nueva proposicin, cuyo
valor de verdad est dado por la siguiente tabla de verdad:

a b a
b
0 0 1
0 1 0
Este operador lgico tambin se denomina doble implicacin. La proposicin a
b ser verdadera cuando los valores de verdad de ambas proposiciones
sean iguales. Tambin se puede observar que la proposicin a
b ser falsa
cuando los valores de verdad de ambas proposiciones sean diferentes.

En espaol, la proposicin a
b se puede encontrar con los siguientes
trminos gramaticales: a si y slo si b, a si y solamente si b, a implica b y

b implica a, a cuando y slo cuando b.
Ejemplo-Bicondicional de proposiciones.
Dada las proposiciones:
a: Un tringulo es equiltero.
b: Un tringulo es equingulo.
La bicondicional entre a y b es:
a
b:Un tringulo es equiltero si y slo si es equingulo.

a: Este mes habr cosecha.
b: Este mes llueve.
89

a
b:Este mes abra cosecha si y slo si este mes llueve.

a: Juan ingresar a la universidad.
b: Juan aprueba el examen de admisin
a
b: Juan ingresar a la universidad si y solo si aprueba el examen de
admisin.
a: La suma de 8 y 24 es igual a 32.
b: La diferencia es igual a 16.
a
b: La suma de 8 y 24 es igual a 32 si y slo si la diferencia es igual a
16.
a: Una razn es un divisin.
b: Una fraccin es una divisin.
a
b: Una razn es una divisin si y solo s una fraccin es una divisin ..
Negacin de la condicional
a b a
(a
b)
b
0 0 1
0
0 1 0
1
p: De las nubes brota la lluvia.
q: Este producto es ciclo del agua
p q: De las nubes brota la lluvia si y solo si este proceso no es producto
ciclo del agua.
p: El agua de mar es salada.
q: El agua de los ros es dulce.
p q: El agua de mar es salada si y solo s el agua de los ros es dulce.
90

p: Juan comprar un cachorro
q: Alex se porta bien.
(p q): No es verdad que Juan comprara un cachorro si y solo si Alex se
porta bien.
p: Ivn se casara en mayo.
q: Karen responde que s.
( p q): No es verdad que Ivn no s casara en mayo si y solo si Karen no
responde que s.
p: Eduardo bailar mucho.
q: Laura baila con Antonio.
p q: Eduardo no bailar mucho si y solo si Laura baila con Antonio.
91

Capitulo 1 y 2

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Capitulo 1 y 2

Diunggah oleh

Hak Cipta:

Format Tersedia

Portafolio de Matemtica Discreta

Conjunto Universal o Referencial:

Portafolio de Matemtica Discreta

Conjuntos Finitos e Infinitos.

Portafolio de Matemtica Discreta

Es el conjunto que tiene un solo miembro o elemento.

formado por algunos de los elementos de otro conjunto

es un subconjunto de este ltimo:

dos conjuntos tal que cada elemento de

B . Entonces se dice que:

Otras maneras de decirlo son "A est incluido en

{1, 3 } {1, 2,3, 4 }

{ 2, 4, 6, } {1, 2,3, .. }=N ( { Nmeros pares } { Nmeros naturales } )

Determinacin o notacin de conjunto

Portafolio de Matemtica Discreta

4.-Pertenencia.- Cundo es un elemento miembro de un conjunto. Si a es

Portafolio de Matemtica Discreta

Y se dice entonces que 4 pertenece al conjunto

5.- Igualdad.- La igualdad de conjuntos en matemticas; dados

C={1, 3,6 } y F={1,3, 6 } ; podremos escribir

extensible a ms de dos conjuntos.

{5xx 83x 14 x15=0 x R }

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Operaciones con conjuntos

es el conjunto de todos los elementos

o a ambos., y se representa por

por el diagrama de Venn

Portafolio de Matemtica Discreta

A B={1, 2,3, 4,5, 7,8 }

A B={1, 2,3, 4,a , b , c }

Portafolio de Matemtica Discreta

Se pueden dar esto:

Portafolio de Matemtica Discreta

C={1, 2,3, 4, 6, 9, 10,11, 12 }

AUB={1,2, 3, 4, 5,6, 7, 8,9 }

( AUB)(B C )={1, 4 ,6, 9 }

Portafolio de Matemtica Discreta

( A B)U ( B C)={1, 4,5, 6 }U {1, 4, 6, 9 }

( A B)U (B C)={1, 4 , 5,6, 9 }

Portafolio de Matemtica Discreta

3) Dados los conjuntos

A={a , b , c ,d , e }B={a ,c , e , f , g , h }C={a ,b , d , e , f , h ,i , j}

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

Dado los conjuntos:

La diferencia sera de la siguiente manera:

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

, pero s pertenecen a l Universo. En otras palabras es la

diferencia entre el conjunto Universo y el conjunto

Leyes del Algebra de conjuntos

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta

U={1,2, 3, 4, 5,6, 7, 8,9, 10, 11, 12,13 }

C={1, 3, 4,6, 7, 8, 9,10,11 }

B U C={1, 2, 3, 4,6, 7, 8, 9,10, 11 }

Portafolio de Matemtica Discreta

Portafolio de Matemtica Discreta