Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
UNIDAD DE CIENCIAS BSICAS
Bogot D. C, 2008
General
MDULO
LGICA MATE MTICA
SEGUNDA EDICIN
10 de febrero de 2008
ISBN
2008
Bogot, Colombia
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
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. comentarios en: georffrey@gmail.com
Contenido
Unidad
Representacin grfica
Formas para determinar un conjunto
Conjuntos Finitos
Conjuntos especiales
Relaciones entre conjuntos
Operaciones entre conjuntos
lgebra de conjuntos
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
Capitulo 4 Deduccin
El mtodo cientfico
Silogismos categricos
Forma Estndar de un silogismo categrico
Argumento deductivo
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
Capitulo 5 Induccin
Unidad
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
2 Un lgebra Booleana
propiedades o axiomas
lgebra booleana en sistemas numricos
lgebra booleana de los conjuntos
lgebra booleana de la lgica
Unidad
Teora de conjuntos y
principios de Lgica.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
Captulo 1:
Teora de conjuntos
U
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. comentarios en: georffrey@gmail.com
xA
x A
U
A
Figura No. 1
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;
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
10
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.
Conjuntos especiales
Conjunto vaco
Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as:
{ }
A=
Figura No. 2.
Naturalmente el conjunto forma parte de cualquier conjunto A, por lo cual se puede
afirmar que:
A
El conjunto (vaco) es un subconjunto de todo conjunto?
Ejemplo 1.
Si D = {x N / x x ), obviamente D es un conjunto que carece de elementos, puesto
que no existe ningn nmero natural que sea diferente a s mismo.
11
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.
A
u
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
12
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} }.
13
B
A
A 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.
Un resultado muy til e importante acerca de la contenencia entre conjuntos es el
siguiente:
Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto
de C; simblicamente este enunciado se escribe as:
S A B
C
B
B C, entonces,
A B
B C
______
A C
xA
Figura No. 6
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
14
A C
A = B si A B
U
A
2
1
4
3
5
B A
A B
B 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 A
AB
______
AB
Figura No. 8
15
U
A
B
1
7
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.
1.2.3 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. comentarios en: georffrey@gmail.com
16
3 2
1 4
A 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 B = {1,2,3,4,5,6,7}
17
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,5,6,7}
Figura No. 11
Caso 3. Que un conjunto este contenido en el otro.
la parte sombreada indica la operacin.
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 B=
{1,2,3,4,5,6,7}
Figura No. 12
Ejemplo 1.
Si A = {x N / x es dgito par o dgito primo}, grficamente la representacin de est
unin es:
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 B=
{1,2,3,4,5,6,7,8,9}
Figura No. 13
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
18
A B = {x / x A, ,x B}
el smbolo se lee interseccin y el smbolo se lee y.
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).
La parte subrayada representa la unin entre los conjuntos A y B.
6 7
2
1 4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
B={}
3 2 6
14 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
19
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.
3.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
20
4.
U=
M=
N=
M N=
P
Figura No. 17
M P=
MNP=
3. 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:
A B = {x / x A, , x B}
21
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.
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).
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}
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}
B = {1,2,3,4}
Figura No. 19
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin.
2B
3 6 7
14 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
B = {1,2,3,4}
A={}
Figura No. 20
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
22
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.
Ejemplo 1.
Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar A B y B A y
hacer la representacin grfica.
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces:
A B = {1, 4, 5, 6, 8, 9} y B A = ,
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
4
Diferencia simtrica
A B = {x / x A, , x B, , x A B}.
23
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 = {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
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin.
32 6 7
1 4 5
Figura No. 24
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}
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
24
U
=
A
=
B
=
A B=
A B =
A B=
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.
Ejercicio propuesto:
Representa el ejemplo anterior mediante diagramas de Venn
U
=
A
=
B
=
A B=
A B =
A B=
Figura No. 26
25
5. 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.
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
1 4
6 7
A = {5,6,7,8,9}
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}
7
9
A = {7,8,9}
Figura No. 28
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin.
AA
3 2 6 7
1
4 5
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}
Figura No. 29
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
26
-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
27
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).
La siguiente grfica muestra la diferencia.
Y
(-1,1)
-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:
Figura No. 32
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
28
A U =A
A =
29
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
30
U
A
=
Figura No. 36
=
Figura No. 37
A A'
=
'
= U
U
A
=
Figura No. 38
31
=
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:
3 2 6
14 5
7
9
3 2 6
1 4 5
7
9
(A U B)
A U B
2
3 6 7
14 5
A
Ejercicio propuesto:
2
3 6 7
14 5
Figura No. 40
2
3 6 7
14 5
__________________________________________________________________________
32
A' B'
2
3 6 7
14 5
2
3 6 7
14 5
______
2
3 6 7
14 5
____
_______
2
3 6 7
14 5
______
2
3 6 7
14 5
____
2
3 6 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:
Simplifica usando las leyes del lgebra Booleana
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'
33
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
34
326 7
14 5
326 7
14 5
A
U
326 7
14 5
2
3 6 7
14 5
(A B)
2
3 6 7
14 5
9
U
( A B' )
A B'
2
3 6 7
14 5
9
=
35
32 6 7
14 5
A
U
A
32 6 7
14 5
32 6 7
14 5
B
U
32 6 7
14 5
(A U B)
A U B
32 6 7
14 5
9
=
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
36
A U B
32 6 7
14 5
Captulo 2
Principios de lgica.
y
o
No
Si entonces
S y slo si
37
Principios de la 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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
38
Historia y clasificacin
Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o
discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que
se ocupaba de ciertas formas de lenguaje.
Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento
racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del
pensamiento racional; es de aclarar que la lgica no se ocupa del contenido de los
pensamientos sino de la manera o forma de los pensamientos.
En respuesta a la necesidad de construir argumentos, para defender o refutar
pensamientos de los dems, Aristteles, considerado por los griegos. El padre de la
lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo
cual desarroll la lgica proposicional estableciendo procedimientos para determinar la
verdad o falsedad de proposiciones compuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica
clsica, planteando que la dependencia lgica entre proposiciones es demostrada,
reduciendo argumentos complejos en simples, para lo cual propuso representar el
conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
esquema (lgica simblica) lo llam una caracterstica universal.
El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George
Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las
operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de
adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin,
interseccin y negacin; adems formularon los principios del razonamiento simblico y el
anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para
comprobar la veracidad de proposiciones compuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra
Principio Matemtico, quienes codificaron la lgica simblica en su presente forma
definindola como la Ciencia de todas las operaciones conceptuales posibles, por
esta razn la fundacin de la lgica formal moderna se le atribuye a ellos.
39
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
40
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.
41
Simbolizacin : proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del
lenguaje cotidiano con un significado mucho ms limitado, en tales condiciones, se puede
considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser
verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea
un lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien
definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones representan oraciones declarativas,
las cuales contienen un sujeto perfectamente definido o dado por el contexto, un
predicado y una conjugacin del verbo ser.
Las proposiciones se representan simblicamente mediante el uso de letras minsculas
del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o
variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y
exacto que el lenguaje natural.
Los siguientes ejemplos ilustran cmo se pueden simbolizar las proposiciones:
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
42
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
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.
x : Quieres caf?.
y : Quieres t?.
x 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.
Conectivos Lgicos
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
44
2.
3.
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.
Ejemplo 1. Uso del o incluyente
r v s: Juan estudia ingeniera o Paola estudia medicina.
r : Juan estudia ingeniera.
v:O
s: Paola estudia medicina.
Ejemplo 2. Uso del o excluyente.
x v y : Quieres helado o gaseosa.
x : Quieres helado.
v: O
y: Quieres gaseosa.
Ejemplo 3: Uso del o excluyente
p v q: Alexandra vive en Bogot o en Barranquilla.
p : Alexandra vive en Bogot.
v:O
q : Alexandra vive en Barranquilla.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
46
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.
47
p:
q:
pq
qp
~p~q
~q~p
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:
implicacin:
Contraria:
Recproca:
Contrarrecproca:
Ejemplo 3.
Proposicin directa:
Contraria:
Recproca:
Contrarrecproca:
q~p
~ (~ p) ~ q
p ~ q
~ q ~ (~ p)
~ qp.
~p~
q
~q~
p
~ (~ p) ~ (~ q)
p q
~ (~ q) ~ (~ p)
q p
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
48
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
stas son:
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.
49
Tablas de verdad
Definicin
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas,
las cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin
( ~ ), la disyuncin ( ) y la conjuncin ( ) se consideran conectivos
fundamentales; por tal razn, sus valores de verdad constituyen base para establecer bajo
qu condiciones una proposicin compuesta es verdadera o falsa.
p q ~p pq pq pq pq
V V F
V
V
V
V
V F F
F
V
F
F
F V V
F
V
V
F
F F V
F
F
V
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 pq pq pq pq
1 1 0
1
1
1
1
1 0 0
0
1
0
0
0 1 1
0
1
1
0
0 0 1
0
0
1
1
Construccin de tablas de verdad
Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la
correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian
los pasos a seguir:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
50
q pq ~(pq)
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
V
V
F
F
q pq ~(pq)
V
V
F
F
F
V
V
F
V
F
F
V
p
1
1
0
0
q pq ~(pq)
1
1
0
0
0
1
1
0
1
0
0
1
51
Ejemplo 2.
Elaborar la tabla de verdad de la proposicin: (p q) (p q).
Al realizar el recorrido de izquierda a derecha se observa que la proposicin est
conformada por dos parntesis conectados por la disyuncin y dentro de cada parntesis
se identifican la disyuncin y la conjuncin respectivamente; despus de ste anlisis se
elabora la tabla.
p
1
1
0
0
q p q p q (p q) (p q)
1
1
1
1
0
1
0
0
1
1
0
0
0
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
52
q pq
V
V
F
F
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 pq
V V
V
V F
F
F V
V
F F
V
El bicondicional
p q pq
V V
V
V F
F
F V
F
F F
V
53
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 )
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
54
p q pq ~q
1
1
0
0
1
0
1
0
1
1
1
0
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 p ~ q ( p ~ q) q
V F
F
F
F V
V
F
V F
F
F
F V
F
F
Ejemplo 3
Establecer si las proposiciones (p q ) y (~ p q ) son lgicamente equivalentes.
Para esto hay que probar que (p q) (~ p q), la tabla de verdad es:
p q pq ~p
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
~p
q
1
0
1
1
(p q ) (~ p q)
1
1
1
1
Como la ltima columna es toda verdadera (tautologa), se puede concluir que las
proposiciones son lgicamente equivalentes.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
56
3. Asociativas:
ppp
p p p
(p q) r p (q r )
(p q) r p (q r)
4. Conmutativas:
pqqp
p q q p
5. Distributivas:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
6. Identidad:
p0p, p 11
p 0 0 , p 1 p.
7. Complemento:
p ~ p 1,
p~p0
~ ( ~ p) p, ~ 1 0,
~01
8. Leyes D Morgan:
~(pq)~p~q
~(pq)~p~q
Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra de
proposiciones.
57
En los ejemplos que aparecen a continuacin, se utilizan las leyes de la lgica para
realizar las respectivas demostraciones:
Ejemplo 1.
Demostrar que:
1. p p p
2. p p p.
Estas demostraciones se pueden efectuar partiendo del primer miembro y llegar al
segundo o partiendo del segundo y llegar al primero. En la parte derecha se escribe el
nombre de la ley que justifica ese paso.
1. Partiendo del primer miembro se llega al segundo as:
p p (p p) 0
Identidad
p p (p p) (p ~ p)
Complemento
p p p (p ~ p)
Distributiva
ppp1
Complemento
ppp
Identidad
2. Partiendo del segundo miembro se llega al primero as:
pp0
Identidad
p p (p ~ p)
Complemento
p (p p) (p ~ p)
Distributiva
p (p p) 1
Complemento
p (p p)
Identidad.
Se sugiere hacer las demostraciones partiendo del primer miembro.
Ejemplo 2.
Demostrar que: (p q) (~ p q) q
( q p) (q ~ p) q
q(p~p)
q0
q
Conmutativa
Distributiva
Complemento
Identidad
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
58
Identidad
Complemento
Asociativa
Complemento
Identidad
Ejemplo 4.
Demostrar: (p ~ q) (q r) (q ~ r) (p q)
(p ~ q) [q (r ~ r)]
(p ~ q) [q 0]
(p ~ q) q
(p q) (~ q q)
(p q) 0
(p q)
Distributiva
Complemento
Identidad
Distributiva
Complemento
Identidad.
Ejemplo 5.
Demostrar:
~ [(p ~ q r) (p q r)] (~ p ~ r)
59
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: .
Ejemplo 3
( x ) / ( 2 x + 2 = 5 ).
60
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 ,, 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.
61
Captulo
S P
S P SP
S P
Clases S y P
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
62
63
P
temer
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
64
Ningn S es P
,donde S representa el trmino sujeto y P el trmino predicado.
Personas
P
teme
Conductores de automvil
Responsable
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.
65
temer
Estudiantes de secundaria
Estudiante que ingresa a la
educacin superior
Algn S es P
Algn S es P,
Lo cual significa que por lo menos un miembro de la clase designada con el trmino sujeto
S tambin es miembro de la clase designada por el trmino predicado P. El nombre
afirmativa particular hace referencia a que la proposicin afirmativa se cumple en la
relacin de inclusin entre clases, pero no lo afirma de la primera clase universalmente,
slo parcialmente, de algunos miembros particulares de la primera clase.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
66
temer
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.
67
Ejercicio propuesto:
De la lectura anterior, y puedes completar la siguiente tabla:
Proposicin
Categrica
Representacin
Todo S es P
Particular Negativa
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
68
69
Ejemplo 4
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.
Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo contrario.
Ejemplo 5
Considerando las proposiciones
P:
Q:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
70
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
71
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
subcontrarias
contradictorias
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
72
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.
A continuacin se representa grficamente las proposiciones No hay S y Hay S.
S tiene algo adentro
S no tiene miembros
S 0.
S = 0.
Hay S
No hay S
73
Se puede observar que el crculo que representa la clase S tambin representar la clase
de su complemento, S, es decir, si en el interior del crculo se representa a todos los
miembros de S, entonces, su exterior representar todos los miembros que no estn en S,
por lo tanto estn en S.
Representacin de una proposicin categrica:
Para representar una proposicin categrica en forma estndar se necesitan dos crculos
intersecados. Si S y P representan los sujetos y predicados de la proposicin, entonces su
representacin es:
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
74
SP = 0
Todo S es P
Ningn S es P, o,
Ningn P es S
SP = 0 y PS = 0,
75
P
x
Algn S es P o
Algn P es S
SP 0 ; PS 0 ;
4. Algn S no es P, simbolizada por SP 0, su representacin grfica es:
P
x
Algn S no es P
SP 0
En el caso Algn P no es S, simbolizada por PS 0, su representacin grfica es:
P
x
Algn P no es S
PS 0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
76
77
Captulo 4
Deduccin
(G H) (J K)
G
/ J
_________________________________
G H
2, Ad.
J K
1,3, M. P
J
4, Simp.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
78
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
79
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
80
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
81
82
83
Ejemplo 1
Dadas las premisas:
Ningn hroe es cobarde
Algunos soldados son cobardes
Y la conclusin:
por lo tanto, algunos soldados no son hroes
Se puede observar claramente que el argumento deductivo es un silogismo categrico
porque consiste en tres proposiciones categricas (dos premisas y una conclusin) que
contienen exactamente tres trminos (hroe, cobarde y soldado).
Para saber si el silogismo categrico est en forma estndar, es necesario identificar el
trmino mayor, el trmino menor, premisa mayor, premisa menor y analizar la conclusin.
En este caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y
por consiguiente la premisa mayor es: ningn hroe es cobarde; el sujeto de la
conclusin es soldado que es el trmino menor, por lo tanto la premisa menor es:
algunos soldados son cobardes, adems, la conclusin tiene dos de los tres trminos
del silogismo: soldados y hroes, los trminos mayor y menor aparecen, cada uno, en
una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de
silogismo categrico en forma estndar, tambin aparece el trmino cobardes el cual se
denomina trmino medio.
Ejemplo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar s esta en forma estndar.
Ningn submarino nuclear es un navo comercial, as, ningn barco de
guerra es un navo comercial, puesto que todos los submarinos nucleares
son barcos de guerra.
Como el argumento deductivo est formado por tres proposiciones categricas que
contienen exactamente los tres trminos: submarino nuclear, navo comercial y barcos de
guerra, se puede afirmar que se trata de un silogismo categrico.
La conclusin se identifica como la proposicin:
ningn barco de guerra es un navo comercial.
Y las premisas como las proposiciones:
ningn submarino nuclear es un navo comercial y
todos los submarinos nucleares son barcos de guerra.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
84
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.
85
inventos
-------
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
86
87
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
pr
fp
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
88
(i s) (g p)
[(s i) t ] [t p]
is
p
i
s
g
t
p
_______________________
F
F
F
F
F
89
Ejemplo 3
Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la inflacin
contina, entonces si las tasas de inters permanecen altas, descender la actividad
comercial. Si las tasas de inters permanecen altas, entonces si la actividad comercial
decrece, el desempleo aumenta. As, si el desempleo aumenta, continuar la inflacin.
Tomando el siguiente lenguaje simblico:
P: la inflacin contina
Q: las tasas de inters permanecen altas
R: descender la actividad comercial
S: el desempleo aumenta
Se pueden establecer las siguientes premisas:
1. p q
2. p (q r)
3. q (r s)
/ 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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
90
91
Reglas de inferencia:
A medida que vallas estudiando las reglas de inferencias encontrs que stas son usadas
continuamente en el lenguaje natural. Las usamos para obtener conclusiones que
consideramos normalmente vlidas. Lo que haremos ahora, es detenernos a analizar
porqu consideramos a estas inferencias vlidas, aprenderemos que al construir la tabla
de verdad de la inferencia lgica se puede determinar la validez de la misma, a la vez que
aprendes a identificar las diferentes inferencias lgicas en los razonamientos que hacemos
continuamente.
Poder identificar una inferencia lgica y poder clasificarla como vlida o no mediante la
construccin de la tabla de verdad te dar las bases para elaborar argumentos slidos,
presentes en todas las actividades acadmicas ya sea en la elaboracin de ensayos o
debates, como en las actividades cotidianas.
Veamos la primera regla, denominada Modus Ponendo Ponens MPP, tambin llamada
simplemente MP Modus Ponens, nombre que puedes leer como Modo Afirmando_
Afirmando, veamos:
1. Modus Ponens (M. P)
[(pq)p]q
Cmo interpretar esta ley?, observa el siguiente ejemplo:
Daniel escucha la siguiente afirmacin Si llueve hace fro
En la siguiente escena, Daniel observa llover, es decir llueve
Qu puede concluir Daniel? Que har fro, es decir hace fro
Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las
inferencias lgicas, la cual denominaremos MPP Modus Ponendo Ponens.
En este ejemplo, las proposiciones simples son:
p = llueve
q = hace fro
Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simblico as:
p q = Si llueve hace fro
As que nuestro ejemplo puede ser representado en el lenguaje simblico de la
siguiente manera:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
92
Se lee : si p entonces q
Se lee : ocurre p
Se lee : de donde q
Ejemplo:
Modus Ponens (M. P)
1-Si llueve hace fro
2-llueve
3-luego Hace fro
Si p entonces q
y q (y se da q, y ocurre q)
Entonces q (en conclusin q)
93
Observa que efectivamente hemos obtenido una tautologa, es decir, la inferencia lgica
que estamos utilizando es correcta.
A continuacin se presentan nueve reglas de inferencia. En el lado izquierdo se enuncia la
regla de inferencia y en el lado derecho se propone una aplicacin de la ley de inferencia
en el lenguaje natural:
-------------------------------------------------------------------------------------------------------------Ejemplo:
2. Modus Tollens (M. T)
Modus Tollens (M. T)
pq
Se lee : si p entonces q
Si llueve hace fro
no hace fro
q
Se lee : ocurre ~q
luego no llovi
p
Se lee : de donde ~p
-------------------------------------------------------------------------------------------------------------Ejemplo:
3. Silogismo Hipottico (S: H)
p q
q r
pr
Se lee : si p entonces q
Se lee : si q entonces r
Se lee : de donde
si p entonces r
-------------------------------------------------------------------------------------------------------------Ejemplo:
4. Silogismo disyuntivo (S. D)
Silogismo disyuntivo (S. D)
pq
Cae Cara o Sello
p
No cay sello
q
luego cay cara.
-------------------------------------------------------------------------------------------------------------5. Dilema constructivo (D.C)
(p q) (r s)
pr
q s
Ejemplo:
6. Absorcin (Abs.)
pq
p (q p)
Absorcin (Abs.)
Si estudio aprendo
Estudio, luego aprendo y estudio
-------------------------------------------------------------------------------------------------------------__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
94
7. Simplificacin (Simp.)
pq
p
-------------------------------------------------------------------------------------------------------------Conjuncin (Conj.)
8. Conjuncin (Conj.)
Estudio
p
Trabajo
q
Luego, etudio y trabajo
pq
-------------------------------------------------------------------------------------------------------------Adicin (Ad.)
Estudio
Luego, etudio trabajo
9. Adicin (Ad.)
p
pq
-------------------------------------------------------------------------------------------------------------A continuacin se estudian ms afondo las cuatro reglas de inferencia ms comunes, las
cuales corresponden a los argumentos elementales y cuya validez se puede establecer
por medio de las tablas de verdad:
Modus Ponendo Ponens (MPP)
[(pq)p]q
Modus Tollendo Tollens ( MTT )
[(pq)~q]~p
Modus Tollendo Ponens ( MTP)
[(pq)~p]q
[ (pq)~q]p
Silogismo Hipottico ( SH )
[ ( p q ) ( q r ) ] ( p r)
95
Ejemplo 1.
Premisa 1: Si Julin estudia Ingeniera de sistemas a distancia, entonces l estudia en la
UNAD.
Premisa 2: Julin estudia Ingeniera de sistemas a distancia.
Conclusin: Julin estudia en la UNAD.
Simblicamente, el ejemplo 1 se expresa as:
Si
p: Julin estudia Ingeniera de Sistemas a Distancia
q: l estudia en la UNAD.
Procedemos ahora a utilizar el lenguaje simblico definido, as:
Premisa 1: p q
Premisa 2: p
Conclusin: q
Ejemplo 2.
Premisa 1: Si x + y = z, entonces, y + x = z.
Premisa 2: x + y = z
Conclusin: y + x = z
Simblicamente, si p: x + y = z
q: y + x = z
Entonces: Premisa 1: p q
Premisa 2: p
Conclusin: q
Ejemplo 3.
Premisa 1: ~ p s
Premisa 2: ~ p
Conclusin: s
Ejemplo 4.
Premisa 1: ~ r ~ t s
Premisa 2 : ~ r
Conclusin: ~ t s
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
96
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.
[ (pq)~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 q
Premisa 2: ~ p
Conclusin: Q.
Ejemplo 2
Premisa 1: ~ q r
Premisa 2: ~ r
Conclusin: ~ q
Ejemplo 3
Premisa 1: (s t) r
Premisa 2: ~ ( s t)
Conclusin: r
Ejemplo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ q 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. comentarios en: georffrey@gmail.com
98
Ejemplo 1.
[ ( p q ) ( q r ) ] ( p r)
p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
q~p
~pr
qr
Ejemplo 3
Premisa 1. s t r q
Premisa 2. r q ~ p
Conclusin. s t ~ 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.
99
= Gloria gana
= Hctor gana
= Jorge pierde
= Kelly pierde
J
(Se lee: de donde J, J es la
premisa que esperamos demostrar).
3. G H
2,
4. J K
1,3 M. P
Ad.
(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)
J
K
es
la
consecuencia de
G H aplicando la ley de inferencia
MP (Modus Ponendo Ponens) con las
premisas 1 y 3.
5. J
4,
Simp. Tenemos J K, pero
solo
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
100
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
SE
C (C R)
CP
S
E
/M
1, Abs.
5,2, S. H.
3,6, M. P.
4,7, D. C.
101
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 R
4. P S
5. R Q
/ QS
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
102
(P Q) R
R
QS
SP
/ PQ
PQ
QP
103
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:
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
104
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que: P(n): 1+2++n = n (n+1) / 2
I.
II.
III.
105
1+2++k + k + 1 = k (k + 1) + k + 1
2
= k2 +k+2k+2
2
= k2 +3k +2
2
= (k + 1) (k + 2) / 2
resolviendo la suma
sumando trminos semejantes
factorizando
lo que se quera demostrar.
(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.
Refutacin por contraejemplo:
Refutar la proposicin el cuadrado de todo nmero impar es par:
Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 52 = 25, queda
refutada la proposicin.
Se deja como ejercicio de consulta investigar otros ejemplos de los tipos de demostracin
y de los mtodos de refutacin.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
106
Captulo 5
Induccin
ObservacinExperienciaProbabilidad
107
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
108
-----la observacin y la experiencia nos inducen a una concluisin ------------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.
109
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.
En este caso surge un problema lgico porque segn el mtodo deductivo, los argumentos
de esa forma no son vlidos, de manera que no se puede inferir esa conclusin, ni saber si
es verdadera basada en la verdad de las premisas.
El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicionalmente
el problema de la induccin las razones de este problema son:
1. Como la conclusin es general, tendr una aplicacin ms amplia de la que
cualquier conjunto de premisas pueda garantizar.---LA CLAVE--(La conclusin es
ms general que las premisas)---2. La verdad de la conclusin no puede nunca ser garantizada por la verdad de las
premisas porque siempre puede presentarse un nuevo caso que convierta en falsa
la conclusin.--- LA CLAVE---(En algn momento se puede llegar a dar una
premisa falsa)---.
Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo
deductivo, visto como procedimiento de descubrimiento y como procedimiento de
confirmacin.
De los argumentos inductivos el que se usa con mayor frecuencia es el analgico.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
110
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.
111
Ejemplo 1.
Identifique en el siguiente prrafo el argumento analgico
Los escritores JHON DOLLARD y NEAL E. MILLER, en su libro Personalidad y
psicoterapia afirman:
Hemos dicho que las personas normales tienen poca motivacin para dedicar un
esfuerzo especial al estudio de s mismas. Lo mismo es cierto de la aritmtica. Si la
presin de los padres y de la escuela no proporcionara una motivacin, habra un
aprendizaje escaso de las matemticas. Por analoga, parece posible que pueda
motivarse y prepararse a los nios para usar sus habilidades mentales con el fin de
resolver problemas emocionales. En la actualidad, no reciben casi ninguna
preparacin para el desarrollo de esta importante capacidad .
En este prrafo, el argumento analgico es: Si la presin de los padres y de la escuela no
proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. La
analoga se basa en la semejanza. OBSERVACIN-
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
112
premisas.
Ejemplos:
1. Nmero de entidades entre las que es establece la analoga. -EXPERIENCIASignifica 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 3.
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.
2. 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.
113
Ejemplo 4.
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 comprados en la
misma tienda, sino que son de la misma marca, que eran los ms caros del almacn y que
tienen el mismo estilo.
Ejemplo 5.
Una persona adquiri un carro nuevo y la ha dado un rendimiento de 10 Km / litro de
gasolina, otra persona puede inferir que su carro nuevo, de la misma marca y modelo le
dar un rendimiento igual (lo cual es probable); pero si la inferencia es que su carro le dar
un rendimiento superior a 10 Km / litro, entonces esta conclusin ser menos probable y la
conclusin ser mucho ms dbil si se afirma que el automvil rendir exactamente 10 Km
/ litro.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
114
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?
115
Unidad
lgebra Booleana
y
circuitos lgicos
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
116
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.
117
Captulo 1
Axiomas del lgebra
booleana
+
*
=
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
118
NTRODUCCIN
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
119
Definicin
Las propiedades del sistema matemtico de la lgica simblica se pueden aplicar al
lgebra de conjuntos; para tal fin, se forma un sistema matemtico abstracto llamado
lgebra Booleana, en el cual los smbolos carecen de significado, de tal manera que esta
lgebra puede aplicarse a otras reas.
Para definir este sistema abstracto es conveniente recordar que una operacin binaria es
una funcin que asigna a cada pareja ordenada un solo elemento.
Un lgebra booleana es un sistema algebraico constituido por un conjunto A formado por
elementos a, b, c, z, dos operaciones binarias simbolizadas por # y * definidas sobre el
conjunto A y una relacin de equivalencia simbolizada por =, tales que, para cualesquiera
elementos a, b y c de A, se verifican las siguientes propiedades o axiomas:
1. Cerradura o clausurativa:
(a # b) y (a * b) tambin son elementos del conjunto A
2. Conmutativa:
(a # b) = (b # a)
(a * b) = (b * a)
3. Asociativa:
(a # b) # c = a # (b # c) y
(a * b) * c = a * (b * c)
4. Distributiva:
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. comentarios en: georffrey@gmail.com
120
+
*
=
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
121
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.
4.6
lgebra booleana de la lgica
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
122
Relacin de equivalencia:
Elemento neutro:
3. Asociativa:
4. Distributiva:
p v q q p
p q q p
(p q) r p (q r)
(p q) r p (q r).
p (q r) (p v q) (p v r)
p (q v r) (p q) v (p r).
p 1 p.
123
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. comentarios en: georffrey@gmail.com
124
Captulo 2
Expresiones Booleanas
f (x, y) = x y + x y + x y + x y
125
Expresiones booleanas
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. comentarios en: georffrey@gmail.com
126
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
= y (x + x) (z + z) + x z (y + y)
Por distributiva
= y (x z + x z + x z + x z) + x z y + x z y
distributiva
= x y z + x y z + x y z + x y z + x y z + x y z asociativa
= x y z + x y z + x y z + x y z + x y z
Una funcin booleana puede ser expresada en forma normal disyuntiva en ms de una
manera, mediante el cambio del nmero de variables; sin embargo, para un nmero dado
de variables la forma normal es nica.
Ejemplo 2.
Si f (x, y) = x y esta en forma normal disyuntiva en x y en y, pero si x . y es multiplicada
por z + z, entonces se tiene que:
f (x, y, z) = x y (z + z)
f (x, y, z) = x y z + x y z tambin esta en forma normal en las variables x, y, z.
Ejemplo 3.
g (x, y, z) = x y z + x y z + x y z + x y z est en forma normal disyuntiva en x, y, z,
pero aplicando las leyes del lgebra booleana se tiene que:
g (x, y, 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)
por lo tanto g (x, y, z) = y que es la forma normal en y.
La forma normal disyuntiva en n-variables que tiene 2n trminos se llama forma normal
disyuntiva completa en n-variables y es idnticamente igual a la unidad.
Ejemplo 4.
Para el caso de dos variables (n = 2) la
siguiente tabla:
x
1
1
0
0
f (x, y)
xy
x y
x y
x y
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
128
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.
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.
129
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. comentarios en: georffrey@gmail.com
130
x = 1
y=1
y = 0
131
x
1
1
0
0
y
1
0
1
0
f (x, y)
x + y
x + y
x+y
x + y
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
132
133
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
134
Captulo 3
Simplificacin de
expresiones Booleanas
XY
00
XY
01
XY
11
XY
10
Z = 0
Z=1
135
B Funcin
0
1
1
0
0
1
1
1
~A ~B
~A B
Mapa de karnaugh
A ~B
AB
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
136
~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
x
1
1
Adyacencia
Vertical
Adyacencia
y horizontal
137
Ejemplo 1.
Escriba en forma normal disyuntiva la funcin booleana descrita en el mapa de Karnaugh y
luego simplifquela.
y
y
x
1
0
x
1
0
y
y
x
x y
x y
x
x y
xy
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
138
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
139
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
y = 0
y=1
x=1
Y
Y
Si observas los unos encerrados, podrs ver que x los define completamente.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
140
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
La funcin quedara definida por:
x = 0
1
1
x=1
1
f (x, y) = x + x y
x = 0
1
1
x=1
1
141
Tomo
cualquiera y lo
duplico
= x y + x y + xy
= x y + x y + xy + x y
= x (y + y) + y( x + x )
= x (1) + y(1)
= x + y
/A+A=A
/ Factor comn X
/ A + A = 1
/ A . 1 = A
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. comentarios en: georffrey@gmail.com
142
Tomo xyz
y lo duplico
Simplificando
143
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
144
x=1
1
1
f (x, y, z) = x y + x y
= x (y + y)
=x
Mapas de karnaugh para tres variables:
El mapa K para tres variables es un diagrama formado por dos filas y cuatro columnas,
as:
XY
00
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
Z = 0
Z=1
XY
11
1
1
XY
10
1
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).
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
146
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
Ejemplo 2.
Simplificar la funcin booleana cuyo mapa K asociado es:
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
147
Ejemplo 3.
Obtener la expresin booleana reducida para el siguiente mapa K
XY
00
Z W= 00
Z W= 01
ZW= 11
ZW= 10
XY
01
1
XY
11
1
1
1
XY
10
1
1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
148
Captulo 4
Definicin y
representacin de los
circuitos lgicos.
LMPARA
P
Q
R
BATERA
149
OBJETIVO GENERAL
Utilizar el lgebra booleana para analizar y describir el funcionamiento de las
combinaciones de las compuertas lgicas, de tal manera que pueda relacionar la teora
de conjuntos, el lgebra proposicional, el lgebra booleana y las compuertas lgicas, para
disear circuitos lgicos
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
150
ON
P
OFF
OFF
INTERUPTOR CERRADO
ON
INTERRUPTOR ABIERTO
Representacin de un interruptor
151
Ejemplo 1.
Se conecta una lmpara a un circuito con interruptor, de tal forma que la lmpara se
encienda cuando el conmutador est cerrado y se apague cuando este abierto.
El circuito se puede representar esquemticamente as:
LAMPAR
OFF
ON
FUENTE
ELECTRICA
CONMUTADOR CERRADO
(ENCENDIDA)
CONMUTADOR ABIERTO
(APAGADO)
152
5.2
CIRCUITO DE CONJUNCIN
LMPARA
P
OFF
ON
OFF
ON
BATERA
Circuito de conjuncin
153
5.3
CIRCUITO DE DISYUNCIN
OFF
LMPARA
ON
Q
OFF
ON
BATERA
Circuito de disyuncin
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
154
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.
155
5.5
P
Q
PQ
PQ
Q
Compuerta OR
PQ
Q
Compuerta AND
5.7
P
Compuerta NOT
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
156
LGICA
CONJUNTOS
LGEBRA
BOOLEANA
Disyuncin
Conjuncin
Negacin
PQ
PQ
Unin
Interseccin
Complemento
AB
AB
Suma
Producto
Inversor
X+Y
XY
OR
AND
NOT
COMPUERTAS
LGICAS
Figura No. 10 Correspondencias: Lgica-Conjuntos-lgebra-compuertas
Ejemplo 1.
Utilizando compuertas lgicas simbolizar la proposicin: (PQ).
Segn la tabla, las compuertas correspondientes a la disyuncin y a la negacin son: OR
y NOT respectivamente, por lo tanto la combinacin de ellas dar la compuerta solicitada,
as:
P
Q
(P Q)
Ejemplo 1. (P Q).
157
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 (q 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. comentarios en: georffrey@gmail.com
158
P
Q
P (Q R)
R
Ejemplo 4. P (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
159
PQ
Q
P
Compuerta NAND
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
160
0
0
1
1
0
1
0
1
AND
x y
0
0
0
1
NAND
(x y)
1
1
1
0
PQ
Q
Compu
La tabla de verdad para las 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
f(x, y, z) = x y = x y + xy.
El smbolo para esta compuerta es (Cualquiera de las dos representaciones es vlida):
161
0
0
1
1
0
1
0
1
XOR
xy
0
1
1
0
XNOR
(x y)
1
0
0
1
Y
X
Y
Z
YZ
YZ + X
Ejemplo 1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
162
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
X
Z
X
Z
Ejemplo 2
163
Ejemplo 3.
Escribir una expresin booleana para la salida f (x, y, z) del siguiente circuito.
X
Y
Z
X
Y
Ejemplo 3
La funcin correspondiente es: f(x, y, z) = (x + y ) (y z).
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
164
Captulo 5
Aplicacin de los circuitos
lgicos
A
B
SUMADO
R
DIBITAL
S
C
165
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. comentarios en: georffrey@gmail.com
166
B
S
C
Semisumador
167
S = { [ (A + B) + (A + B ) ] }
Anlogamente, la salida C = AB ser:
C = (C) = [(AB)] = (A + B)
Con lo cual el circuito lgico es:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
168
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
169
es el arrastre de salida.
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
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. comentarios en: georffrey@gmail.com
170
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. comentarios en: georffrey@gmail.com
172
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
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
L
0
1
1
0
1
0
0
1
173
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
La tabla de verdad
z w x y z xyz x yz xyw f
0 0 1 1 1
1
0
0
1
0 1 1 1 1
1
0
1
1
1 0 1 1 0
0
0
0
0
1 1 1 1 0
0
0
1
1
0 0 1 0 1
0
0
0
0
0 1 1 0 1
0
0
0
0
1 0 1 0 0
0
0
0
0
1 1 1 0 0
0
0
0
0
0 0 0 1 1
0
1
0
1
0 1 0 1 1
0
1
0
1
1 0 0 1 0
0
0
0
0
1 1 0 1 0
0
0
0
0
0 0 0 0 1
0
0
0
0
0 1 0 0 1
0
0
0
0
1 0 0 0 0
0
0
0
0
1 1 0 0 0
0
0
0
0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
174
1
Y
X
1
Y
X
1
1
Y
L = x y z + x y z + x y z + x y z
El circuito lgico es:
175
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. comentarios en: georffrey@gmail.com
176
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
177
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
178
179
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. comentarios en: georffrey@gmail.com
180