Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
B = {2, 3, 4}
C = { 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}
Infinitos:
Conjuntos Unitario.
Subconjunto
A
Un conjunto
Sean
elemento de
es tambin
A es un subconjunto de
B
B , y se denota
es un superconjunto de
A B
A , y se denota
B A
B ", " B
incluye a
A ",
etc.
Ejemplo:
El "conjunto de todos los hombres" es un subconjunto del "conjunto de todas
las personas".
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
aB .
Ejemplo:
Respecto a los conjuntos A, B y F de la seccin anterior, podemos decir:
4 A , 36 F , verde B , pero
o A
A , 4 es un miembro de
contiene 4.
son iguales
( A B)(B A )
(x B x A )
( x A x B)
( x A )<( x B)
Ejemplo:
Sea
C=F . Lo mismo es
Ejemplo:
Tabule los siguientes conjuntos:
1)
2)
x
A= x 2x12=0
x
Tabulacin
A= { 4,3 }
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
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:
oa
A
B
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
Ejemplo 2:
Dados los siguientes Conjuntos
A={1,2, 3, 4, 5 }
B={1, 2, 4, 7,8 }
3
5
Ejemplo 3:
1
2
4
7
8
A={1,2, 3, 4 }
B={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
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
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 }
B C={1, 4,6, 9 }
( A B)U (B C)
2 14
3 6 9
10 11
12
11
B C={1, 4,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
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)
( 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
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:
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 }
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
A .
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 }
{( ,, AC ) }
1. Ley de la Idempotencia
A A= A
Ejemplo:
U={1,2, 3, 4, 5,6, 7 }
20
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:
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,9,10}
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
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
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}
24
4
6
-9
5
7
AUB
BU A
A B=B A
B A={9}
B
2
-9
3
4
2
5
-9
9
6
3
4
7
8
A B
B A
4. Ley Distributiva
25
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
U
A
5
9
3
10
10
1
7
11
13
11
12
13
3
7
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)
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
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 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
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
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
34
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
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
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 }
38
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
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
Sombrear
a)
( A U B )C
AUB
(A U B)
42
( B A )C
BA
c)
AC BC
(B
AC BC
A C BC
d) (A B )C
43
AB
B )C
(A
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
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
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
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:
Solucin:
61
Ejercicios:
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
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
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)
b)
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
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
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
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.
Bicondicional
, ~ , , .
NOT.
, & , .
AND.
, +
OR
XOR
No es verdad que A y B
, , > <,
, v
, ,
NAND
No es verdad que A o B
, +
XNOR
NEGACIN
68
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
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.
Si se tienen las proposiciones:
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.
Si se tienen las proposiciones:
a: Alexis come pan.
b: Mara toma jugo.
La conjuncin entre a y b se puede expresar como:
ab: Alexis come pan y Mara toma jugo.
Si se tienen las proposiciones:
a: Alison viaja a Venezuela.
b: Martn trabajo hoy.
La conjuncin entre a y b se puede expresar como:
ab: Alison viaja a Venezuela y Martn trabaja hoy.
Si se tienen las proposiciones:
a: Anabel pasea por la ciudad.
b: Fabin cuida a su hermano.
La conjuncin entre a y b se puede expresar como:
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.
71
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
simbolgicamente por ab, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla
a de
b verdad:
ab
0
0
1
1
0
1
0
1
0
1
1
1
Este operador lgico relaciona dos proposiciones para formar una nueva, en la
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
73
b)
b
0 0 0
1
0 1 1
0
1 0 1
0
Si se tienen las proposiciones:
p: Est lloviendo.
q: Est de noche.
p q: Est lloviendo o no es de noche.
Si se tienen las proposiciones:
p: La puerta est oxidada.
q: La puerta est daada.
p q: La puerta no est oxidada o no est daada.
Si se tienen las proposiciones:
p: Hace fro.
q: Est nevando.
(p q): No es verdad que hace fro o est nevando.
Si se tienen las proposiciones:
p: Karen est llorando.
q: Karen est caminando.
( p q): No es verdad que Karen no est llorando o no est caminando.
Si se tienen las proposiciones:
p: Eduardo baila mucho.
q: Eduardo celebra su cumpleaos.
74
b
0
1
0
1
ab
0
1
1
0
Este operador lgico relaciona dos proposiciones para formar una nueva, en la
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.
75
(a
b)
1
0
0
1
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
78
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
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
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
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
P (Q
PR
PQ
81
(P Q) (P R)
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
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
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
Sean
simbolgicamente por
b , representada
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
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
trminos gramaticales:
si
a , entonces
slo si
solamente si
si
si
a ,
cuando
siempre que
ya que
debido a que
puesto que
porque
se tiene
slo si
b ,
a
a
a
a
a
si se tiene
84
a ,
los
implica
son
b
b
es:
85
condicional
entre
proposiciones, la negacin de
a
0
0
1
1
b
0
1
0
1
ab
(a b)
1
1
0
1
0
0
|
0
86
RAZONAMIENTOS LGICOS.
ba
a b
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
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
[(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
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
[(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
b ,
b ser falsa
89
admisin.
Dada las proposiciones:
a: La suma de 8 y 24 es igual a 32.
b: La diferencia es igual a 16.
La bicondicional entre a y b es:
a
16.
Dada las proposiciones:
a: Una razn es un divisin.
b: Una fraccin es una divisin.
La bicondicional entre a y b es:
a
Negacin de la condicional
a b a
(a
b)
b
0 0 1
0
0 1 0
1
Si se tienen las proposiciones:
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.
Si se tienen las proposiciones:
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
91