Professional Documents
Culture Documents
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
UNIDAD DE CIENCIAS BSICAS
Medelln D. C, 2010
General
MDULO
LGICA MATE MTICA
CUARTA EDICIN
3 de febrero de 2010
ISBN
2010
Medelln, Colombia
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
OH
dicha
de
entender, mayor que la de
imaginar o la de sentir!
Borges.
Introduccin
Este mdulo est concebido para ser un curso introductorio al apasionante mundo
de la lgica Matemtica, ha sido diseado para ser un curso transversal a todos los
programas acadmicos de la UNAD.
Para leer el mdulo slo se necesitan los conceptos de conjuntos numricos, y
operaciones algebraicas como destruccin de signos de agrupacin, factor comn,
ecuaciones e inecuaciones de primer grado que pueden ser recordados de manera
simultnea.
La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en
este sentido es un texto escrito ms para los estudiantes que para el profesor.
En el primer captulo, analizaremos las diferentes operaciones entre conjuntos, tales
como unin, interseccin y complemento, entre otras operaciones, que nos permitirn
llegar a la compresin de los conectivos lgicos usados en el lenguaje natural, partiendo
de una representacin grfica. A la par desarrollaremos las destrezas lgico matemticas,
dando solucin a problemas como ste:
De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la
UNAD, los amantes de la msica de Juanes son 15; mientras que los que
nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos de los
dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira,
afirman ser fanticos de Juanes?
El segundo captulo es una herramienta que permite adquirir habilidades para
comprender conceptos como los conectivos lgicos que usamos diariamente en nuestro
leguaje y que pocas veces nos detenemos a analizar y comprender, por ejemplo, nuestro
amigo Boole afirma que cuando gane su equipo predilecto har fiesta, pasado un
tiempo encontramos que Boole est festejando pero que su equipo predilecto ha perdido,
Se est contradiciendo el amigo Boole?, en este curso descubriremos y analizaremos el
conectivo lgico que ha usado Boole en su afirmacin, para concluir sobre este asunto.
Identificar los conectivos lgicos, las premisas y comprender su funcin en el
lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la
coherencia en la construccin gramatical.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
Contenido
Teora de conjuntos y principios de Lgica.
Teora de conjuntos
Representacin grfica
Formas para determinar un conjunto
Conjuntos Finitos
Conjuntos especiales
Relaciones entre conjuntos
Operaciones entre conjuntos
lgebra de conjuntos
Principios de Lgica
Historia y clasificacin
Clasificacin de la lgica
Conceptualizacin
Lgica y lingstica
Simbolizacin
Proposiciones
Conectivos Lgicos
Proposiciones simples
Proposiciones Compuestas
Tablas de verdad
Leyes de la lgica
Leyes del lgebra de proposiciones
Cuantificadores
Proposiciones categricas
Proposicin categrica universal afirmativa
Proposicin Categrica Universal negativa
Proposicin categrica afirmativa particular
Proposicin Categrica Negativa particular
Cualidad y cantidad de las proposiciones categricas
Proposiciones contrarias, de contingencia y subcontrarias
Smbolo y diagramas para proposiciones categricas
Deduccin
El mtodo cientfico
Silogismos categricos
Forma Estndar de un silogismo categrico
Argumento deductivo
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
Induccin
Argumento Vlido
Prueba formal de validez
Prueba de invalidez
Argumento Invalido
Inferencias lgicas
9 Reglas de inferencia
La demostracin
Demostracin directa
Demostracin indirecta
Demostracin por recursin
Demostracin por refutacin
Refutacin por contradiccin
Refutacin por contraejemplo
El problema de la induccin:
Argumento inductivo por analoga
Evaluacin de los argumentos analgicos
La fuerza de las conclusiones con respecto a sus premisas.
Refutacin por medio de una analoga lgica
lgebra Booleana
Axiomas del lgebra Booleana
propiedades o axiomas
lgebra booleana en sistemas numricos
lgebra booleana de los conjuntos
lgebra booleana de la lgica
Expresiones Booleanas
Forma normal disyuntiva
Forma normal conjuntiva
Simplificacin de Expresiones Booleanas
Simplificacin de expresiones
Karnaugh
de
Unidad
Teora de conjuntos y
principios de Lgica.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
Captulo
1:
Teora de conjuntos y
principios de lgica
U
1.Unidad 1
Captulo 1 Teora de conjuntos y principios de lgica
Objetivo general
Estudiar, analizar y profundizar los conceptos fundamentales de la teora de conjuntos,
bsicos para llegar a la comprensin de los conectivos lgicos y su relacin con el
lenguaje natural, a la vez que son aplicados en la solucin de problemas.
Objetivos especficos
1.
2.
3.
4.
5.
Definicin y generalidades
Las nociones de conjunto y de elemento son ideas primitivas que se presentan en forma
intuitiva. Los conjuntos estn relacionados con el proceso de contar y por lo tanto permiten
resolver problemas que involucran el concepto de cantidad.
Se puede afirmar que un conjunto es una coleccin de objetos, smbolos o entidades bien
definidas, que reciben el nombre de miembros o elementos del conjunto.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
xA
x A
U
A
Figura No. 1
9
Por comprensin
Un conjunto est determinado por comprensin cuando se nombra una propiedad, una
regla o una caracterstica comn a los elementos del conjunto. Por ejemplo:
C = {Nmeros impares menores que 10}
D = {Vocales}
B = {Dgitos}
Lenguaje:
E = {x R / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se lee
as:
E igual al conjunto de todos los nmeros reales tales que (o que verifican que) cero (0) es
menor o igual a x, y, x a su vez es menor que 9, esta notacin se usa con mucha
frecuencia para describir intervalos, para escribir la solucin de una inecuacin o para
representar el dominio de una funcin real.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
10
Z = {x N / x es par}
Que no se pueden expresar por extensin debido a que nunca se terminara de escribir la
lista de los nmeros reales que pertenecen al conjunto A, o, los naturales que pertenecen
a Z, este tipo de conjuntos, reciben el nombre de INFINITOS;
Conjuntos finitos
Mientras que otros, como por ejemplo:
C = {x / x es vocal}
D = {x / x es dgito par}
Que estn formados por cierto nmero de elementos distintos, reciben el nombre de
conjuntos FINITOS.
Todos los conjuntos que se nombran por comprensin, se pueden escribir por extensin?
El anlisis anterior, permite dar respuesta a esta pregunta, se sugiere buscar ms
ejemplos que justifiquen la respuesta para que sean analizados con el tutor y luego
socializados en los equipos de trabajo.
11
Conjuntos especiales
Conjunto Vaco
Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as:
U
A
A=
{ }
Figura No. 2.
Naturalmente el conjunto
afirmar que:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
12
Conjunto Unitario
Se denomina conjunto unitario al conjunto formado por un slo elemento.
U
A
A = Conjunto Unitario
A = {7}
Figura No. 3
Ejemplo:
E = {x / x es un primo par}
El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el nmero 2,
por lo tanto E = {2} se llama unitario.
Conjunto Universal
Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza de
sus elementos, por ejemplo:
Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a, e, i,
o, u}, es decir, A V, este conjunto V constituye el universo del conjunto A, por esta razn
se dice que V es un conjunto Universal.
o
a
U = Conjunto Universal
A = {a,e,i}
U = V = {a,e,i,o,u}
Figura No. 4
Similarmente, si A = {x N / x es primo} sus elementos son elementos del conjunto de
los nmeros naturales N, A N y en este caso, N se constituye en el conjunto universal.
Generalmente, el conjunto universal se simboliza con la letra U.
13
P(A)
2n subconjuntos
Note que:
Como ya habamos analizado, el conjunto vaco est en todo conjunto y este caso no es la
excepcin, por esta razn P(A). Adems, cave anotar que los elementos del conjunto
A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una familia
de conjuntos.
El nmero de elementos del conjunto P(A) depende del nmero de elementos de A; en el
ejemplo, A tiene 3 elementos y P(A) tiene 8 = 23 elementos, en general, Si A tiene nelementos se pueden formar 2n subconjuntos del conjunto A.
Cuntos y cules son los subconjuntos que se pueden formar de un conjunto
A = { 1,3,5} ?
Ejemplo 2.
Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos
de B son conjuntos y otros no. Para que el conjunto B fuera un conjunto de partes o una
familia de conjuntos debera estar expresado de la siguiente forma:
B = { {2}, {1,3}, {4}, {2,5} }.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
14
B
A
A C B
xA
xB
Figura No. 5
Ejemplo 1:
Si A = {x / x es dgito par} y B = {x / x es dgito}, claramente A B ya que todo
dgito par es dgito. Por extensin la situacin se expresa as:
A = {2, 4, 6, 8}
y
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Entonces A es un subconjunto de B.
15
S A B
U
B C, entonces,
C
B
Figura No. 6
A C
A C B
B C C
______
A C C
xA
xB
xC
La demostracin es la siguiente:
S x A; entonces x B porque A B, pero x tambin esta en n porque
B C; por lo tanto si xA, entonces x C y esto se cumple para todo elemento x que
est en A, debido a que el conjunto A esta contenido en el conjunto B y B a su vez, esta
contenido en C; por consiguiente queda demostrado que A C.
Si A, B y C son tres conjuntos no vacos que verifican las condiciones A B y
qu se puede concluir de A con respecto a C?
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
16
B C,
A = B si A
U
A
2
1
4
3
5
A C B
B C A
______
B=A
Figura No. 7.
Ejemplo 1.
Si M = {1, 1, 0, 2} y N = {2, 1, 0, 1}, claramente se observa que M N y que N M,
por lo tanto M = N.
Ejemplo 2.
Si A = {x / x es dgito} y B = {x / x es dgito par}, se puede observar que B A pero A
B, por lo tanto el conjunto A no es igual al conjunto B, lo cual se escribe, A B.
A 9 B
1
2 4
5
3
8
6
7
B C A
A B
______
A B
Figura No. 8
17
B
7
1
5
2
ABy
B A y no hay
elementos
comunes
Figura No. 9.
Ejemplo 3.
Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen ningn
elemento en comn, es decir A y B son disyuntos.
Subconjunto propio
Todo conjunto es subconjunto de s mismo, es decir, A A (con A un conjunto cualquiera),
si ese subconjunto se llama B, entonces se puede afirmar que B es un subconjunto propio
de A, este hecho se simboliza as:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
18
Unin
Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de
todos los elementos que pertenecen al conjunto A o al conjunto B.
Simblicamente la unin se define as:
3 2
1 4
AU B
Figura No. 10.
6 7
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
A U B = {1,2,3,4,5,6,7}
19
3
6
14 5
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A U B = {1,2,3,4,5,6,7}
Figura No. 11
3
1
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A U B = {1,2,3,4,5,6,7}
Figura No. 12
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
20
3 7
15 2
6
4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,5,7,9}
B = {2,4,6,8}
A U B=
{1,2,3,4,5,6,7,8,9}
Figura No. 13
La figura No.3 permite apreciar que el nico dgito que es a la vez par y primo es el
nmero 2; esto conlleva a la formulacin de la siguiente operacin entre conjuntos:
Interseccin
Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos
los elementos que pertenecen simultneamente al conjunto A y al conjunto B.
Simblicamente la interseccin se expresa as:
A B = {x / x A, ,x B}
el smbolo se lee interseccin y el smbolo se lee y.
21
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
6 7
2
1 4
B={}
Se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y
los conjuntos se llaman disyuntos, como ya se haba mencionado;
3 2 6
1 4 5
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
B = {5,6 }
Figura No. 15
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
22
3
1
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
B = {5,6,7 } = B
Figura No. 16
Esto permite afirmar que si A B, entonces. A B = A; anlogamente se puede inferir
que si B A, entonces, A B = B.
A continuacin se realiza la demostracin analtica para el caso 3 de la figura No. 16, la
otra situacin si B A, entonces, A B = B, se deja como ejercicio complementario (se
encuentra al final del captulo), esta demostracin es muy similar a la que se har a
continuacin, sin embargo la puede consultar en el libro, Teora de conjuntos de Seymour
Lipschutz.
Si A B, por definicin de contenencia entre conjuntos se puede afirmar que todo
elemento x A, entonces x B; por definicin de interseccin, stos elementos x
forman el conjunto A B y como todos estos son elementos de A, se puede concluir que
A B = A.
Ejemplo 1.
Dados los conjuntos:
M = {x N / x es mltiplo de 2}
N = {x N / x es mltiplo de 3}
P = {x N / x es impar}
Se pueden analizar las siguientes intersecciones:
1.
2.
M P =
impar.
23
3.
4.
U=
M=
N=
M N=
M P=
P
MNP=
Figura No. 17
Diferencia
Segn los tres casos estudiados, se puede afirmar que al comparar dos conjuntos no
vacos, puede suceder que:
1.
2.
3.
4.
En los numerales 1, 2 y 3, se puede formar un conjunto con los elementos que le faltan
a un conjunto para ser igual a otro, este conjunto as formado, se denomina diferencia
entre conjuntos.
Si A y B son dos conjuntos no vacos, entonces se define la diferencia entre A y B as:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
24
A B = {x / x A, , x B}
Esto se lee: A menos B, es el conjunto formado por los elementos que estn en el
conjunto A pero no en el B.
En la siguientes grficas, la parte sombreada representa la diferencia entre los conjuntos A
y B.
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
1 4
6 7
A - B = A = {1,2,3,4}
B - A = B = {5,6,7}
2 6
3
14 5
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
B = {1,2,3,4}
Figura No. 19
25
2B
3 6 7
14 5
Figura No. 20
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A
B
B = {1,2,3,4}
A={}
En la figura 20, se puede observar que todos los elementos que estn en B, estn en A
(debido a que B A), por lo tanto no existe ningn elemento que pertenezca a la
diferencia B A y en consecuencia B A = . Surge ahora, la siguiente inquietud:
Cul ser la diferencia entre A y B (A B) cuando B A?
Esta pregunta se plantea formalmente en el numeral 4 de los ejercicios complementarios y
el propsito es realizar la demostracin con el apoyo del tutor.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
26
6
1
5B
9 8
7
2 0
U = {0,1,2,3,4,5,6,7,8,9}
A = {0,1,2,3,4,5,6,7,8,9}
B = {0,2,3,7}
A
B
B = {1,4,5,6,8,9}
A={}
Figura No. 21
Diferencia simtrica
Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el conjunto
formado por los elementos que pertenecen al conjunto A o al conjunto B, pero no
pertenecen simultneamente a ambos conjuntos.
Simblicamente la diferencia simtrica entre A y B se escribe as:
A B = {x / x A, v, x B, , x A B}.
27
2
1 4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
6 7
9
A B = {1,2,3,4,5,6,7}
B A = {1,2,3,4,5,6,7}
3
6
14 5
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A B = {1,2,3,4,7}
B A = {1,2,3,4,7}
Figura No. 23
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
28
3 6 7
1 4 5
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A B = {1,2,3,4}
B A = {1,2,3,4}
Figura No. 24
Ejemplo 1.
Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra de la
palabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}.
Ejercicio propuesto:
Representa el ejemplo anterior mediante diagramas de Venn
U
=
A
=
B
=
A B=
AB =
AUB=
Figura No. 25
Ejemplo 2.
Dados los conjuntos M = {1, 2, 3, 4} y N = {4, 5}, la diferencia simtrica entre M y N es:
M N = {1, 2, 3, 5}, claramente se puede observar que el nmero 4, no pertenece a la
diferencia simtrica porque forma parte de la interseccin entre M y N.
29
Ejercicio propuesto:
Representa el ejemplo anterior mediante diagramas de Venn
U
=
A
=
B
=
AB=
AB =
AUB=
Figura No. 26
Complemento
Si A es un conjunto no vaco, el complemento de A, simbolizado por A, est formado por
todos los elementos que no pertenecen al conjunto A, es decir,
A = Ac = A* = ~A = A = A = {x / x A}
En la siguientes grficas, la parte sombreada representa el complemento del conjunto A.
2
1 4
6 7
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
A = {5,6,7,8,9}
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
30
3
6
14 5
7
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A = {7,8,9}
Figura No. 28
AA
32 6
1
4
8
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A = {8,9}
Ejemplo 1.
Al considerar el conjunto universal como el conjunto de los estudiantes de Ingeniera de
sistemas de la UNAD y A como el conjunto de los estudiantes que estn en el primer
semestre, el complemento del conjunto A (A) ser el conjunto formado por todos los
estudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto
es:
U = {x UNAD / x estudia ingeniera de sistemas}.
A = {x Ingeniera de sistemas / x Primer semestre}.
A = {x Ingeniera de sistemas / x Primer semestre}.
31
Producto Cartesiano
Par ordenado o pareja ordenada:
La expresin (x , y ) representa una pareja ordenada , que cumple la condicin de que su
primera componente, (x) pertenece al conjunto A y la segunda componente (y)
pertenece al conjunto B.
Plano cartesiano:
Los pares ordenados (x,y), (-x,y), (x,-y), (-x,-y) se representan en el plano cartesiano
como sigue:
Y
(-x,y)
-x
(-y,-x)
(x,y)
x
-y
(x,-y)
Figura No. 30
Producto Cartesiano:
Si A y B son dos conjuntos no vacos, se define el producto cartesiano entre A y B as:
A X B = {(x , y ) / x A , , y B }.
Ejemplo 1.
Si A = {1, 2,3} y B = {-1, 0, 2} el producto cartesiano de A X B es:
A X B = {(1,-1),(1,0),(1,2),(2,-1),(2,0),(2,2),(3,-1),(3,0),(3,2)} y el producto de BXA es
B X A = {(-1,1),(-1,2),(-1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)}
De donde se observa que el producto cruz no es conmutativo, es decir:
AxBBxA
Se puede observar que el producto cartesiano entre A y B no es conmutativo, puesto que
la pareja ordenada ( x, y ) es diferente a la pareja ordenada ( y, x ), en particular, (-1,1) es
diferente a (1, -1) y ( 1,1) es diferente a (-1,-1).
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
32
-1
(-1,-1)
(1,1)
1
-1
(1,-1)
Figura No. 31
Ejercicio propuesto:
Realiza el siguiente producto cartesiano y luego ubica los pares ordenados en el plano
cartesiano: Si A = {2,3} y B = {1, -2} A x B es:
33
Algebra de conjuntos
Propiedades de las operaciones entre conjuntos
Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e
interseccin:
a. Leyes de idempotencia:
A U A = A
A A = A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A B) C = A (B C)
b. Leyes conmutativas:
A U B = B U A
A B = B A
d) Leyes distributivas:
A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)
Las siguientes propiedades estn relacionadas con los conjuntos Universal U y vaco
:
e) Leyes de identidad:
A U U = U
A U = A
A U =A
A =
A A' =
' = U
g) Leyes de DMorgan:
(A U B)' = A' B'
(A B)' = A' U B'
Estas leyes se pueden representar grficamente de la siguiente forma:
a) Leyes de idempotencia:
A U A = A
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
34
U
A
A
A
A
U
A
=
A
A
A
A
Figura No. 33
b) Leyes de identidad:
A U U = U
A U = A
A U =A
A =
Figura No. 34
Qu se obtiene de unir el conjunto A con el vaco? :
=
Figura No. 35
35
U
A
=
Figura No. 36
=
Figura No. 37
U
A
U
A
=
Figura No. 38
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
36
=
Figura No. 39
d) Leyes de D Morgan:
(A U B)' = A' B'
(A B)' = A' U B'
La demostracin grfica de (A U B)' = A' B' es la siguiente:
2 6
3
14 5
7
9
2 6
3
1 4 5
7
9
(A U B)
A U B
As
hemos encontrado el rea que representa a la primera parte de la igualdad, ahora
representamos la segunda parte, se espera que los resultados sean iguales:
2
3 6 7
14 5
2
3 6 7
14 5
2
3 6 7
14 5
A' B'
Figura No. 40
37
Ejercicio propuesto:
Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B'
para ello subraya el rea correspondiente.
Primera parte
2
3 6 7
14 5
32 6 7
14 5
______
U
26
3
7
14 5
_______
26
7
3
14 5
______
3 6 7
14 5
____
U
26
3
7
14 5
____
_______
Figura No. 41
Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza dual de la
teora de conjuntos.
Ejercicio propuesto:
Simplificar aplicando las leyes del Algebra de conjuntos:
1)
2)
3)
4)
5)
( (A B)' )
(A ) ( ( (B)' ) )
(A' U A' ) U B'
(A )'
(A )'
6) (A U ) '
7) (A A)' U (A' U A' )
8) (A U A ) '
9) (A A ) ' U A'
10) ( (A ) U U )' A'
38
Principio de dualidad
Si se intercambian las operaciones unin (U) por interseccin (), como tambin el
conjunto universal (U) por el conjunto vaco (), en cualquier razonamiento sobre
conjuntos, el enunciado resultante se llama DUAL del primero.
Ejemplo 1.
Demostrar que el dual de;
(U U B) (A U ) = A es:
( B) U (A U) = A
Tomando la primera parte y por las leyes de identidad se tiene que:
(U U B) (A U )
U
A
= A
Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad se tiene
que:
( B) U (A U)
U
A
= A
Con lo cual queda demostrado.
39
Ejemplo 2.
Demostrar que el dual de
(A B) U (A B') = A es
(A U B) (A U B') = A
En este caso se puede hacer la demostracin en forma grfica as:
i) La primera parte se puede representar de la siguiente forma:
32 6 7
14 5
326 7
14 5
326 7
14 5
26
3
7
14 5
(A B)
( A B' )
9
=
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
3 6 7
14 5
40
A B'
2
3 6 7
14 5
32 6 7
14 5
32 6 7
14 5
A
U
A
32 6 7
14 5
2
3 6 7
14 5
A U B
32 6 7
14 5
9
(A U B)
A U B
U
B
32 6 7
14 5
9
=
41
Principios de lgica.
y
o
No
Si entonces
S y slo si
v
~
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
42
Principios de lgica
Objetivo general
Establecer el valor de verdad de muchos de los enunciados lgicos, utilizando las leyes de
la lgica y las de las inferencias, ya sea para determinar la conclusin, o para determinar
la consistencia interna de un razonamiento.
Utilizar las diferentes leyes de la lgica con el fin de obtener precisin, claridad y
generalidad en diferentes razonamientos.
Objetivos especficos
1. Conocer la historia de la lgica y su clasificacin.
2. Establecer la relacin entre lgica y lingstica.
3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y
equivalencia.
4. Elaborar la tabla de verdad de enunciados o expresiones lgicas.
5. Aplicar las leyes del lgebra de proposiciones para realizar demostraciones.
6. Determinar la conclusin de un grupo de premisas utilizando las inferencias lgicas.
7. Definir y diferenciar conceptos tales como razonamiento, demostracin y
argumento.
43
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
44
Clasificacin de la lgica
La lgica se puede clasificar como:
1. Lgica tradicional o no formal.
2. Lgica simblica o formal.
En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico,
y los mtodos de inferencia que estn relacionados con la destreza para interpretar y
distinguir el razonamiento correcto del incorrecto; se puede considerar que la lgica no
formal resume las experiencias humanas obtenidas del conocimiento y de la observacin
del mundo circundante.
La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de
investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la
inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas
puras y rigurosas. En el pensamiento simblico, las palabras se manipulan, segn las
reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
Conceptualizacin
La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de
verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de
proposiciones supuestas; adems, la lgica es una ciencia que se interesa por las
relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y
generalidad en los razonamientos.
La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede
evitar con facilidad.
La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los
elementos bsicos de un argumento lgico, tanto en su representacin simblica como en
su significado para luego establecer un lenguaje simblico artificial, que le permita
simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que
se aplica el conocimiento.
45
Lgica y Lingstica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes:
los lenguajes naturales y los lenguajes formales o artificiales.
Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el
castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron
establecidas a posteriori, es decir despus de que el lenguaje ya haba madurado.
Los lenguajes formales como las matemticas y la lgica, fueron desarrollados,
generalmente, a partir del establecimiento de una teora, la cual da las bases para que a
travs de dichos lenguajes se pueda desarrollar la misma teora.
Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la
existencia de un conjunto finito llamado alfabeto, el cual esta constituido de smbolos
simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos
los alfabetos: latino, griego y rabe-persa, entre otros. En los formales como la lgica se
tiene el lxico del clculo proposicional y de predicados.
Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o
palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se
considera como un conjunto infinito de oraciones o enunciados que se forman con
palabras del diccionario.
En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos,
(lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje formal, las
palabras y las oraciones estn perfectamente definidas, una palabra mantiene el mismo
significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto,
necesariamente exentos de cualquier componente semntico fuera de sus operadores y
relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes
formales pueden ser usados para modelar una teora de la ingeniera de sistemas,
mecnica, elctrica, entre otras.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
46
p:
q:
r :
s:
x:
Hoy es sbado.
Estudio ingeniera de sistemas.
New York es llamada la capital del mundo.
1 no es un nmero primo.
4 + 3 = 10.
Es decir, se puede establecer una relacin biunvoca entre el lenguaje natural y el lenguaje
formal. Estas proposiciones generalmente se llaman frases.
En el lenguaje cotidiano se encuentran expresiones como por ejemplo:
Las rosas son rojas y tienen espinas.
La seleccin Colombia gan o perdi?
En el pas no hay violencia.
Si estudio lgica matemtica entonces ser un destacado ingeniero de
sistemas.
4 es un nmero par si y slo si se puede dividir por 2.
47
Conectivos Lgicos
Estos trminos de enlace reciben el nombre de Conectivos lgicos y al igual que a las
proposiciones, tambin se les asignan un lenguaje simblico, as:
LENGUAJE NATURAL
LENGUAJE FORMAL
No
Si entonces
S y slo si
48
Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lgicos.
Estos son algunos ejemplos:
p:
q:
r :
s:
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no
los dos valores al mismo tiempo, pues dejara de ser proposicin.
Proposiciones Compuestas
Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms
proposiciones simples mediante trminos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:
p : Est lloviendo.
q: El sol brilla.
p q: Est lloviendo y el sol brilla.
49
x : Quieres caf?.
y : Quieres t?.
x v y : quieres caf o t?.
s : Llueve.
r : Hace fro.
s r : Si llueve entonces hace fro.
p : Un tringulo es equiltero.
q: Un tringulo tiene sus tres lados iguales.
p q : Un tringulo es equiltero si y slo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de
cada una de las proposiciones simples que la conforman y de la forma como estn
combinadas; para establecer este valor, se fijan criterios que se estudiarn en las
prximas secciones de este captulo.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
50
Conectivos Lgicos
Como ya se dijo en la seccin anterior, los smbolos que sirven para enlazar dos o ms
proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la
disyuncin, la negacin, el condicional y el bicondicional.
La conjuncin:
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada
por
p q, se denomina la conjuncin de p y q.
Ejemplos de conjuncin:
Ejemplo 1
La proposicin compuesta r s : 6 es nmero par y entero positivo, est formada
por:
r : 6 es un nmero par.
:y
s : entero positivo.
Ejemplo 2
p q : Termino de escribir mi programa de computacin y luego jugar tenis
p:
Termino de escribir mi programa de computacin.
:
y
q:
jugar tenis.
51
2.
3.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
52
La disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama
disyuncin de p y q.
El operador o se puede usar de dos formas: como o incluyente o como o excluyente.
En el primer caso (o incluyente) hace que el valor de verdad de una de las dos
proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva;
mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin
excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome
el valor verdadero.
53
La negacin ~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin
compuesta no p simbolizada por: ~ p.
Ejemplo 1.
p : 3 es un nmero entero primo.
~ p : 3 no es un nmero entero primo, tambin se puede leer.
es falso que 3 es un nmero entero primo.
Ejemplo 2.
q : El automvil de Francisco es rojo.
~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de
Francisco es rojo.
El condicional
Se dice que una proposicin compuesta es condicional, si esta formada por dos
proposiciones simples enlazadas por la expresin sientonces.
Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as :
p q y se lee p implica q.
La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la
proposicin precedida por la expresin entonces, se llama consecuente o conclusin
de la implicacin. En la expresin p q, el antecedente es p y el consecuente es q.
Las proposiciones condicionales se pueden enunciar de diferentes maneras as:
Si p entonces q.
p slo si q.
q si p.
p es suficiente para q.
q es necesaria para p.
54
p:
q:
2m es divisible por 4
m es par
entonces:
La proposicin directa es: p q: Si 2m es divisible por 4 entonces m es par, la contraria
es:
q p: Si m es par entonces 2m es divisible por 4, la recproca es: ~ p ~ q: si
2m no es divisible por 4, entonces m no es par y la contrarrecproca es: ~ q ~ p : Si m
no es par, entonces 2m no es divisible por 4.
Ejemplo 2.
Teniendo en cuenta la proposicin directa: ~ p q construir las otras formas de la
implicacin:
Contraria:
Recproca:
Contrarrecproca:
Ejemplo 3.
Proposicin directa:
Contraria:
Recproca:
Contrarrecproca:
q ~ p
~ (~ p) ~ q
p ~ q
~ q ~ (~ p)
~ q p.
~ p ~ q
~ q ~ p
~ (~ p) ~ (~ q)
p q
~ (~ q) ~ (~ p)
q p
55
El bicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.
Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional est formado por las implicaciones p q y q p, las cuales deben
tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia,
se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir
p q.
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin,
stas son:
p s y slo si q.
q s y slo si p.
si p entonces q y recprocamente.
si q entonces q y recprocamente.
p es una condicin necesaria y suficiente para q.
q es una condicin necesaria y suficiente para p.
Ejemplo 1.
Dadas las proposiciones:
p: Un tringulo es rectngulo.
q: Un tringulo tiene un ngulo recto.
El bicondicional p q se puede traducir de las siguientes formas:
Un tringulo es rectngulo s y slo s tiene un ngulo recto.
Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo
Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene
un ngulo recto entonces es un tringulo rectngulo.
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que
tenga un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es
que sea un tringulo rectngulo.
Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
56
V
F
V
F
F
F
V
V
pq
pvq
V
F
F
F
V
V
V
F
pq
V
F
V
V
pq
V
F
F
V
Para simbolizar los valores de verdad de una proposicin, se utiliza el sistema binario,
mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla
resume los valores de verdad de los conectivos lgicos:
p q ~p
1
1
0
0
1
0
1
0
0
0
1
1
Pq
pvq
Pq
pq
1
0
0
0
1
1
1
0
1
0
1
1
1
0
0
1
57
Ejemplo 1.
Construir la tabla de verdad para la proposicin ~ (p q).
Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis.
Paso 2.
Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la
conjuncin.
Paso 3.
Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.
Paso 4.
Se elabora la tabla con el nmero de columnas determinado por:
Proposiciones que intervienen
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis.
La siguiente tabla ilustra el paso 4:
p q
p q
~(p q)
Paso 5.
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la
siguiente tabla
p q
1
1
0
0
p q
~(p q)
1
0
1
0
Paso 6.
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de
cada proposicin simple. La finalizacin de la elaboracin de la tabla de verdad es:
p q pq ~(pq)
p q p q
~(p q)
V V
V
F
1 1
1
0
V F
F
V
1 0
0
1
F V
F
V
0 1
0
1
F F
F
V
0 0
0
1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
58
q pvq
1
1
0
1
1
1
0
0
p q
1
0
0
0
(p v q) (p q)
1
0
0
0
Ejemplo 3
Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p)
p ~ p ~ (~ p)
V F
V
F V
F
p ~ p ~ (~ p)
1 0
1
0 1
0
Este resultado permite concluir que la doble negacin de una proposicin es la misma
proposicin.
59
q
V
F
V
F
pq
V
F
F
F
q p v q
V
V
F
V
V
V
F
F
p ~p
V F
F V
La negacin
El condicional
p q
V
V
F
F
V
F
V
F
p q
V
F
V
V
q
V
F
V
F
pq
V
F
F
V
El bicondicional
p
V
V
F
F
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
60
p q ~p ~q
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
p q
Directa
1
0
1
1
q p
Contraria
1
1
0
1
~ p ~ q
Recproca
1
1
0
1
~ q ~ p
Contrarrecporca
1
0
1
1
Esta tabla permite analizar que los valores de verdad correspondientes a las columnas de
la directa y la contrarecpoca coinciden, al igual que los de las columnas de la contraria y
de la recproca, por lo tanto estas implicaciones son equivalentes, es decir:
1. ( p q ) (~ q ~ p )
2. ( q p ) (~ p ~ q )
61
Leyes de la lgica
Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre
verdaderas, independientemente del valor de verdad de las proposiciones que la
conforman, este tipo de proposiciones reciben el nombre de tautologas, es decir, una
tautologa es una proposicin que es verdadera en todos los casos.
Ejemplo 1.
Demostrar que la proposicin ( p v q ) (~ q p ) es verdadera:
Para verificar la validez de esta proposicin es necesario realizar la tabla de verdad y
comprobar que en la ltima columna solamente aparecen valores verdaderos.
p q
1
1
0
0
pvq
1
0
1
0
~q
~ q p
( p v q ) (~ q p)
1
0
1
1
1
1
1
0
1
0
1
0
Tabla No. 7. Ejemplo 1.
1
1
1
1
Una proposicin compuesta, que es falsa en todos los casos independientemente de los
valores de verdad de las proposiciones que la conforman se llama Contradiccin.
Ejemplo 2.
Es ( p ~ q ) q una tautologa?
Para responder la pregunta se hace necesario hacer la tabla de verdad, as:
p
V
V
F
F
q ~q
V F
F V
V F
F V
p~q
F
V
F
F
( p ~ q) q
F
F
F
F
62
Ejemplo 3
Establecer si las proposiciones (p q ) y (~ p v q ) son lgicamente equivalentes.
Para esto hay que probar que (p q) (~ p v q), la tabla de verdad es:
p q
1
1
0
0
1
0
1
0
p q
1
0
1
1
~p
~pvq
0
0
1
1
1
0
1
1
(p q ) (~ p v q)
1
1
1
1
Como la ltima columna es toda verdadera (tautologa), se puede concluir que las
proposiciones son lgicamente equivalentes.
63
pv 11
p 1 p.
7. Complemento:
p v ~ p 1,
p~p0
~ ( ~ p) p, ~ 1 0, ~ 0 1
8. Leyes D Morgan:
~(pvq)~p~q
~(pq)~pv~q
Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra de
proposiciones.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
64
Conmutativa
Distributiva
Complemento
Identidad
65
Ejemplo 3.
Demostrar que: [ (p q) v (~ p r) v (q r) ] [ (p q) v (~ p r)]
[ (p q) v (~ p r) v (q r) ] [ (p q) v (~ p r) v (q r) ] v 0
[(p q) v (~ p r) v (q r)] v (q r) ~ (q r)
(p q) v (~ p r) v (q r) ~ (q r)
(p q) v (~ p r) v 0
(p q) v (~ p r)
Identidad
Complemento
Asociativa
Complemento
Identidad
Ejemplo 4.
Demostrar: (p v ~ q) (q v r) (q v ~ r) (p q)
(p v ~ q) [q v (r ~ r)]
(p v ~ q) [q v 0]
(p v ~ q) q
(p q) v (~ q q)
(p q) v 0
(p q)
Distributiva
Complemento
Identidad
Distributiva
Complemento
Identidad.
Ejemplo 5.
Demostrar:
~ [(p ~ q r) v (p q r)] (~ p v ~ r)
Conmutativa y distributiva
Complemento
Identidad
D Morgan
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
66
Cuantificadores
Cuantificador universal y existencial
Existen especialmente en matemticas, expresiones que contienen variables tales como x,
y, z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
Ejemplo 1. x + 1 = 2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama
Proposiciones abiertas.
Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor
de verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de
proposiciones abiertas, para ello, se asigna una expresin llamada cuantificador, que
permite restringir los valores de las variables, de tal forma que la proposicin toma un solo
valor de verdad para dicha restriccin.
En el ejemplo, la proposicin se puede enunciar de las siguientes formas:
1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera
2. Para todo x 1, se tiene que x + 1 = 2. Proposicin falsa.
(x = 1) / (x + 1 = 2)
Verdadera.
( x 1 ) / ( x + 1 = 2) Falsa.
Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificador
existencial, pues est informando que existe un slo valor para x que hace verdadera la
proposicin dada, mientras que en el segundo caso el cuantificador se llama universal
porque afirma que todos los valores de x diferentes de 1 hacen la proposicin falsa, es
decir, que un valor de x diferente de 1 convierte x + 1 = 2 en proposicin falsa.
Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama
cuantificador universal y se simboliza por
Ejemplo 2.
( x) / ( x + 4 = 4 + x). Significa que todo x verifica la ecuacin.
La palabra algunos(s) significa que por lo menos uno verifica la condicin. Los
cuantificadores de la forma existe por lo menos uno, y se llaman cuantificadores
existenciales y se representan as: .
67
Ejemplo 3
( x ) / ( 2 x + 2 = 5 ).
Valores de verdad de expresiones con cuantificadores
Para determinar el valor de verdad de una expresin que contiene un cuantificador es
importante tener claros los siguientes conceptos:
1.
2.
Ejemplo 1.
(x R ) / ( 2 x 1 = 0 ) que se lee para todo x que pertenece a los reales se verifica
que 2 x 1 = 0 .
En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio
de la variable es x = .
El ejemplo afirma que todo nmero real verifica 2x 1 = 0, lo cual es falso, pero si se
cambia el conjunto universal, por el conjunto { 1/2 }, la proposicin se convierte en
verdadera y se enuncia as:
( x { 1/2 } ) / ( 2 x 1 = 0) es verdadera.
Lo anterior conduce a la siguiente afirmacin:
Una proposicin que contiene un cuantificador universal es verdadera s y slo s el
dominio de la variable es igual al conjunto universal.
Ejemplo 2.
(x R ) / ( x 2 - 1 = 0)
Conjunto universal: R (reales)
Dominio de la variable: x = 1 ,v, x = -1
En este caso el cuantificador existencial afirma que por lo menos existe un valor que
satisface la proposicin, as, el ejemplo 2 es verdadero.
Ejemplo 3.
(x R ) ( x 2 + 1 = 0)
El conjunto universal est formado por los nmeros reales, pero el dominio de la variable
es el conjunto vaco, pues, no hay un nmero real que al elevarlo al cuadrado y sumarle 1
de cmo resultado cero, esto hace que la proposicin sea falsa.Del anlisis de los
ejemplos 2 y 3 se puede afirmar: Una proposicin con un cuantificador existencial es
verdadera si y slo si el dominio de la variable no es vaco.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
68
Captulo
S P
S P SP
S P
Clases S y P
69
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
70
Personas
Personas temerarias
S
Conductores de automviles
Inseguros
Todo S es P
En este ejemplo, el trmino sujeto
conductores, designa a la
clase de todos los conductores y el trmino predicado temerarias, designa a la clase de
todas las personas temerarias.
Este tipo de proposicin categrica se llama universal afirmativa, porque la proposicin
afirma que la relacin de inclusin entre las dos clases es completa, todos los elementos o
miembros de S tambin lo son de P.
Todas las proposiciones universales afirmativas se pueden escribir simblicamente as:
Todo S es P , donde S representa el sujeto y P el predicado.
71
Ningn S es P
,donde S representa el trmino sujeto y P el trmino predicado.
Personas
Conductores de automvil
Responsable
teme
raria
Persona temeraria que
s
pone
en peligro la vida de
los dems
Ningn S es P
La proposicin recibe el nombre universal negativo, porque la proposicin niega que la
relacin de inclusin de clase tenga lugar entre las dos clases y lo niega en forma
universal: no hay ningn miembro de S que tambin lo sea de P.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
72
S
Estudiantes de secundaria
73
Algn S no es P
Algn S no es P. dice que por lo menos un miembro que pertenece a la clase designada
por el trmino sujeto, S, es excluido de la totalidad de la clase designada por el trmino
predicado, P.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
74
Representacin
Todo S es P
Particular Negativa
75
Proposiciones contradictorias
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra, es
decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Es claro
que dos proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y
trmino predicado, pero son diferentes tanto en cantidad como en cualidad, son
contradictorias entre s.
Ejemplo 1
Las proposiciones
P: todos los jueces son abogados
Q: algunos jueces no son abogados
Son contradictorias porque son opuestas tanto en cantidad como en cualidad. La
proposicin P es universal afirmativa, mientras que la proposicin Q es particular negativa.
Ejemplo 2
Las siguientes proposiciones tambin son contradictorias.
P: algunos nmeros reales son negativos. Es particular afirmativa
Q: todos los nmeros reales son negativos. Es universal negativa.
En este caso son opuestas en cantidad y en cualidad.
Otra forma de identificar las proposiciones contrarias, es cuando la verdad de una
proposicin implica la falsedad de la otra.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
76
Proposiciones contrarias:
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo 5
Considerando las proposiciones
P:
Q:
77
contrarias
contradictorias
Proposicin Contingente
Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llama
CONTINGENTE.
Ejemplo 1
P: todos los matemticos son filsofos
Esta es una proposicin que no es necesariamente verdadera (no todos los matemticos
son filsofos), ni necesariamente falsa (existen matemticos que s son filsofos)
Ejemplo 2
Q: todos los cuadrados son rectngulos
No necesariamente es falsa porque el cuadrado es un tipo de rectngulo, ni es
necesariamente verdadera porque no todos los cuadrados son rectngulos
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
78
Proposiciones Subcontrarias
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pero s ambas verdaderas
Ejemplo 1
Las proposiciones
P: algunos enteros son positivos
Q: algunos enteros son negativos
Son subcontrarias debido a que ambas son verdaderas.
------ la Clave---Observa que necesariamente, al afirmar que algunos enteros son negativos, estamos
afirmando que el resto son enteros positivos. Esto imposibilita que ambas proposiciones
sean falsas.
--------------------En forma general se afirma que dos proposiciones particulares que tienen el mismo
trmino sujeto y trmino predicado pero diferente cualidad son subcontrarias
Ejemplo 2
P:
Q:
Las proposiciones P y Q pueden ser las dos verdaderas, pero no pueden ser las dos
falsas, por lo tanto se dice que son subcontrarias.
------------------Nemotectnia----------------contrarias
= ambas pueden ser falsas
subcontrarias
= ambas pueden ser verdaderas
contradictorias
= cuando una es verdadera necesariamente la otra es falsa y
viceversa.
79
Clase S
Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se
sombrea todo el crculo que representa S, lo cual indica que no contiene nada, que es
vaca, y, para graficar la proposicin que existen S, que se interpreta en el sentido de que
hay por lo menos un miembro de la clase S, se coloca una x en cualquier parte en el
interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no
est vaco.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
80
clases S y P
La figura representa las dos clases S y P, pero no diagrama alguna proposicin de ellas,
no afirma ni niega que una de las dos o las dos clases tengan miembros. La parte del
crculo S que esta fuera de P representa todos los S que no son P, lo cual se identificar
como el producto de las clases S y P (SP); la parte comn de los dos crculos
representa la interseccin o producto de las dos clases SP; la parte del crculo P que esta
fuera de S representa a todos los P que no estn en S (por lo tanto estn en S ), es decir,
el producto SP, y la parte externa a los dos crculos representa todas las proposiciones
que no estn en S ni en P, lo cual corresponde a la cuarta clase SP.
Lo anterior permite representar la figura No. 3 de la siguiente manera:
P
SP
SP SP
SP
Clases S y P
81
Proposiciones categricas
Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se
inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los
casos:
Todo S es P, simbolizada por SP = 0, su representacin grfica es:
SP = 0
Todo S es P
Ningn S es P, o, Ningn P es S simbolizadas por SP = 0 y PS = 0,
respectivamente, la representacin grfica en ambos casos es:
Ningn S es P, o,
Ningn P es S
SP = 0 y PS = 0,
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
82
P
x
Algn S es P o
Algn P es S
SP 0 ; PS 0 ;
P
x
Algn S no es P
SP 0
83
P
x
Algn P no es S
PS 0
Las siguientes son algunas observaciones acerca de las representaciones grficas
realizadas:
1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones,
representa clases pero no representa ninguna proposicin.
2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no
tiene miembros).
3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha
sido sombreada o en la que se ha insertado una x.
4. Los diagramas de Venn constituyen una representacin de las proposiciones
categricas en forma estndar, en las cuales las inclusiones y exclusiones
espaciales corresponden a inclusiones y exclusiones no espaciales de clases.
5. Proporcionan un mtodo claro de notacin y se constituyen en la base del mtodo
ms simple y directo para probar la validez de los silogismos categricos (Ver
siguiente captulo).
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
84
Captulo
Deduccin e Induccin
(G v H) (J ^ K)
G
/ J
_________________________________
GvH
2, Ad.
J^K
1,3, M. P
J
4, Simp.
85
Deduccin
OBJETIVOS ESPECFICOS
1. Inferir una conclusin a partir de dos o ms premisas
2. Utilizar las reglas de inferencia para establecer la validez o invalidez de un argumento.
OBJETIVO GENERAL
Utilizar el mtodo deductivo como una forma de razonamiento mediante el cual se puede
establecer un principio general a partir de casos particulares.
OBJETIVOS
1. Identificar y clasificar las proposiciones categricas de un argumento
2. Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar.
3. Establecer el tipo de oposicin que se puede presentar entre dos proposiciones
categricas
4. Representar grficamente proposiciones categricas de forma estndar
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
86
INTRODUCCIN
Razonar es un proceso por el cual se establece una conclusin basada en una o ms
proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto
de partida del proceso. Si la conclusin es correcta significa que las premisas contienen la
informacin necesaria y suficiente para establecer la conclusin y por lo tanto se puede
afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto.
Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del
pensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiendo as la
comunicacin con el exterior.
Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pensamiento,
por lo cual no es difcil comprender que hay varias formas de pensamientos, ms an,
existen varias formas de razonar, deductivamente o inductivamente. Cuando se hace un
estudio lgico del razonamiento, es conveniente tener presente algn modelo con el que
puedan compararse algunas otras especies de razonamiento; la tarea del lgico es
explicar las diferencias entre un cierto modo de razonar y el modelo escogido, el modelo
que habitualmente se adopta consciente o inconscientemente para comparar con l todas
las otras clases de razonamiento, es la deduccin simple, en la cual se pueden identificar
las premisas y una conclusin y se puede formular una regla segn la cual, la conclusin
se sigue de las premisas.
En el presente captulo se estudiar el mtodo deductivo, este se puede definir como el
proceso del pensamiento mediante el cual con base en experiencias, se establece un
principio general, el que tendr validez no slo para los casos observados, sino tambin
para todos los de su especie.
87
El mtodo cientfico
El mtodo cientfico consiste en el conjunto de procedimientos para obtener un
conocimiento que sea universal y, en principio, reproducible por cualquiera.
Desde los inicios de la Modernidad, el conocimiento cientfico en las ciencias naturales y
exactas ha estado ligado a la observacin sistemtica y a la formulacin de dicha
observacin mediante ecuaciones matemticas, la llamada matematizacin de la ciencia,
que garantiza tanto su explicacin como su factibilidad.
Desde el punto de vista de los positivistas, el primer paso en cualquier investigacin es la
observacin, una vez que se ejecuta la observacin, surgen una o ms preguntas,
generadas por la curiosidad del observador, luego, el observador, mediante razonamiento
inductivo, trata de dar una o ms respuestas lgicas a las preguntas, cada solucin
tentativa preliminar a estas preguntas, son las hiptesis. Despus de que ha enunciado
una o ms hiptesis, o explicaciones propuestas, el investigador elabora una o ms
predicciones, las cuales deben ser consistentes con las observaciones e hiptesis. Para
hacer esto, el investigador usa el razonamiento deductivo. Enseguida, las predicciones son
sometidas a pruebas sistemticas para comprobar su ocurrencia en el futuro. Estas
comprobaciones en conjunto reciben el nombre de experimentacin. Cundo la hiptesis
se verifica, entonces se procesa la declaracin final, que en ciencias se llama teora que
solo es vlida para un tiempo y un lugar determinados. Si la teora se verificara como
verdadera en todo tiempo y lugar, entonces es considerada como ley.
Cosa distinta es la ciencia social. Aqu la reproducibilidad y la explicacin son dbiles o
imposibles. En ellas se trata, no tanto de explicar como de comprender, en cuanto lo que
se hace es una lectura de sistemas simblicos, que son susceptibles de distintas
interprepataciones, tanto desde las caractersticas mismas del cientfico, como de la poca
en la cual l est haciendo su trabajo.
Karl Popper, en la lgica del conocimiento cientfico, discuti con los positivistas sobre el
carcter de la observacin y el modelo inductivo de la ciencia. En efecto, aquellos
pensaban que la ciencia comienza con la observacin y de all se hace una induccin para
obtener una ley general. Popper, en cambio, seala que la ciencia comienza con una
hiptesis que debe intentar falsarse (de ah que su teora se llame el falsacionismo), es
decir, refutarse.
En la ciencia no se trata tanto de verificar como de que las teoras resistan los intentos de
ser refutadas. Y para ello las teoras cientficas deben ser escritas en encunciados
universales, que pueden refutarse mediante contraejemplo, y no de enunciados
existenciales. Hagamos una ilustracin; de la observacin de los cuervos, alguien puede
afirmar que existen cuervos negros. Pero ese enunciado no es falsable. En Cambio si
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
88
89
Silogismos categricos
Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de
dos premisas. Un silogismo categrico es un argumento deductivo consistente en tres
proposiciones categricas que contienen exactamente tres trminos, cada uno de los
cuales slo aparece en dos de las proposiciones que lo constituyen. Dos de las
proposiciones reciben el nombre de premisas y la otra se llama conclusin.
Forma estndar de un silogismo categrico
Se dice que un silogismo categrico est en forma estndar cuando satisface las
siguientes condiciones:
1. Las premisas y conclusin son proposiciones categricas que conservan el
siguiente orden:
1. la premisa mayor se enuncia primero, luego
2. la premisa menor y
3. al final la conclusin.
2. La conclusin de un silogismo de forma estndar es una proposicin de forma
estndar que contiene dos de los tres trminos del silogismo.
3. La premisa mayor es aquella que contiene el trmino mayor y este es el que
aparece como predicado de la conclusin.
4. La premisa menor es aquella que contiene el trmino menor, que es el
correspondiente al sujeto de la conclusin.
5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
90
91
Ejemplo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar si est en forma estndar.
Todos los satlites artificiales son descubrimientos cientficos importantes;
por lo tanto, algunos descubrimientos cientficos importantes no son inventos
norteamericanos puesto que algunos satlites artificiales no son
norteamericanos.
El argumento deductivo est formado por tres proposiciones categricas que contienen los
trminos: satlites artificiales, descubrimientos cientficos, inventos norteamericanos, por lo
tanto se puede afirmar que se trata de un silogismo categrico.
Las premisas son:
Todos los satlites artificiales son descubrimientos cientficos importantes, algunos
satlites artificiales no son norteamericanos.
La conclusin es:
Algunos descubrimientos cientficos importantes no son inventos norteamericanos.
El predicado de la conclusin es el trmino invento norteamericano, el cual se constituye
en el trmino mayor y por consiguiente, la premisa mayor es, algunos satlites artificiales
no son norteamericanos.
El sujeto de la conclusin es descubrimientos cientficos, el cual se constituye en el
trmino menor y por consiguiente la premisa menor es, todos los satlites artificiales son
descubrimientos cientficos.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
92
inventos
93
Validez de un argumento
Argumento deductivo
Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para
la verdad de la conclusin, se llama argumento deductivo.
Consiste en deducir su conclusin a partir de sus premisas, mediante una serie de
argumentos elementales, cada uno de los cuales se conoce y acepta como vlido
Argumento Vlido
Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos
se juzgan como aceptables o inaceptables en la medida en que sean vlidos.
Validez o invalidez de un argumento
Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el
hecho de que stas son caractersticas puramente formales de los argumentos, es decir,
que dos argumentos que tienen exactamente la misma forma; son vlidos o invlidos,
independientemente de las diferencias del tema que traten.
Especficamente, para probar la invalidez de un argumento, basta con formular otro
argumento que tenga exactamente la misma forma y tenga premisas verdaderas y
conclusin falsa
En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de
tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que
aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un
mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir
su conclusin a partir de sus premisas, mediante una serie de argumentos elementales,
cada uno de los cuales se conoce y acepta como vlido, este proceso es el que se
denomina mtodo deductivo.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
94
Prueba de invalidez
Es obvio que, para un argumento invlido no existe una prueba formal de validez. Pero, si
no se puede hallar una prueba de validez para un argumento, eso no quiere decir que sea
invlido y que no se pueda construir dicha prueba.
A continuacin se describe un mtodo que est muy relacionado con el de las tablas de
verdad, pero que es mucho ms breve, en el cual se prueba la invalidez de un argumento
hallando un nico caso en el que se asignan valores de verdad a las variables del
enunciado de tal forma que las premisas sean verdaderas y la conclusin falsa, lo que
lleva a concluir que la forma argumental es invlida.
Ejemplo 1
Probar la invalidez del siguiente argumento por el mtodo de asignar valores de verdad.
1.
2.
3.
fr
p r
f p
Para probar que este argumento es invlido sin tener que construir una tabla de verdad
completa, es necesario tener claro que un condicional es falso solamente si su
antecedente es verdadero y su consecuente falso, utilizando este hecho se procede a
asignar valores de verdad a las proposiciones de la conclusin, es decir, si F es verdadero
y P es falso, entonces, la conclusin es falsa. Si a la proposicin R se le asigna el valor
verdadero, ambas premisas se convierten en verdaderas, porque un condicional es
verdadero siempre que su consecuente sea verdadero. Lo anterior permite afirmar que si a
las proposiciones F y R se les asigna un valor verdadero y a la proposicin P un valor
falso, entonces el argumento tendr premisas verdaderas y una conclusin falsa, con lo
cual queda probado que el argumento es invlido.
Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verdad
del argumento indicado, la relacin se puede observar ms claramente cuando los valores
de verdad se escriben horizontalmente, de la siguiente forma:
-------- Nemotecnia-----PREMISAS VERDADERAS
f
verdader
o
r
verdader
o
p
fals
o
CONCLUSIN
FALSA
fr
pr
verdadero
verdadero
fp
falso
95
Argumento Invalido
Un argumento se prueba invlido mostrando que por lo menos en un rengln de su tabla
de verdad todas las premisas son verdaderas pero su conclusin es falsa.
Ejemplo 2.
Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el
curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y
si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente, entonces
estudia mucho. Luego, Sandra aprobar el curso.
Tomando el siguiente lenguaje simblico
I: Sandra es inteligente
S: Sandra estudia mucho
G: Sandra sacar buenas calificaciones
P: Sandra aprobar el curso
A: los esfuerzos de Sandra sern apreciados
Se pueden establecer las siguientes premisas:
1.
2.
3.
4.
(i s) (g p)
[(s i) t ] [t p]
i s
p
i
s
g
t
p
_______________________
F
F
F
F
F
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
96
/ sp
Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las
premisas verdaderas pero la conclusin falsa:
p q r s P q P (q r)
F F F V
q (r s)
Sp
Inconsistencia
En algunos casos no se puede dar ninguna asignacin de valores de verdad a los
enunciados de un argumento que hagan verdaderas sus premisas y falsa su conclusin,
entonces, en este caso el argumento debe ser vlido.
97
Inferencias Lgicas
Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como
razonamiento y demostracin.
Razonamiento es el proceso que se realiza para obtener una demostracin.
Demostracin es el encadenamiento de proposiciones que permiten obtener otra
proposicin, llamada conclusin, a partir de ciertas proposiciones iniciales supuestas como
verdaderas, que reciben el nombre de premisas. En la seccin
se har un anlisis ms detallado de la demostracin.
Las inferencias lgicas: son las conclusiones que se pueden obtener despus de realizar
un razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes
condiciones:
1. Las premisas deben ser verdaderas.
2. Durante el proceso de deduccin las premisas deben relacionarse sujetas a las
leyes de la lgica.
As, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisas), y
aplicando las leyes de la lgica a esas premisas, se denomina conclusin.
A continuacin se plantean algunas reglas de inferencia, se propone al estudiante, como
ejercicio, probar su validez utilizando las tablas de verdad:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
98
Ejemplo:
Modus Ponens (M. P)
1-Si llueve hace fro
2-llueve
3-luego Hace fro
Se lee : si p entonces q
Se lee : ocurre p
Se lee : de donde q
Si p entonces q
y p (y se da p, y ocurre p)
Entonces q (en conclusin q)
100
Se lee : ocurre ~q
Se lee : de donde ~p
Ejemplo:
Modus Tollens (M. T)
Si llueve hace fro
no hace fro
luego no llovi
--------------------------------------------------------------------------------------------------------------
Se lee : si p entonces q
Se lee : si q entonces r
Se lee : de donde
si p entonces r
-------------------------------------------------------------------------------------------------------------Ejemplo:
-------------------------------------------------------------------------------------------------------------Ejemplo:
Dilema constructivo (D.C)
Dilema constructivo (D.C)
Si estudio aprendo y si duermo
(p q) (r s)
descanso.
pv r
Estudi o dorm.
q v s
Luego Aprend o descans.
-------------------------------------------------------------------------------------------------------------
101
Absorcin (Abs)
pq
p (q p)
Absorcin (Abs.)
Si estudio aprendo
Estudio, luego aprendo y estudio
--------------------------------------------------------------------------------------------------------------
Simplificacin (Simp.)
p q
p
Simplificacin (Simp.)
Estudio y aprendo
Luego, estudio
--------------------------------------------------------------------------------------------------------------
Conjuncin (Conj)
Conjuncin (Conj.)
Estudio
Trabajo
Luego, etudio y trabajo
p
q
p q
--------------------------------------------------------------------------------------------------------------
Adicin (Ad.)
Adicin (Ad.)
Estudio
Luego, etudio trabajo
p
pv q
--------------------------------------------------------------------------------------------------------------
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
102
Silogismo Hipottico ( SH )
[ ( p q ) ( q r ) ] ( p r)
103
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
104
D Morgan.
Ejemplo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ b
Premisa 2: a b
Premisa 3: ~ a c. Demostrar c.
Premisa 4:
Premisa 5.
105
[ (pvq) ~q]p
Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o cambia
slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente
p:
La energa de un tomo puede cambiar con continuidad
q:
La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~ p
Conclusin: Q.
Ejemplo 2
Premisa 1: ~ q v r
Premisa 2: ~ r
Conclusin: ~ q
Ejemplo 3
Premisa 1: (s t ) v r
Premisa 2: ~ ( s t)
Conclusin: r
Ejemplo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ q v s
Premisa 2: ~ s
Premisa 3. ~ (r s) q.
Demostrar: r s
Premisa 4: De las premisas 1 y 2 se puede concluir ~ q por MTP
Premisa 5: De las premisas 3 y 4 se puede concluir ~ (~ (r s)) por MTT, que es
equivalente a r s por la ley de la doble negacin.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
106
p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p q
Premisa 2. q r
Conclusin. p r
Ejemplo 2
Premisa 1.
Premisa 2.
Conclusin.
q~p
~p r
qr
Ejemplo 3
Premisa 1.
Premisa 2.
Conclusin.
svtrvq
rvq ~p
svt ~p
Ejemplo 4.
A partir de las premisas dadas indicar la demostracin de la conclusin.
Premisa 1: ~ r
Premisa 2: ~ p q
Premisa 3: q r
Demostrar p
Premisa 4: De las premisas 2 y 3 se concluye ~ p r por SH
Premisa 5: De las premisas 1 y 5 se concluye p por MTT.
107
= Gloria gana
= Hctor gana
= Jorge pierde
= Kelly pierde
3. G v H2,
4. J K
Ad.
J
(Se lee: de donde J, J es la premisa que
esperamos demostrar).
(por Adicin en 2)
Necesitamos llegar a J desde la G, observamos que
para llegar a la J se requiere G v H, como slo tengo
la G, adiciono H. Por lo tanto aplico la ley de Adicin
en la premisa 2, lo que se escribe 2, Ad. (Ad indica
que apliqu la ley de adicin)
1,3 M. P
J K es la consecuencia de G v H aplicando la ley de
inferencia MP (Modus Ponendo Ponens) con las
premisas 1 y 3.
5. J
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
108
contina lloviendo
el ro crece
el puente es arrastrado por las aguas
un solo camino es suficiente para toda la ciudad
los ingenieros han cometido un error
CR
(C R ) P
(C P) S
SvE
/E
__________________________________
C (C R) 1, Abs.
CP
5,2, S. H.
S
3,6, M. P.
E
4,7, D. C.
109
Ejemplo 3
Si un hombre se orienta siempre por su sentido del deber, tiene que renunciar al goce de
muchos placeres, y si se gua siempre por su deseo de placer, a menudo olvidar su
deber. O bien un hombre se gua siempre por su sentido del deber, o bien siempre se
orienta por su deseo de placer. Si un hombre se gua siempre por su sentido del deber, no
descuidar a menudo su deber, y si siempre se gua por su deseo de placer, no renunciar
al goce de muchos placeres. Luego, un hombre debe renunciar al goce de muchos
placeres si y slo si no descuida a menudo su deber.
Tomando el siguiente lenguaje formal:
P: se orienta por su sentido del deber
Q: renuncia al goce de placeres
R: se gua por su deseo de placer
S: olvidar su deber
Las premisas quedan as:
1. P Q
2. R S
3. P v R
4. P S
5. R Q
/ QS
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
110
(P Q) R
R
QS
SP
/ PQ
111
La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es
el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
conclusin o tesis que as se demuestra.
Los principales tipos de demostracin son:
La demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o
premisas que son postulados o proposiciones de validez aceptada y de las cuales se
infiere t como consecuencia inmediata.
Ejemplo 1.
Dadas las premisas:
Concluir :
Demostracin:
1.
2.
t.
p q
rq
p r
Ejemplo 2
Demostrar que si x es impar, entonces que
siguientes premisas:
1.
2.
x es impar
x = 2n+ 1, donde n es un entero
112
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t
probando que las consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar. Por el ejemplo 2
analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es impar,
luego es imposible que x sea impar y que x2 sea par. Esta es la contradiccin buscada.
113
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que: P(n): 1+2++n = n (n+1) / 2
I.
II.
III.
resolviendo la suma
sumando trminos semejantes
factorizando
lo que se quera demostrar.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
114
(2n + 1)2 = 2m
4n + 4n + 1 = 2m
Se supone que ambos miembros deben representar el mismo entero, pero el miembro de
la izquierda no es divisible por 2, mientras que el de la derecha si es divisible por 2. Esto
es una contradiccin evidente y, por lo tanto, la proposicin dada es falsa.
115
Induccin
Observacin-Experiencia-Probabilidad
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
116
La induccin
Objetivo General
Utilizar el mtodo inductivo para establecer si las premisas que conforman un argumento
son verdaderas, sin tener que demostrar la verdad de la conclusin.
Objetivos especficos
1.
2.
3.
117
Introduccin
Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de
la validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer
si las premisas son probables o probablemente verdaderas, sin pretender demostrar la
verdad de sus conclusiones como consecuencia necesaria de las premisas, este tipo de
argumentos recibe el nombre de Argumentos Inductivos.
----observacin y experiencia las bases de la induccin----El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la
experiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudiado en el
captulo anterior) y se basa fundamentalmente en dos aspectos:
1. En la semejanza que hay entre los objetos. ---OBSERVACIN--2. En suponer que un suceso puede volver a ocurrir teniendo en cuenta que en
condiciones similares ha sucedido. ---EXPERIENCIAEl primer aspecto hace referencia a la observacin y el segundo en la experiencia.
-----la observacin y la experiencia nos inducen a una conclusin ------------La aplicacin o el anlisis de estos dos aspectos permiten inferir o pronosticar los
efectos que producir la ocurrencia del suceso, tomando como referencia lo ocurrido con
eventos anteriores de caractersticas similares.
Argumentos inductivos
El problema de la induccin:
Una induccin tpica, analizada sobre el modelo de la deduccin, tiene como premisas
formulaciones particulares, por ejemplo: el evento a del tipo X, es seguido del evento b,
del tipo Y, el evento c del tipo X es seguido del evento d del tipo Y, y as sucesivamente;
tiene por conclusin una formulacin general, Sin restricciones: eventos del tipo X son
seguidos por eventos del tipo Y.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
118
119
La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligible por
medio de una comparacin con alguna otra cosa, presumiblemente ms familiar, con la
cual tiene ciertas similitudes.
El uso de analogas en la descripcin y la explicacin no es igual que su uso en la
argumentacin, aunque en algunos casos puede no resultar fcil decidir cul uso se
pretende hacer.
Hacer una analoga entre dos o ms entidades es indicar uno o ms aspectos en los que
son similares,
mientras que caracterizar un argumento por analoga es en trminos generales,
describir el argumento dado diciendo que contiene premisas que afirman, primero, que dos
cosas son similares en dos aspectos y, segundo, que una de esas cosas tiene una
caracterstica adicional, de lo cual se extrae la conclusin de que la segunda cosa tiene
tambin esa otra caracterstica.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
120
Ejemplo 2
Si alguien dice que le han extrado una muela sin anestesia y otro le expresa su
consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una respuesta
podra ser: Yo he ido al odontlogo y s cuanto duele una simple curacin sin anestesia,
cmo ser una extraccin?, l tiene el mismo tipo de sistema nervioso que yo, por lo
tanto puedo inferir que en esas condiciones, sinti un terrible dolor
En este caso el argumento analgico se fundamenta en la EXPERIENCIA, tendiendo en
cuenta que en condiciones similares ya sucedi.
121
Criterios de evaluacin:
Nmero de entidades entre las que se establece la analoga (Analoga por
EXPERIENCIA)
Significa que es importante tener en cuenta el nmero de veces
que ha ocurrido el suceso, esto da ms consistencia a la
conclusin y una mayor probabilidad de que se repita el suceso.
Ejemplo:
Si un electrodomstico que se compro en un determinado almacn
sali defectuoso, una conclusin apresurada sera afirmar que los
electrodomsticos que se compran en ese almacn salen
defectuosos; pero si esa misma conclusin se hace sobre la base de
que 10 electrodomsticos comprados all han resultado defectuosos,
la conclusin cobra mayor validez y la probabilidad de que siga
ocurriendo lo mismo crece.
Nmero de aspectos en los cuales las cosas involucradas se dice que son
anlogas -- OBSERVACICN--Este criterio hace referencia a todos los aspectos en que los sucesos
son anlogos, y cuando se encuentra un mayor nmero de
circunstancias o caractersticas de semejanza entre los sucesos,
mayor ser la validez de la conclusin.
Ejemplo:
El hecho de que un par de zapatos nuevo, ha sido comprado en el
mismo almacn que el par viejo, el cual fue muy resistente, es una
premisa de la que se sigue que probablemente el nuevo par ser
tambin resistente. Pero la misma conclusin se sigue con mayor
probabilidad si la premisa afirma no solamente que los zapatos fueron
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
122
123
Ejemplo 6
El siguiente texto muestra una analoga refutadora.
El seor Clifford A. Wrigth afirma que Israel no es una democracia porque otorga al
judasmo una posicin especial dentro de la Ley. Realmente es as? La Ley
britnica contra la blasfemia protege solamente a las creencias de los cristianos.
Esas leyes no vician los reclamos britnicos que es un pas democrtico, aunque se
puede argir que en virtud de ellos su democracia es menos perfecta. Israel tiene
sufragio universal, un sistema multipartidista y una prensa libre. Para todos, menos
para los ciegos partisanos, esto significa que es una democracia.
-------------------- LA CLAVE ------------------Observaste como la induccin est relacionada con la probabilidad?
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
124
Unidad
lgebra Booleana
y
Circuitos Lgicos
125
2.Unidad 2
OBJETIVO GENERAL
Teniendo en cuenta que los circuitos digitales o lgicos operan de forma binaria, emplear
el lgebra booleana como fundamento terico para el anlisis, diseo y descripcin del
funcionamiento de las compuertas lgicas que son los circuitos lgicos fundamentales.
OBJETIVOS ESPECFICOS
1.
2.
3.
4.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
126
Captulo 1
Axiomas del lgebra
booleana
+
*
=
127
El lgebra booleana, estudiada por primera vez en detalle por JORGE BOOLE, constituye
un rea de las matemticas que ha pasado a ocupar un lugar prominente con el
advenimiento de la computadora digital; en este caso proporcionan un eslabn entre el
lgebra de conjuntos y el clculo proposicional. Son usadas ampliamente en el diseo de
circuitos de distribucin y computadoras, las aplicaciones de la electrnica digital a los
procesos de control y automatismo industriales estn fundamentadas tericamente en este
sistema matemtico.
Los circuitos digitales o lgicos operan de un modo binario donde cada voltaje (seal) de
entrada o de salida es un cero (0) o un uno (1). Las designaciones 0 y 1 representan
intervalos predefinidos de voltaje. Esta caracterstica de los circuitos lgicos permite
emplear el lgebra booleana en el anlisis y diseo de sistemas digitales
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
128
129
(a * b) = (b * a)
3. Asociativa:
(a # b) # c = a # (b # c) y
4. Distributiva:
(a * b) * c = a * (b * c)
a # (b * c) = (a # b) * (a # c)
a * (b # c) = (a * b) # (a * c).
5. Identidad:
a#0=a y a*e =a
Los elementos 0 y e reciben el nombre de elementos neutros para las
operaciones # y * respectivamente.
6. Complementacin:
Para cada elemento a que pertenece al conjunto A existe un elemento a en
A tal que:
a # a = 0 y a * a = e.
El elemento a se llama elemento inverso para las operaciones # y *
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
130
+
*
=
adicin
producto
igualdad
a+b=c
y a*b=d
2. Conmutativa:
a+b=b+a
3. Asociativa:
a + (b + c) = (a + b ) + c = (a + c) + b
a * (b * c) = (a * b) * c = ( a * c) * b
4. Distributiva:
a + (b * c) = (a + b) * (a + c)
a * (b + c) = (a * b) + (a * c)
a* b=b*a
a*1=a
131
Operaciones binarias:
U Unin
Interseccin
= Igualdad
Relacin de equivalencia:
B C = C B
3. Asociativa:
(B U C) U D = B U (C U D)
(B C) D = B (C D).
4. Distributiva:
B U (C D) = (B U C) (B U D) y
B (C U D) = (B C) U (B D).
5. Identidad: En el conjunto universal U existen dos conjuntos, el vaco y el conjunto A,
tales que:
B U A = A
y B = .
Los conjuntos y A se denominan elementos neutros para la interseccin y para la
unin respectivamente.
6. Complementacin: Para cada subconjunto B del conjunto A, existe un subconjunto B
que tambin pertenece al conjunto A tal que:
B U B = A
y
B B = . B se denomina complemento de B.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
132
Relacin de equivalencia:
Elemento neutro:
Elemento inverso (a):
p 1 p.
133
5.
p (~ p) 0
Es preciso recordar que las tablas de verdad son una herramienta para demostrar estas
propiedades, su elaboracin se deja como ejercicio.
Ejercicio
Usando las propiedades del lgebra Booleana demostrar que:
a + (b * c) = (a + b) * (a + c)
Sugerencia: Inicia desde doble negacin a ambos lados de la igualdad.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
134
Captulo 2
Expresiones Booleanas
f (x, y) = x y + x y + x y + x y
135
Expresiones Booleanas
Expresiones Booleanas y sus propiedades
Una expresin booleana (tambin llamada funcin booleana o funcin lgica) es un
conjunto finito de smbolos (cada uno representa una constante o una variable)
combinados mediante la operacin suma, producto o complementacin.
Si n es el nmero de variables lgicas, entonces el nmero total de funciones lgicas
distintas que se pueden escribir con n variables es 22, por ejemplo para n = 3 (tres
variables lgicas: x, y, z), el nmero de funciones lgicas distintas es de 256.
Para escribir las funciones lgicas se utiliza el smbolo Fi, donde i vara segn el nmero
de funciones lgicas a partir de 0, as por ejemplo, para n = 2 (dos variables lgicas: x, y),
las 16 funciones lgicas se denominan Fi, con i = 0,1,2,315.
Otras propiedades o leyes del lgebra booleana empleadas en los procesos de
simplificacin de expresiones booleanas o en la demostracin de teoremas, son:
Ley de idempotencia:
x+x = x
x.x = x
Ley de acotacin:
x +1= 1
x.0 = 0
Ley de absorcin:
x +xy= x
x (x + y) = x
Ley de involucin
(x) = x
(0) = 0
Ley DMorgan
(x + y) = x y
(x y) = x + y
(1) = 1
Las expresiones booleanas pueden adoptar dos formas tiles para las aplicaciones
tecnolgicas; tales expresiones estn conformadas por una suma de productos o por un
producto de sumas, denominadas la forma normal disyuntiva y la forma normal conjuntiva,
respectivamente.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
136
en tres variables.
El proceso para llegar a la forma normal disyuntiva de una funcin booleana consiste en:
1. aplicar las leyes DMorgan, hasta que los complementos aparezcan aplicados
solamente a variables individuales;
2. despus por la aplicacin de la propiedad distributiva del producto respecto a la
suma, la funcin puede ser reducida a un polinomio.
3. Si en algn trmino falta una variable, por ejemplo w, entonces este trmino puede
ser multiplicado por la expresin w + w sin cambiar la funcin.
Ejemplo 1.
Escribir la funcin f (x, y, z) = (x y + y z) + y en la forma normal disyuntiva
(x y + y z) + y
= (x y) (y z) + y
= (x + y) (y + z) + y
=
=
=
=
=
=
=
=
(y + x) (y + z) + y
y (y + z) + x (y + z) + y
y + x (y + z) + y
y + x y + x z + y
y + y x + x z + y
y + x z + y
y + y + x z
y + x z
= x y z + x y z + x y z + x y z
= y z (x + x) + y z ( x + x)
= y z (1) + y z (1)
= y z + y z
= y (z + z)
= y (1)
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
138
f (x, y)
xy
x y
x y
x y
x (y + y) + x (y + y)
x (1) + x (1)
x + x
1.
Una funcin booleana f est completamente determinada por los valores que ella asuma
para cada una de las combinaciones de los valores asignados, 0 1, a las respectivas
variables, es decir, una funcin booleana puede ser determinada mediante una tabla que
represente las condiciones deseadas, este hecho se aplica especialmente en el diseo de
circuitos.
Ejemplo 5.
Encontrar y simplificar la funcin booleana descrita en la siguiente tabla:
Fila
0
1
2
3
4
5
6
7
x
1
1
1
1
0
0
0
0
y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
f (x, y, z)
0
1
1
0
0
0
1
0
En este caso la tabla muestra el valor de la funcin lgica para las 23 = 8 posibles
combinaciones de 0 y 1 para las variables x, y, z.
139
Las combinaciones en las filas 1,2 y 6 tienen valor 1, por lo tanto la forma normal
disyuntiva contendr tres trminos as:
f (x, y, z) =
=
=
=
x y z + x y z + x y z
x y z + yz (x + x)
x y z + yz (1)
x y z + yz.
En estos casos, se recomienda usar la forma normal disyuntiva cuando el nmero de unos
(1) es menor que el nmero de ceros (0) en la columna f (x, y, z).
El complemento de una funcin en forma normal disyuntiva contendr exactamente
aquellos trminos de la forma normal disyuntiva que no aparecen en la funcin dada.
Ejemplo 6:
Escribir el complemento de cada una de las siguientes funciones:
1.
2.
x y + x y
x y z + x y z + x y z + x y z + x y z
Como el complemento de una forma normal disyuntiva son los trminos que no aparecen
en la funcin, entonces el complemento de cada funcin es:
1.
2.
x y + x y
x y z + x y z + x y z.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
140
141
Ejemplo 2.
La funcin f (x, y) = x + y esta en forma normal conjuntiva en las variables x, y, escribir la
funcin f (x, y) en la forma normal conjuntiva pero en las variables x, y, z.
f (x, y) = x + y
= x + y + z z
= (x + y + z) (x + y + z)
As f(x, y) qued expresada en forma normal conjuntiva en variables x, y, z.
La forma normal conjuntiva en n-variables que tiene 2n trminos se llama forma normal
conjuntiva completa en n-variables y su producto es igual a cero.
Por ejemplo, para n = 2 la forma normal conjuntiva completa se obtiene tomando las
variables complementadas.
x=0
x = 1
y=1
y = 0
y
1
0
1
0
f (x, y)
x + y
x + y
x+y
x + y
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
142
x
1
1
1
1
0
0
0
0
Y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
f (x, y, z)
1
1
0
1
1
1
0
1
Como slo dos filas de la tabla, la 2 y la 6, tienen el valor cero, es ms fcil escribir la
funcin en forma normal conjuntiva, as:
f (x, y, z) = (x + y + z) (x + y + z)
= (y + z + x) (y + z + x)
= (y + z + xx)
= (y + z + 0)
= y + z
La forma normal conjuntiva se usa si el nmero de ceros (0) es menor que el nmero de
unos (1) en la columna f.
El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyos
factores son exactamente aquellos de la forma normal conjuntiva, que no aparecen en la
funcin dada, por ejemplo, el complemento de (x + y) (x + y) es (x + y) (x + y). El
complemento se puede utilizar para encontrar la forma normal disyuntiva, para cambiar
una funcin de una forma normal a la otra se utiliza el complemento del complemento de la
funcin, es decir, (f ' ) = f.
143
Ejemplo 4.
Encontrar la forma normal conjuntiva para la funcin
f (x, y, z) = x y z + x y z + x y z + x y z
Aplicando el complemento del complemento se tiene:
[f (x, y, z )] = [ (x y z + x y z + x y z + x y z) ]
= [(x y z) (x y z) (x y z) (x y z)]
= [(x + y + z) (x + y + z) ( x + y + z) (x + y + z)]
Los trminos que no aparecen en la funcin son:
= (x + y + z) ( x + y + z) ( x + y + z) (x + y + z)
Ejemplo 5.
Cambiar la siguiente expresin de la forma normal disyuntiva a la forma normal conjuntiva.
f (x, y, z) = x y z + x y z + x y z + x y z + x y z
Aplicando el complemento se tiene que:
[f (x, y, z)] = [(x y z + x y z + x y z + x y z + x y z)]
Aplicando el complemento del parntesis interno, (los trminos que no aparecen), se tiene:
= [ x y z + x y z + x y z] y por el complemento externo
= (x y z) (x y z) (x y z)
= (x + y + z) (x + y + z) (x + y + z)
Ejemplo 6.
Cambiar la siguiente expresin de la forma normal conjuntiva a la forma normal disyuntiva.
f (x, y, z) = [ (y + z) (y + z) (y + z)]
Aplicando el complemento se tiene que:
[f (x, y, z)] = { [ (y + z) (y + z) (y + z)] }
= { (y + z) + (y + z) + (y + z)}
= {(y z) + (y z) + (y z)}
= {y z + y z + y z}
= y z
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
144
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
F1
1
0
1
1
1
1
0
1
F2
0
1
0
0
0
0
1
0
F3
0
0
1
1
1
0
1
0
F4
0
1
1
1
0
1
1
1
Para F1 se usa la forma normal conjuntiva porque slo hay dos ceros, por lo tanto la
expresin booleana es:
F1 (x, y, z) = (x + y + z) ( x + y + z). Ya esta simplificada
En F2 se utiliza la forma normal disyuntiva porque slo hay dos unos, la expresin
booleana es:
F2 (x, y, z) = x y z + x y z. Ya esta simplificada.
En F3 se puede utilizar cualquiera de las dos formas, debido a que el nmero de ceros y
de unos es igual, la forma normal disyuntiva es:
F3 (x, y, z) = x y z + x y z + x y z + x y z.
= x y ( z + z) + x z ( y + y)
= x y (1) + x z (1)
= x y + x z
La forma ms conveniente para F4 es la forma norma conjuntiva
F4 (x, y, z)
= (x + y + z) (x + y + z)
= y + z + x x
= y+z+0
=y+z
145
Captulo 2
Simplificacin de
expresiones Booleanas
XY
00
XY
01
XY
11
XY
10
Z = 0
Z=1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
146
B Funcin
0
1
1
0
0
1
1
1
~A ~B
~A B
Mapa de karnaugh
A ~B
AB
147
~B
~A
x'
x'
x
x
y'
y
y'
y
Funci
n
0
1
1
1
3. Si dos casillas contiguas (horizontal o verticalmente) tienen unos (1), se dice que
forman una adyacencia. En el siguiente diagrama, se representa un mapa K con
dos adyacencias, una vertical y la otra horizontal.
x
y
1
Ejemplo 1.
x
1
1
Adyacencia
y horizontal
Adyacencia
Vertical
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
148
y
y
x
1
0
x
1
0
y
y
x
x y
x y
x
x y
xy
149
y
1
0
1
0
f (x, y)
0
1
0
1
x y
x' y
Y= 0
Y= 1
y
y
X=0
x
1
0
X=1
x
1
0
Nota:
Al simplificar usando los mapas de K, debemos obtener la siguiente simplificacin,
deducida mediante las propiedades del lgebra booleana:
f (x, y) = x y + x y
= y (x + x)
= y. 1
= y
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
150
y = 0
y=1
x = 0
1
1
x=1
Quin define mejor en este caso a los unos? Cul de las siguientes cuatro adyacencias
es la mejor?
x = 0
x=1
y = 0
y=1
X
X
Si observas los unos encerrados, podrs ver que x los define completamente.
151
f (x, y) = x y + x y
f (x, y) = x (y + y) / Factor comn X
f (x, y) = x (1)
/ A + A = 1
f (x, y) = x
/ A . 1 = A
Con lo que queda demostrado.
y = 0
y=1
x = 0
1
1
x=1
1
y = 0
y=1
x = 0
1
1
x=1
1
Si observas los unos encerrados, x no definen completamente toda la funcin, slo define
completamente dos unos.
Para considerar el otro uno podemos tomarlo slo, de la siguiente manera:
y = 0
y=1
x = 0
1
1
x=1
1
x = 0
1
1
x=1
1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
152
f (x, y) = x y + x y + xy
f (x, y) = x y + x y + xy + x y
f (x, y) = x (y + y) + y( x + x )
f (x, y) = x (1) + y(1)
f (x, y) = x + y
/A+A=A
/ Factor comn X
/ A + A = 1
/ A . 1 = A
153
Z = 0
Z=1
XY
00
1
1
XY
01
XY
11
1
1
XY
10
1
Z = 0
Z=1
XY
00
1
1
XY
01
XY
11
1
1
XY
10
1
f (x, y,z ) = xy + x y + xz
Para agrupar los unos que se encuentran en los cajones ZXY y en el cajn ZXY,
buscamos las letras que estos unos tienen en comn, las cuales son la Z y X.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
154
155
Ejemplo 2.
Representar en un mapa de Karnaugh la funcin Booleana descrita en la siguiente tabla y
luego simplificarla:
x
0
0
1
1
y
0
1
0
1
f
0
1
1
1
x=1
1
1
x=1
1
1
f (x, y, z) = x y + x y
= x (y + y)
=x
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
156
XY
01
XY
11
XY
10
Z = 0
Z=1
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1).
Ejemplo 1.
Encontrar la expresin booleana simplificada cuyo mapa k es:
XY
00
Z = 0
Z=1
XY
01
1
1
XY
11
1
1
XY
10
XY
01
XY
11
1
1
XY
10
1
157
XY
00
XY
01
XY
11
XY
10
Z W = 00
Z W = 01
Z W = 11
Z W = 10
En este caso pueden ocurrir adyacencias de dos, cuatro, ocho o diecisis unos (1).
Ejemplo 1.
Simplificar la funcin booleana cuyo mapa K asociado es:
Z W= 00
Z W= 01
ZW= 11
ZW= 10
XY
00
1
XY
01
XY
11
1
1
1
1
XY
10
1
La funcin es:
f(x,y,z,w) =xyzw + x yzw + xyzw+ x yzw+xy zw+x y zw+xy z w + x y z w
= yzw (x + x) + yz w (x + x) + y zw (x + x) + y z w (x + x)
= yzw + yz w + y zw + y z w
= yw (z + z) + y w (z + z)
= yw + y w
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
158
Z W= 00
Z W= 01
ZW= 11
ZW= 10
XY
00
1
1
1
1
XY
01
XY
11
XY
10
1
1
1
1
XY
00
Z W= 00
Z W= 01
ZW= 11
ZW= 10
XY
01
1
XY
11
1
1
1
XY
10
1
1
159
Captulo 3
Definicin y
representacin de los
circuitos lgicos y
aplicaciones.
LMPARA
P
Q
R
BATERA
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
160
OBJETIVOS ESPECFICOS
1. Describir cada compuerta lgica, mediante su tabla de verdad
2. Simplificar circuitos lgicos mediante la aplicacin de las leyes de lgebra booleana
3. Emplear compuertas para implementar el circuito representado por una expresin
booleana
4. Relacionar los conjuntos, la lgica, el lgebra booleana y las compuertas.
5. A partir de las tablas de verdad elaborar los mapas K y luego disear circuitos
lgicos.
6. Mostrar algunas aplicaciones del lgebra Booleana y su implementacin mediante
circuitos lgicos
161
ON
P
OFF
OFF
INTERUPTOR CERRADO
ON
INTERRUPTOR ABIERTO
Representacin de un interruptor
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
162
OFF
ON
FUENTE
ELECTRICA
(PILA O BATERIA)
Activacin de una lmpara
La lmpara se encender siempre que se cierre el circuito, es decir, cuando P adquiera la
posicin ON y se apagar cuando se abra el circuito, o sea cuando P tome la posicin
OFF.
En las siguientes figuras se muestran las posiciones ON y OFF.
CONMUTADOR CERRADO
(ENCENDIDA)
CONMUTADOR ABIERTO
(APAGADO)
163
Circuito de Conjuncin
Este circuito toma dos conmutadores P y Q, y recordando la tabla de verdad de la
conjuncin estudiada en el captulo 2 se puede inferir que los interruptores P y Q deben
estar conectados en serie de tal manera que si ambos estn cerrados (P y Q
verdaderas) el circuito estar cerrado y por consiguiente la lmpara estar encendida.
La representacin del circuito de conjuncin se muestra en la siguiente figura:
LMPARA
P
OFF
ON
OFF
ON
BATERA
Circuito de conjuncin
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
164
Circuito de Disyuncin
Analizando la tabla de verdad de la disyuncin se observa que si P y Q son dos
proposiciones, entonces la disyuncin Pv Q es verdadera siempre que alguna de las dos
sea verdadera, en trminos de circuitos esto significa que P y Q deben estar conectados
en paralelo, de tal forma que el circuito est cerrado cuando algn interruptor P o Q est
cerrado, en otras palabras, la lmpara estar encendida siempre que alguno de los dos
conmutadores P o Q est cerrado.
La representacin grfica de este circuito es el siguiente:
OFF
LMPARA
ON
Q
OFF
ON
BATERA
Circuito de disyuncin
165
Circuito de Negacin
La relacin entre el estado de la lmpara con la disposicin del circuito lgico, se puede
enunciar as: Si P es una proposicin verdadera el conmutador estar cerrado y la
lmpara estar encendida; anlogamente si P es falsa el conmutador estar abierto y en
consecuencia la lmpara estar apagada.
En la tabla de verdad de la negacin (elaborada en el captulo 2) se observa que el valor
de verdad de P es el opuesto al valor de P, esto significa que cuando el interruptor P esta
cerrado (P verdadera) la lmpara debe estar apagada y si el conmutador P esta abierto
(P falso) la lmpara debe estar encendida.
El circuito de negacin puede representarse grficamente as:
P OFF
ON
Circuito de negacin
El lgebra booleana se utiliza para describir los efectos que producen las entradas lgicas
sobre los circuitos lgicos y para manipular variables lgicas cuando se va a determinar el
mtodo de aplicacin de una funcin de un circuito.
Las operaciones del lgebra booleana son la adicin o suma lgica, la multiplicacin o
producto lgico y la complementacin o inversin lgica y los dispositivos electrnicos que
ejecutan cada operacin se llaman compuertas lgicas.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
166
P
Q
P
P vQ
vQ
Compuerta OR
(Cualquiera de las dos representaciones es vlida)
Esta compuerta tiene dos entradas que representan los estados de los conmutadores P, y,
Q y una salida Pv Q que representa el estado de la lmpara.
2.0.1.1.Multiplicacin o Producto Lgico
Llamada tambin operacin AND o simplemente AND. Corresponde en lgica a la
conjuncin de proposiciones y a la interseccin de conjuntos. El dispositivo electrnico
que ejecuta esta operacin se llama compuerta AND, tiene dos conmutadores P y Q los
cuales se representan como dos entradas y una salida PQ que representa el estado de la
lmpara, su presentacin grfica es:
PQ
Q
Compuerta AND
167
P
Compuerta NOT
LGICA
CONJUNTOS
LGEBRA
BOOLEANA
Disyuncin
Conjuncin
Negacin
PvQ
PQ
Unin
Interseccin
Complemento
AUB
AB
Suma
Producto
Inversor
X+Y
XY
OR
AND
NOT
COMPUERTAS
LGICAS
Figura No. 10 Correspondencias: Lgica-Conjuntos-lgebra-compuertas
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
168
P
Q
(P Q)
Ejemplo 1. (P Q).
169
Ejemplo 2
Utilizando las compuertas lgicas simbolizar la proposicin (P Q).
Analizando la tabla el circuito correspondiente es:
P Q)
Q
Ejemplo 2. (P Q).
Ejemplo 3
Utilizando las compuertas lgicas simbolizar la proposicin p (qv r).
En este caso intervienen tres proposiciones y dos conectivos, por lo tanto el circuito es:
P (Q R)
Q
R
Ejemplo 3. P (Q R)
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
170
P
Q
P (Q R)
R
Ejemplo 4. Pv (Q R).
A continuacin se conecta una lmpara al circuito, de tal forma que cuando la proposicin
es verdadera, la lmpara debe estar encendida y cuando sea falsa, la lmpara debe estar
apagada. Esta conexin se representa as:
LMPARA
P
Q
R
BATERA
171
vQ
Q
P
Q
Otras compuertas lgicas
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes
para escribir cualquier funcin boleana y por lo tanto disear un circuito lgico, sin
embargo, se utilizan otras compuertas lgicas como NAND, NOR, XOR y XNOR
La compuerta NAND es la negacin de la compuerta AND y se define como:
x NAND y = (x y) y se simboliza as:
Compuerta NAND
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
172
0
0
1
1
0
1
0
1
AND
x y
0
0
0
1
NAND
(x y)
1
1
1
0
vQ
Q
La
tabla
de
verdad
para
Compu
erta
las NOR
compuertas OR y NOR es:
0
0
1
1
0
1
0
1
OR
x+y
0
1
1
1
NOR
(x + y)
1
0
0
0
173
f(x, y, z) = x y = x y + xy.
El smbolo para esta compuerta es (Cualquiera de las dos representaciones es vlida):
XOR
x y
XNOR
(x y)
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
174
Z
X
Y
Z
YZ
YZ + X
Ejemplo 1
Ejemplo 2.
Escribir en forma normal disyuntiva la funcin f especificada en la siguiente tabla,
simplificarla y dibujar el circuito lgico correspondiente.
X
0
0
0
0
1
1
1
1
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
F
1
0
1
0
0
1
0
1
Recordando la seccin 5.9 del captulo anterior, para la forma normal conjuntiva se
consideran los unos (1), por lo tanto la funcin considerada es:
F(x, y, z) =
=
=
=
x y z + x y z + x y z + x y z
x y (y + y) + x z (y + y)
x z (1) + x z (1)
x z + x z
175
X
Z
Ejemplo 2
Ejemplo 3.
Escribir una expresin booleana para la salida f (x, y, z) del siguiente circuito.
X
Y
Z
X
Y
Ejemplo 3
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
176
Captulo
Aplicacin de los
circuitos lgicos
A
B
SUMADO
R
DIBITAL
S
C
177
Circuito Semisumador
Disear un CIRCUITO SEMISUMADOR consiste en construir un circuito lgico que sume
dos nmeros binarios de la siguiente manera:
+
0
0
______
0
0
+ 1
_____
1
1
+ 0
______
1
1
+ 1
_____
10
La suma de dos nmeros binarios puede estar conformada por dos cifras, como en el caso
de 1 + 1 = 1 0; por esto en el diseo de un circuito semisumador (ha) se debe tener en
cuenta una salida adicional denominada el ARRASTRE. La tabla de verdad para este
caso es la siguiente:
A
0
0
1
1
B
0
1
0
1
S
C
0
0
1
0
1
0
0
1
Suma Arrastre
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
178
B
S
C
Semisumador
179
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
180
Circuito Sumador
Para sumar nmeros binarios de n- bits se procede as:
Dados los nmeros binarios
A = An An-1
B = Bn Bn-1
A2 A1 A0
B2 B1 B0
(n- bits)
(n- bits).
C1
A2
B2
C 2 S2
C0
A1
B1
C1 S1
A0
B0
C 0 S0
SALIDAS
S
C
0
0
1
0
1
0
0
1
1
0
0
1
0
1
1
1
es el arrastre de salida.
181
Los mapas de Karnaugh deben ser para tres variables, los dos sumandos A, B y el
arrastre de entrada C . El mapa K para la suma S es:
A
C
C
1
B
A
1
B
A
1
B
A
1
B
Se deja como ejercicio construir el mapa k y el circuito lgico para el arrastre de salida.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
182
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
S
0
1
0
0
0
0
1
0
X
1
1
Y
S = x y z + x y z
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
184
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
f
1
1
1
0
1
0
0
0
y
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
L
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
1
185
INFORMACIN DE RETORNO
1. La funcin de salida es: f(x, y, z) = xyz + x yz + xyw.
correspondiente es:
x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
2.
y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
x
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
y
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
z
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
xyz
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
x yz
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
xyw
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
La tabla de verdad
f
1
1
0
1
0
0
0
0
1
1
0
0
0
0
0
0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
186
1
Y
X
1
Y
X
1
Y
X
1
Y
187
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
w
1
1
1
1
1
1
1
1
F
0
0
0
1
0
1
1
0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
188
b) zw
c) Solamente x, y, w, z.
Disee el circuito lgico que controla la alarma. Tenga en cuenta la siguiente tabla de
verdad
x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
ENTRADA
y
z
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
SALIDA
ALARMA
0
0
0
0
0
1
1
1
0
1
0
1
1
1
1
1
ACEPTABLE
1
1
1
1
1
0
0
0
1
0
1
0
0
0
0
0
189
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
190
191
ANEXO
5.7 RELACIN DE ORDEN EN UN LGEBRA BOOLEANA
Un conjunto A con un lgebra booleana definida, debe ser parcialmente ordenado (tema
tratado en la seccin 1.6), es decir, sus elementos deben cumplir las propiedades de la
relacin de orden: Reflexiva, antisimtrica y transitiva.
S A es el conjunto de los nmeros enteros con el lgebra booleana definida en la seccin
5.4 y una relacin de orden parcial (menor o igual), entonces para todo x, y, z
elementos de A, se debe cumplir:
1. Reflexiva:
x x
2. Antisimtrica: (x y) (y x) x = y
3. Transitiva:
(x y) (y z) (x z)
En un lgebra de boole x y
se define como x + y = y para indicar que el
elemento x es menor o igual a y, se representa grficamente como el siguiente diagrama
de lnea dirigida de x hacia y:
y
x
As 0 1 porque 0 + 1 = 1.
En un lgebra booleana definida sobre un conjunto A con la adicin (+) y el producto (.)
como operaciones binarias y la igualdad (=) como relacin de equivalencia, entonces, para
cualesquier par de elementos x, y del conjunto A las siguientes afirmaciones son
equivalentes:
S x y, entonces:
1.
2.
3.
4.
x + y
x. y =
x + y
x. y =
= y
x
= 1
0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD.
192