Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo Logica Matematicas Unad PDF
Modulo Logica Matematicas Unad PDF
Copyright
Universidad Nacional Abierta y a Distancia UNAD
ISBN
2008
Bogot, Colombia
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
2
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.
Georffrey Acevedo G.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
2
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Contenido
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
3
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
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
propiedades o axiomas
lgebra booleana en sistemas numricos
lgebra booleana de los conjuntos
lgebra booleana de la lgica
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
4
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Capitulo 3 Simplificacin de Expresiones Booleanas
5
Unidad 1
Teora de conjuntos y
principios de Lgica.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
6
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Captulo 1:
Teora de conjuntos
U
A
B
7
Objetivo general
Objetivos especficos
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
8
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Representacin grfica
Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la
utilizacin de esquemas grficos llamados circulos de Euler o diagramas de Venn.
Estos esquemas estn compuestos por una regin cerrada del plano (generalmente un
rectngulo), la cual representa el conjunto universal, y por uno o varios crculos que
representan los conjuntos a graficar.
Generalmente, los conjuntos se identifican con letras maysculas y sus elementos con
minsculas.
xA x A
U U
A A
x
x
Figura No. 1
9
Formas para determinar un conjunto:
1. Por extensin:
Un conjunto est determinado por extensin cuando se describe el conjunto nombrando
cada uno de sus elementos. Por ejemplo:
A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C = {1, 3, 5, 7, 9, 11, 13, 17, 19,}
D = {a, e, i, o, u }
2. Por comprensin:
Un conjunto est determinado por comprensin cuando se nombra una propiedad, una
regla o una caracterstica comn a los elementos del conjunto. Por ejemplo:
Lenguaje:
E = {x R / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se lee
as:
E igual al conjunto de todos los nmeros reales tales que (o que verifican que) cero (0) es
menor o igual a x, y, x a su vez es menor que 9, esta notacin se usa con mucha
frecuencia para describir intervalos, para escribir la solucin de una inecuacin o para
representar el dominio de una funcin real.
Conjuntos Infinitos:
Existen conjuntos como por ejemplo:
A = {x R / 0 x < 9} 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Conjuntos Finitos:
Mientras que otros, como por ejemplo:
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?
Conjuntos especiales
Conjunto vaco
A
{ } 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:
U
A
A = Conjunto Unitario
7 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
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.
U
A o U = Conjunto Universal
a i
e A = {a,e,i}
u 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Si A es un conjunto, el conjunto de partes de A, escrito como P(A) est formado por todos
los subconjuntos que se pueden formar del conjunto A.
Ejemplo 1.
Si A = {1, 3, 5}, entonces el conjunto de partes de A esta formado por los siguientes
subconjuntos:
P (A) = {{1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}, }.
P(A) y 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.
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:
13
Relaciones entre conjuntos
1.1.1 Subconjuntos
U
B
A B
A
x 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.
A = B si A B y B A
U
B A B
A
2 B A
1 4 ______
3 B=A
5
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.
U A 9 B B A
1
5 2 4
3 8 AB
7 6 ______
AB
Figura No. 8
15
Conjuntos Completamente Diferentes o Disyuntos:
Es importante destacar que cuando dos conjuntos son completamente diferentes (no
tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.
U
A B
ABy
1 B A y no hay
7
5 elementos
9
2 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.
Ejemplo 2.
Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2} y D = {1} son todos subconjuntos del
conjunto M = {0, 1, 2, 3}, pero ninguno es un subconjunto propio de M, ya que con
ninguno se puede establecer alguna de las relaciones siguientes:
A M, B M, C M, D M
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
16
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre los
nmeros reales, tambin existen operaciones definidas entre los conjuntos como la unin,
interseccin, complemento, diferencia, diferencia simtrica y producto cartesiano; stas se
estudiarn en las siguientes secciones.
1.Unin
3 2 6 7
1 4 9 5
A B U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
Figura No. 10.
B = {5,6,7}
A B = {1,2,3,4,5,6,7}
17
Caso 2. Que los conjuntos tengan slo unos elementos en comn.
U
A B U = {1,2,3,4,5,6,7,8,9}
2 8 A = {1,2,3,4,5,6}
3 6 7 B = {5,6,7}
14 5 9
A B=
{1,2,3,4,5,6,7}
Figura No. 11
U
A B U = {1,2,3,4,5,6,7,8,9}
2 8 A = {1,2,3,4,5,6,7}
3 6 7 B = {5,6,7}
A B=
1 5 {1,2,3,4,5,6,7}
4 9
Figura No. 12
Ejemplo 1.
Si A = {x N / x es dgito par o dgito primo}, grficamente la representacin de est
unin es:
U
A B
U = {1,2,3,4,5,6,7,8,9}
9 8 A = {1,2,3,5,7,9}
3 7 6 B = {2,4,6,8}
15 2 4
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La figura No.3 permite apreciar que el nico dgito que es a la vez par y primo es el
nmero 2; esto conlleva a la formulacin de la siguiente operacin entre conjuntos:
2. Interseccin
Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos
los elementos que pertenecen simultneamente al conjunto A y al conjunto B.
A B = {x / x A, ,x B}
el smbolo se lee interseccin y el smbolo se lee y.
14 5 9 A B = {5,6 }
Figura No. 15
19
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin:
U
A B U = {1,2,3,4,5,6,7,8,9}
2 8 A = {1,2,3,4,5,6,7}
3 6 7 B = {5,6,7}
1 A B = {5,6,7 } = B
4 5 9
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.
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}
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
20
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
4. Para hallar la interseccin M N P, se puede encontrar la interseccin de M con
N y luego con el conjunto P, es decir, hay que encontrar los elementos que estn en
los tres conjuntos: M, N y P.
M N P = , pues no existe ningn nmero natural que sea a la vez impar y mltiplo de
6.
Ejercicio propuesto:
Representa el ejemplo anterior mediante diagramas de Venn
U M N U=
M=
N=
M N=
M P=
P
MNP=
Figura No. 17
3. Diferencia
Segn los tres casos estudiados, se puede afirmar que al comparar dos conjuntos no
vacos, puede suceder que:
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.
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.
A 8 B U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7 B = {5,6,7}
A - B = A = {1,2,3,4}
1 4 9 5 B - A = B = {5,6,7}
3
2 8 A = {1,2,3,4,5,6}
6 7 B = {5,6,7}
14 5 9
A - B = {1,2,3,4}
Figura No. 19
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin.
U
A U = {1,2,3,4,5,6,7,8,9}
2B 8 A = {1,2,3,4,5,6,7}
3 6 7 B = {5,6,7}
14 5 A - B = {1,2,3,4}
9
B - A={}
Figura No. 20
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
22
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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:
Ejemplo 1.
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
4 Diferencia simtrica
A B = {x / x A, , x B, , x A B}.
23
En la siguientes grficas, la parte sombreada representa la diferencia simtrica entre los
conjuntos A y B.
A 8 B U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7 B = {5,6,7}
A B = {1,2,3,4,5,6,7}
1 4 9 5 B A = {1,2,3,4,5,6,7}
14 5 9
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.
U
U = {1,2,3,4,5,6,7,8,9}
A B 8
32 6 7
A = {1,2,3,4,5,6,7}
B = {5,6,7}
1 4 5 9 A B = {1,2,3,4}
B A = {1,2,3,4}
Figura No. 24
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
24
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1.
Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra de la
palabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}.
Ejercicio propuesto:
Representa el ejemplo anterior mediante diagramas de Venn
U
A B 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 U =
A =
B =
A B=
A B =
A B=
Figura No. 26
25
5. Complemento
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).
A 8 B
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7 B = {5,6,7}
1 4 9 5 A = {5,6,7,8,9}
Figura No. 28
Caso 3. Que un conjunto este contenido en el otro.
La parte sombreada indica la operacin.
U
AA B
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
8
3 2 6 7 B = {5,6,7}
1
4 5 9
A = {8,9}
Figura No. 29
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
26
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1.
Al considerar el conjunto universal como el conjunto de los estudiantes de Ingeniera de
sistemas de la UNAD y A como el conjunto de los estudiantes que estn en el primer
semestre, el complemento del conjunto A (A) ser el conjunto formado por todos los
estudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto
es:
Plano cartesiano:
Los pares ordenados (x,y), (-x,y), (x,-y), (-x,-y) se representan en el plano cartesiano
como sigue:
Y
(-x,y) y (x,y)
-x 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)}
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 X
(-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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
lgebra de conjuntos
Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e
interseccin:
a. Leyes de idempotencia:
A U A = A
A A = A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A B) C = A (B C)
b. Leyes conmutativas:
A U B = B U A
A B = B A
d) Leyes distributivas:
A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)
Las siguientes propiedades estn relacionadas con los conjuntos Universal U y vaco :
e) Leyes de identidad:
A U U = U A U =A
A U = A A =
Propiedades con respecto al complemento.
f) Leyes del complemento:
A U A' = U A A' =
(A' )' = A ' = U
g) Leyes de DMorgan:
29
Estas leyes se pueden representar grficamente de la siguiente forma:
a) Leyes de idempotencia:
A U A = A
A A = A
U U U
A A A
A
U =
A A A
A A = A
Figura No. 33
b) Leyes de identidad: A U U = U A U =A
A U = A A =
U U = U
Figura No. 34
Qu se obtiene de unir el conjunto A con el vaco? :
U U U
A A
U =
Figura No. 35
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
30
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U U U
A
A
Figura No. 36
Figura No. 37
A U A' = U A A' =
(A' )' = A ' = U
U =
Figura No. 38
31
Qu tienen comn A con lo que no es A?
U U U
A A
Figura No. 39
d) Leyes de D Morgan:
U U
A B A B
3 2 6 7 3 2 6 7
14 5 9
1 4 5
9
8 8
A U B (A U B)
As hemos encontrado el rea que representa a la primera parte de la igualdad,
ahora representamos la segunda parte, se espera que los resultados sean iguales:
U U U
A B 8 A B 8 A B 8
2
3 6 7
2
3 6 7
2
3 6 7
14 5 14 5 14 5
9 9 9
A B A' B'
Ejercicio propuesto: Figura No. 40
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
32
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B'
para ello subraya el rea correspondiente.
Primera parte
U U U
A B 8 A B 8 A B 8
2
3 6 7
2
3 6 7
2
3 6 7
14 5 14 5 14 5
9 9 9
______ ____ _______
Segunda parte de la igualdad A' U B':
U U U
A B 8 A B 8 A B 8
2
3 6 7
2
3 6 7
2
3 6 7
14 5 14 5 14 5
9 9 9
______ ____ _______
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) ( (A B)' ) 6) (A U ) '
2) (A ) ( ( (B)' ) ) 7) (A A)' U (A' U A' )
3) (A' U A' ) U B' 8) (A U A ) '
4) (A )' 9) (A A ) ' U A'
5) (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.
(U U B) (A U ) = A es:
( B) U (A U) = A
(U U B) (A U )
U A = A
( B) U (A U)
U A = A
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
34
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2.
Demostrar que el dual de
(A B) U (A B') = A es
(A U B) (A U B') = A
En este caso se puede hacer la demostracin en forma grfica as:
i) La primera parte se puede representar de la siguiente forma:
U U U
A B 8 A B 8 A B 8
326 7 326 7 326 7
14 5 14 5 14 5
9 9 9
A B A B'
Figura No.42 primera parte
U U U
A B 8 A B 8 A B 8
2
3 6 7
2
3 6 7
2
3 6 7
14 5 14 5 14 5
9 9 9
(A B) U ( A B' ) = A
Segunda parte: (A U B) (A U B') = A
35
i) La primera parte se puede representar de la siguiente forma:
U U U
A B 8 A B 8 A B 8
32 6 7 32 6 7 32 6 7
14 5 14 5 14 5
9 9 9
A B A U B
U U U
A B 8 A B 8 A B 8
32 6 7 32 6 7 32 6 7
14 5 14 5 14 5
9 9 9
(A U B) A U B = A
Figura No.43 segunda parte (A U B) (A U B') = A
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
36
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
38
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Historia y clasificacin
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.
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
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
40
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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.
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.
p: Hoy es sbado.
q: Estudio ingeniera de sistemas.
r : New York es llamada la capital del mundo.
s: 1 no es un nmero primo.
x: 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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
42
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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:
No ~
Si entonces
S y slo si
u : 4 es un nmero par.
v : 4 es divisible por 2.
u v : 4 es un nmero par si y slo si es divisible por 2.
43
En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y
moleculares o compuestas, veamos:
Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lgicos.
Estos son algunos ejemplos:
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.
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.
Conectivos Lgicos
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
44
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Como ya se dijo en la seccin anterior, los smbolos que sirven para enlazar dos o ms
proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la
disyuncin, la negacin, el condicional y el bicondicional.
La conjuncin:
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por
p q, se denomina la conjuncin de p y q.
Ejemplos de conjuncin:
Ejemplo 1
La proposicin compuesta r s : 6 es nmero par y entero positivo, est formada
por:
r : 6 es un nmero par.
:y
s : entero positivo.
Ejemplo 2
p q : Termino de escribir mi programa de computacin y luego jugar tenis
p: Termino de escribir mi programa de computacin.
: y
q: jugar tenis.
45
s: Verdadera. 6 es un entero positivo.
r s :Falsa (F).
La disyuncin v
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
46
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La negacin:
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 entonces q.
p slo si q.
q si p.
p es suficiente para q.
q es necesaria para p.
47
Cuando una proposicin condicional se escribe en una de las anteriores formas,
probablemente, en el lenguaje comn habr alguna que no se interprete como se desea,
pero como la lgica no permite ambigedades, stas se deben escribir segn la definicin
dada en la seccin.
Implicacin directa: pq
Implicacin contraria: qp
Implicacin recproca: ~p~q
Implicacin contrarrecproca: ~q~p
Ejemplo 1.
Dadas las proposiciones p: 2m es divisible por 4
q: m es par
entonces:
Ejemplo 2.
Teniendo en cuenta la proposicin directa: ~ p q construir las otras formas de la
implicacin:
Contraria: q~p
Recproca: ~ (~ p) ~ q
p ~ q
Contrarrecproca: ~ q ~ (~ p)
~ qp.
Ejemplo 3.
Proposicin directa: ~p~ q
Contraria: ~q~ p
Recproca: ~ (~ p) ~ (~ q)
p q
Contrarrecproca: ~ (~ q) ~ (~ p)
q p
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
48
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El bicondicional
Ejemplo 1.
Dadas las proposiciones:
p: Un tringulo es rectngulo.
q: Un tringulo tiene un ngulo recto.
49
Tablas de verdad
Definicin
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
50
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1.
Construir la tabla de verdad para la proposicin ~ (p q).
Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis.
Paso 2.
Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la
conjuncin.
Paso 3.
Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.
Paso 4.
Se elabora la tabla con el nmero de columnas determinado por:
Proposiciones que intervienen
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis.
p q pq ~(pq)
Paso 5.
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la
siguiente tabla
p q pq ~(pq)
1 1
1 0
0 1
0 0
Paso 6.
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de
cada proposicin simple. La finalizacin de la elaboracin de la tabla de verdad es:
p q pq ~(pq) p q pq ~(pq)
V V V F 1 1 1 0
V F F V 1 0 0 1
F V F V 0 1 0 1
F F F V 0 0 0 1
51
Ejemplo 2.
p q p q p q (p q) (p q)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 0 0
Ejemplo 3
p ~ p ~ (~ p) p ~ p ~ (~ p)
V F V 1 0 1
F V F 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Tablas de verdad para los conectivos lgicos
La conjuncin
p q pq
V V V Tabla No. 1 La conjuncin.
V F F
F V F
F F F
La disyuncin
p q p v q
V V V
V F V Tabla No.2 La disyuncin.
F V V
F F F
La negacin
p ~p
V F Tabla No.3 La negacin.
F V
El condicional
p q pq
V V V Tabla No.4 El condicional.
V F F
F V V
F F V
El bicondicional
p q pq
Tabla No.5 El Bicondicional.
V V V
V F F
F V F
F F V
53
Implicacin directa, contraria, recproca y contrarecproca
p q ~p ~q pq qp ~p~q ~q~p
Directa Contraria Recproca Contrarrecporca
1 1 0 0 1 1 1 1
1 0 0 1 0 1 1 0
0 1 1 0 1 0 0 1
0 0 1 1 1 1 1 1
Tabla No. 6. Formas de la implicacin.
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Leyes de la lgica
Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre
verdaderas, independientemente del valor de verdad de las proposiciones que la
conforman, este tipo de proposiciones reciben el nombre de tautologas, es decir, una
tautologa es una proposicin que es verdadera en todos los casos.
Ejemplo 1.
p q pq ~q ~ q ( p q ) (~ q p)
p
1 1 1 0 1 1
1 0 1 1 1 1
0 1 1 0 1 1
0 0 0 1 0 1
Tabla No. 7. Ejemplo 1.
Una proposicin compuesta, que es falsa en todos los casos independientemente de los
valores de verdad de las proposiciones que la conforman se llama Contradiccin.
Ejemplo 2.
Es ( p ~ q ) q una tautologa?
p q ~ q p ~ q ( p ~ q) q
V V F F F
V F V V F
F V F F F
F F V F F
55
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 ~p (p q ) (~ p q)
q
1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Leyes del lgebra de proposiciones
1. Idempotencia:
ppp
p p p
3. Asociativas:
(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.
Ejemplo 2.
Demostrar que: (p q) (~ p q) q
( q p) (q ~ p) q Conmutativa
q(p~p) Distributiva
q0 Complemento
q Identidad
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
58
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 3.
[ (p q) (~ p r) (q r) ] [ (p q) (~ p r) (q r) ] 0 Identidad
[(p q) (~ p r) (q r)] (q r) ~ (q r) Complemento
(p q) (~ p r) (q r) ~ (q r) Asociativa
(p q) (~ p r) 0 Complemento
(p q) (~ p r) Identidad
Ejemplo 4.
Demostrar: (p ~ q) (q r) (q ~ r) (p q)
(p ~ q) [q (r ~ r)] Distributiva
(p ~ q) [q 0] Complemento
(p ~ q) q Identidad
(p q) (~ q q) Distributiva
(p q) 0 Complemento
(p q) Identidad.
Ejemplo 5.
59
Cuantificadores
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.
(x = 1) / (x + 1 = 2) Verdadera.
( x 1 ) / ( x + 1 = 2) Falsa.
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 ).
Valores de verdad de expresiones con cuantificadores
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
60
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Para determinar el valor de verdad de una expresin que contiene un cuantificador es
importante tener claros los siguientes conceptos:
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.
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 3
Preliminares sobre las
proposiciones
S P
S P S P SP
S P
Clases S y P
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
62
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Proposiciones categricas
Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones
categricas. Los siguientes ejemplos ilustran cada una de ellas.
63
Proposicin categrica universal afirmativa
Todos los conductores de automviles que no son seguros son personas temerarias que
ponen en peligro la vida de los dems.
y dice que la primera clase est contenida en la segunda, lo cual significa que cada
miembro de la primera clase es tambin miembro de la segunda.
Personas
Personas temerarias
P
temer S
Conductores de automviles
Inseguros
Todo S es P
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
64
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Proposicin Categrica Universal negativa
Esta es una proposicin universal negativa. Niega (en forma universal) que los
conductores responsables son un peligro para la vida de los dems.
Personas
S P
teme
Conductores de automvil Persona temeraria que
Responsable pone en peligro la vida de
los dems
Ningn S es P
65
Proposicin categrica afirmativa particular
Este ejemplo afirma que algunos de los miembros de la clase de todos los estudiantes de
secundaria son (ingresan) miembros de la clase de estudiantes de universidad. Pero no
afirma esto universalmente: no dice que todos los estudiantes de secundaria (sin
excepcin) ingresan a la universidad, sino ms bien algunos en particular. Esta
proposicin no afirma ni niega que todos los estudiantes ingresan a la universidad, se
refiere slo a algunos.
Clases:
1. Estudiantes de secundaria y
P
S 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Proposicin Categrica Negativa particular
Clases
1. Nmeros reales y
2. Nmeros negativos
Nmeros
P
S 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
Cualidad y cantidad de las proposiciones categricas
Cada proposicin categrica de forma estndar tiene una cualidad y una cantidad.
ALGUNOS = PARTICULAR
TODOS = UNIVERSAL
Ejercicio propuesto:
Proposicin Representacin
Categrica
Todo S es P
Particular Negativa
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
68
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Las proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y
trmino predicado, pueden diferir unas de otras en cualidad o en cantidad o en ambas
Existen ciertas relaciones importantes correlacionadas con los diversos tipos de oposicin
(diferencia en cualidad, cantidad o en ambas) stas pueden ser de CONTRADICCIN,
CONTINGENCIA, o, SUBCONTRARIAS
Proposiciones contradictorias
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra, es
decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Es claro
que dos proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y
trmino predicado, pero son diferentes tanto en cantidad como en cualidad, son
contradictorias entre s.
Ejemplo 1
Las proposiciones
Ejemplo 2
Las siguientes proposiciones tambin son contradictorias.
Ejemplo 3
P: -3 es mayor que -1
Q: -1 es mayor que -3.
69
Ejemplo 4
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.
1. Proposiciones contrarias:
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo 5
Considerando las proposiciones
En forma general se puede decir que dos proposiciones universales que tienen los mismos
sujetos y predicados pero difieren en cualidad son contrarias.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
70
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 6
Dadas las proposiciones:
------------------Nemotecnia-----------------
contrarias = ambas pueden ser falsas
contradictorias = cuando una es verdadera la otra es falsa y viceversa.
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
71
Proposiciones Subcontrarias
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pero s ambas verdaderas
Ejemplo 1
Las proposiciones
------ 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
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-----------------
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
72
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Smbolo y diagramas para proposiciones categricas
Cuando se afirma que la clase S si tiene elementos, equivale a negar que S es vaca, por
lo tanto su representacin simblica es S 0.
Clase S
s x s
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.
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:
S P
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.
S P
SP SP
SP
SP
Clases S y P
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
74
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se
inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los
casos:
S P
SP = 0
Todo S es P
U
S
P
Ningn S es P, o,
Ningn P es S
SP = 0 y PS = 0,
75
3. Algn S es P, simbolizada por SP 0, su representacin grfica es:
U
S P
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:
U
S
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:
U
S P
Algn P no es S
PS 0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
76
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones,
representa clases pero no representa ninguna proposicin.
2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no
tiene miembros).
3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha
sido sombreada o en la que se ha insertado una x.
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
OBJETIVOS ESPECFICOS
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
79
INTRODUCCIN
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
80
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El mtodo cientfico
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
existenciales. Hagamos una ilustracin; de la observacin de los cuervos, alguien puede
afirmar que existen cuervos negros. Pero ese enunciado no es falsable. En Cambio si
alguien dice Todos los cuervos son negros y alguien encuentra un cuervo de otro color, el
enunciado result falsable. Por eso hay que escribir la ciencia en enunciados universales,
que sean susceptibles de ser refutados.
Mientras una teora resista los intentos de ser refutada, se dice que es el paradigma
cientfico vigente. Todos los problemas de su campo de conocimiento se resuelven segn
establecen las leyes de la teora, pero cuando esta es refutada, aparece un paradigma
nuevo, que toma el papel del anterior, y as sucesivamente. Eso sucedi con la fsica
tolomica, que fue refutada por la fsica galileana, que fue mejorada por la newtoniana,
que a su vez, fue rebatida, en sus fundamentos, por la fsica de la relatividad de Einstein.
Una explicacin cientfica tiene la forma: un hecho se explica dentro de una ley cientfica
que es una ecuacin matemtica. As, el movimiento de un planeta se explica por la
ecuacin que describe su movimiento. Ella explica ese movimiento. Pero la explicacin
tambin sirve para la prediccin porque la ecuacin que sirve para describir tambin sirve
para calcular en que lugar se encontrar ese planeta en un momento T cualquiera.
Para Popper su mtodo sirve para superar el dilema entre explicar, en ciencias naturales,
y comprender, en ciencias sociales. Porque explicar es comprender. Pero a diferencia de
las ciencias naturales, la ciencias sociales no son susceptibles de matematizacin: nadie
puede calcular los movimientos sociales ni las acciones de las personas, porque stas son
voluntarias, distintas, en consecuencia, a los movimientos fsicos.
La comprensin, que como se dijo, refiere a sistemas simblicos, como las culturas y las
sociedades, es lo propio de las ciencias sociales. Aqu no hay una explicacin distinta a la
comprensin de un sistema simblico y estas comprensiones se hacen en horizontes de
comprensin que dependen del cientfico y su poca. Por eso las ciencias sociales no son
neutrales, ni existe la objetividad del investigador social, porque el lee los hechos sociales
desde su formacin, desde su propia personalidad y desde lo que sabe su poca. Este es
el `punto distintivo central entre las ciencias naturales y las ciencias sociales. Por eso no
hay una sola sociologa, sino distintas escuelas sociolgicas, ni una antropologa, sino
escuelas distintas, ni una pedagoga sino mltiples escuelas de pensamiento sobre la
enseanza.
Bibliografa:
Gadamer, Hans Georg. Verdad y Mtodo. Editorial Sgueme, salamanca, 1972
Monsalve, Alfonso. La Teora de la Argumentacin. Editorial Universidad de Antioquia,
1982
Popper, Karl. La Lgica de la Investigacin Cientfica. Tecnos, Madrid, 1962
___________. La Miseria del Historicismo. Tecnos, Madrid, 1975.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
82
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Silogismos categricos
Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de
dos premisas. Un silogismo categrico es un argumento deductivo consistente en tres
proposiciones categricas que contienen exactamente tres trminos, cada uno de los
cuales slo aparece en dos de las proposiciones que lo constituyen. Dos de las
proposiciones reciben el nombre de premisas y la otra se llama conclusin.
5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
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
Ejemplo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar s esta en forma estndar.
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
84
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El predicado de la conclusin es el trmino navo comercial, el cual se constituye en el
trmino mayor y por consiguiente la premisa mayor es, ningn submarino nuclear es un
navo comercial.
Ejemplo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar si est en forma estndar.
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.
La conclusin es:
Algunos descubrimientos cientficos importantes no son inventos norteamericanos.
85
Teniendo en cuenta el anlisis anterior, se puede afirmar que es un silogismo categrico
en forma estndar, el cual se puede escribir as.
Las premisas
Primera premisa: Solo esta premisa contiene el trmino mayor
Segunda premisa: Solo esta premisa contiene el trmino menor
Existe un trmino medio que aparece en las dos premisas
-------
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
86
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Argumento deductivo
Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para
la verdad de la conclusin, se llama argumento deductivo.
Argumento Vlido
Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos
se juzgan como aceptables o inaceptables en la medida en que sean vlidos.
Validez de un argumento
En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de
tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que
aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un
mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir
su conclusin a partir de sus premisas, mediante una serie de argumentos elementales,
cada uno de los cuales se conoce y acepta como vlido, este proceso es el que se
denomina mtodo deductivo.
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. fr
2. pr
3. 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 CONCLUSIN
FALSA
f r p fr pr fp
verdader verdader fals verdadero verdadero falso
o o o
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
88
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Argumento Invalido
Un argumento se prueba invlido mostrando que por lo menos en un rengln de su tabla
de verdad todas las premisas son verdaderas pero su conclusin es falsa.
Ejemplo 2.
Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el
curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y
si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente, entonces
estudia mucho. Luego, Sandra aprobar el curso.
I: Sandra es inteligente
S: Sandra estudia mucho
G: Sandra sacar buenas calificaciones
P: Sandra aprobar el curso
A: los esfuerzos de Sandra sern apreciados
1. (i s) (g p)
2. [(s i) t ] [t p]
3. is
4. p
i s g t p i s g t p
________________________ _______________________
F F V F F 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.
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:
q (r
p q r s p q p (q r) sp
s)
F F F V V V V F
Inconsistencia
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
90
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Inferencias lgicas
Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como
razonamiento y demostracin.
Las inferencias lgicas: son las conclusiones que se pueden obtener despus de realizar
un razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes
condiciones:
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:
p = llueve
q = hace fro
Ahora ya estamos listos para interpretar la regla de inferencia tal y como nos fue
presentada en un comienzo, esto es:
[(pq)p]q
pq Si p entonces q
p y q (y se da q, y ocurre q)
q Entonces q (en conclusin q)
La magia del asunto radica en que mediante la aplicacin de lo que ya has aprendido en el
captulo de conectivos lgicos podemos determinar la validez de la inferencia lgica Modus
Ponen mediante la construccin de la tabla de verdad, de la cual esperamos obtener una
tautologa.
Cmo puede decirnos la lgica que estamos argumentando bien? Cmo puede la lgica
mediante una tabla de verdad demostrarnos que estamos usando una inferencia lgica
correcta o incorrecta?
p q pq ( p q ) [(pq)p]q
p
F F V F V
F V V F V
V F F F V
V V V V V
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
q Se lee : ocurre ~q no hace fro
p Se lee : de donde ~p luego no llovi
--------------------------------------------------------------------------------------------------------------
3. Silogismo Hipottico (S: H) Ejemplo:
Silogismo Hipottico (S: H)
p q Se lee : si p entonces q Si llueve hace fro
q r Se lee : si q entonces r Si hace fro llevo un abrigo
pr Se lee : de donde luego si llueve llevo un abrigo
si p entonces r
--------------------------------------------------------------------------------------------------------------
Ejemplo:
4. Silogismo disyuntivo (S. D)
pq Silogismo disyuntivo (S. D)
p Cae Cara o Sello
No cay sello
q
luego cay cara.
--------------------------------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------------------------------
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
94
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
--------------------------------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------------------------------
[(pq)p]q
[(pq)~q]~p
[(pq)~p]q o
[ (pq)~q]p
Silogismo Hipottico ( SH )
[ ( p q ) ( q r ) ] ( p r)
95
Modus Ponendo Ponens (MPP)
Este mtodo de inferencia establece que si una implicacin es cierta y adems tambin lo
es su antecedente, entonces su consecuente es necesariamente verdadero; de forma
simblica esto se expresa as:
[(pq)p]q
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.
Si
p: Julin estudia Ingeniera de Sistemas a Distancia
q: l estudia en la UNAD.
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Modus Tollendo Tollens ( MTT )
[(pq)~q]~p
Ejemplo 1
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros
dos ngulos es menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90.
Conclusin: Un ngulo de un tringulo no es mayor de 90.
Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p
Ejemplo 2
Deducir una conclusin del siguiente conjunto de premisas.
Premisa 1: q ~ r
Premisa 2: ~ (~ r)
Conclusin: ~ q.
Ejemplo 3.
Premisa 1: p q r
Premisa 2: ~ r
Conclusin: ~ (p q) ~ p ~ q 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.
97
Modus Tollendo Ponens ( MTP)
[(pq)~p]q o [ (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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
98
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Silogismo Hipottico ( SH )
[ ( p q ) ( q r ) ] ( p r)
Ejemplo 1.
Simblicamente
Sean las proposiciones p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p q
Premisa 2. q r
Conclusin. p r
Ejemplo 2
Premisa 1. q~p
Premisa 2. ~pr
Conclusin. 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
99
Ejemplos de aplicacin de las leyes de inferencia:
Ejemplo 1
En el siguiente ejercicio se propone un ejemplo de construccin de una prueba de validez:
Si gana Gloria o Hctor, entonces pierden tanto Jorge como Kelly. Gloria gana. Por lo
tanto, pierde Jorge.
G = Gloria gana
H = Hctor gana
J = Jorge pierde
K = Kelly pierde
1. (G H) (J K)
2. G
J (Se lee: de donde J, J es la
premisa que esperamos demostrar).
4. J K 1,3 M. P
J K es la
consecuencia de
G H aplicando la ley de inferencia
MP (Modus Ponendo Ponens) con las
premisas 1 y 3.
C: contina lloviendo
R: el ro crece
P: el puente es arrastrado por las aguas
S: un solo camino es suficiente para toda la ciudad
E: los ingenieros han cometido un error
1. CR
2. (C R) P
3. (C P) S
4. SE /M
5. C (C R) 1, Abs.
6. CP 5,2, S. H.
7. S 3,6, M. P.
8. E 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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
102
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 4
Si no ocurre, que si un objeto flota en el agua entonces es menos denso que el agua,
entonces se puede caminar sobre el agua. Pero no se puede caminar sobre el agua.
Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de
agua igual a su propio peso.
Si puede desplazar una cantidad de agua igual a su propio peso, entonces el objeto flotar
en el agua.
Por tanto, un objeto flotar en el agua si y slo si es menos denso que el agua.
1. (P Q) R
2. R
3. QS
4. SP / PQ
103
La demostracin
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: 1. p q
2. rq
Concluir : t. p r
Ejemplo 2
Demostrar que si x es impar, entonces que x2 es impar. El enunciado genera las
siguientes premisas:
1. x es impar
2. x = 2n+ 1, donde n es un entero
Demostracin:
Si x es impar, entonces x = 2n + 1, entonces x2 = (2n + 1)2 = 4n2 + 4n + 1, esta
expresin se puede escribir de la forma 2(2n2 + 2n) + 1, tomando el trmino 2n2 + 2n
como el entero m, se tiene que:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
104
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Demostracin indirecta:
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t
probando que las consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar. Por el ejemplo 2
analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es impar,
luego es imposible que x sea impar y que x2 sea par. Esta es la contradiccin buscada.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin
abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para
todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros
enteros, el axioma de la induccin matemtica es el siguiente:
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que: P(n): 1+2++n = n (n+1) / 2
105
1+2++k + k + 1 = k (k + 1) + k + 1 resolviendo la suma
2
= k2 +k+2k+2 sumando trminos semejantes
2
= k2 +3k +2 factorizando
2
= (k + 1) (k + 2) / 2 lo que se quera demostrar.
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.
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
108
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
3.1 Introduccin
Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de
la validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer
si las premisas son probables o probablemente verdaderas, sin pretender demostrar la
verdad de sus conclusiones como consecuencia necesaria de las premisas, este tipo de
argumentos recibe el nombre de Argumentos Inductivos.
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.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
110
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
3.2 Argumento inductivo por analoga
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.
Hacer una analoga entre dos o ms entidades es indicar uno o ms aspectos en los que
son similares,
111
Ejemplo 1.
Identifique en el siguiente prrafo el argumento analgico
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 .
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
112
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
3.3 Evaluacin de los argumentos analgicos
2. Nmero de aspectos en los cuales las cosas involucradas se dice que son
anlogas.
Ejemplos:
1. Nmero de entidades entre las que es establece la analoga. -EXPERIENCIA-
Significa que es importante tener en cuenta el nmero de veces que ha ocurrido el suceso,
esto da ms consistencia a la conclusin y una mayor probabilidad de que se repita el
suceso.
Ejemplo 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
3.4 Refutacin por medio de una analoga lgica
Un mtodo bsico, para evaluar como vlido un argumento desde el punto de vista lgico,
es el que recurre a la analoga para demostrar que otro argumento est equivocado o es
incorrecto.
Este mtodo consiste en refutar un argumento, mostrando que sus premisas no apoyan la
conclusin que se pretende sostener, sin necesidad de demostrar que por lo menos una
de sus premisas es falsa o est equivocada.
Si un argumento tiene premisas verdaderas pero conclusin falsa, esto es base suficiente
para clasificarlo como invlido; pero, si no se sabe si las premisas son verdaderas o falsas,
se puede probar su invalidez construyendo una analoga refutadora
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.
115
Unidad 2
lgebra Booleana y
circuitos lgicos
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
116
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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
117
Captulo 1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
118
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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
El lgebra booleana se utiliza para describir los efectos que producen las entradas lgicas
sobre los diversos circuitos digitales (circuitos lgicos).
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.
1. Cerradura o clausurativa:
2. Conmutativa:
(a # b) = (b # a) y (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) y 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:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
120
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
4.4 lgebra booleana en sistemas numricos
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+0=a y a*1=a
Es importante aclarar que la operacin binaria del producto no tiene inverso multiplicativo,
es decir, no existe un elemento en los enteros tal que al multiplicarlo con otro entero de
como resultado el elemento neutro del producto (1)
121
4.5 lgebra booleana de los conjuntos
Para este sistema se interpreta la simbologa del lgebra booleana as:
1. Cerradura:
B U C es un subconjunto de A y
B C es un subconjunto de A
2. Conmutativa:
B U C= C U B y 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).
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
1. Cerradura:
p v q es una proposicin del conjunto A
p q es una proposicin del conjunto A
2. Conmutativa:
p v q q p
p q q p
3. Asociativa:
(p q) r p (q r)
(p q) r p (q r).
4. Distributiva:
p (q r) (p v q) (p v r)
p (q v r) (p q) v (p r).
p v 0 p y p 1 p.
123
La tautologa y la contradiccin corresponden a los elementos neutros de la disyuncin y
de la conjuncin respectivamente.
p v (~ p) 1 y 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
a + (b * c) = (a + b) * (a + c)
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
124
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Captulo 2
Expresiones Booleanas
f (x, y) = x y + x y + x y + x y
125
Expresiones booleanas
Ley DMorgan (x + y) = x y (x y) = x + y
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Forma normal disyuntiva
La funcin booleana adopta una forma normal disyuntiva si est escrita como una suma de
trminos, en la cual cada trmino es un producto que involucra todas las n variables, con
negacin o sin ella. Cada trmino se llama trmino minimal y la funcin se denomina
funcin polinomial de trminos minimales.
Ejemplos:
x + x en una variable
x. y en dos variables
x. y. z + x. y. z + x. y. z 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;
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
127
= 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)
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 forma normal disyuntiva se puede obtener de la
siguiente tabla:
x y f (x, y)
1 1 xy
1 0 x y
0 1 x y
0 0 x y
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
128
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Donde la suma de los productos es 1, es decir,
x y + x y + x y + x y = 1.
La demostracin es la siguiente:
x y + x y + x y + x y = x (y + y) + x (y + y)
= x (1) + x (1)
= x + x
= 1.
Una funcin booleana f est completamente determinada por los valores que ella asuma
para cada una de las combinaciones de los valores asignados, 0 1, a las respectivas
variables, es decir, una funcin booleana puede ser determinada mediante una tabla que
represente las condiciones deseadas, este hecho se aplica especialmente en el diseo de
circuitos.
Ejemplo 5.
Encontrar y simplificar la funcin booleana descrita en la siguiente tabla:
Fila x y z f (x, y, z)
0 1 1 1 0
1 1 1 0 1
2 1 0 1 1
3 1 0 0 0
4 0 1 1 0
5 0 1 0 0
6 0 0 1 1
7 0 0 0 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).
Ejemplo 6:
Escribir el complemento de cada una de las siguientes funciones:
1. x y + x y
2. 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. x y + x y
2. x y z + x y z + x y z.
Se dice que una funcin booleana est en forma normal conjuntiva si est escrita como un
producto de trminos, en el cual cada uno es una suma que involucra todas las n-
variables, con complementacin o sin ella.
El proceso para obtener la forma normal conjuntiva de una funcin booleana consiste en
1. aplicar las leyes DMorgan para eliminar los complementos de los parntesis,
3. luego se introducen las variables que faltan en cada factor, por ejemplo w, sumando
un trmino de la forma w w, que no cambia la funcin.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
130
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1.
Escribir la funcin f (x, y, z) = (x y + y z) + y en la forma normal conjuntiva.
f (x, y, z) = (x y + y z) + y
= (x y) (y z) + y
= (x + y) (y + z) + y
= (y + x) (y + z) + y
= y + (y + x) (y + z)
= (y + y + x) (y + y + z)
= (y + x) (y + z)
= (y + x + z z) ( x x + y + z)
= (y + x + z) (y + x + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z)
Una funcin booleana puede ser expresada en forma normal conjuntiva en ms de una
manera, mediante el cambio del nmero de variables; sin embargo, para un nmero
especfico de variables la forma normal conjuntiva es nica.
Ejemplo 2.
La funcin f (x, y) = x + y esta en forma normal conjuntiva en las variables x, y, escribir la
funcin f (x, y) en la forma normal conjuntiva pero en las variables x, y, z.
f (x, y) = x + y
= x + y + z z
= (x + y + z) (x + y + z)
La forma normal conjuntiva en n-variables que tiene 2n trminos se llama forma normal
conjuntiva completa en n-variables y su producto es igual a cero.
Por ejemplo, para n = 2 la forma normal conjuntiva completa se obtiene tomando las
variables complementadas.
x=0 x = 1 y=1 y = 0
131
x y f (x, y)
1 1 x + y
1 0 x + y
0 1 x+y
0 0 x + y
(x + y) (x + y) (x + y) (x + y) = 0.
La demostracin es la siguiente:
(x + y) (x + y) (x + y) (x + y) = (x + y y) (x + y y)
= (x + 0) (x + 0)
= x x
=0
Ejemplo 3.
Encontrar y simplificar la funcin booleana f (x, y, z) de la tabla.
Fila x Y z f (x, y, z)
0 1 1 1 1
1 1 1 0 1
2 1 0 1 0
3 1 0 0 1
4 0 1 1 1
5 0 1 0 1
6 0 0 1 0
7 0 0 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyos
factores son exactamente aquellos de la forma normal conjuntiva, que no aparecen en la
funcin dada, por ejemplo, el complemento de (x + y) (x + y) es (x + y) (x + y). El
complemento se puede utilizar para encontrar la forma normal disyuntiva, para cambiar
una funcin de una forma normal a la otra se utiliza el complemento del complemento de la
funcin, es decir, (f ) = f.
Ejemplo 4.
Encontrar la forma normal conjuntiva para la funcin
f (x, y, z) = x y z + x y z + x y z + x y z
[f (x, y, z )] = [ (x y z + x y z + x y z + x y z) ]
= [(x y z) (x y z) (x y z) (x y z)]
= [(x + y + z) (x + y + z) ( x + y + z) (x + y + z)]
= (x + y + z) ( x + y + z) ( x + y + z) (x + y + z)
Ejemplo 5.
Cambiar la siguiente expresin de la forma normal disyuntiva a la forma normal conjuntiva.
f (x, y, z) = x y z + x y z + x y z + x y z + x y z
Aplicando el complemento del parntesis interno, (los trminos que no aparecen), se tiene:
f (x, y, z) = [ (y + z) (y + z) (y + z)]
133
Aplicando el complemento se tiene que:
[f (x, y, z)] = { [ (y + z) (y + z) (y + z)] }
= { (y + z) + (y + z) + (y + z)}
= {(y z) + (y z) + (y z)}
= {y z + y z + y z}
= y z
Ejemplo 7
Escribir las funciones descritas en la siguiente tabla y simplificarla utilizando la forma ms
conveniente:
x y z F1 F2 F3 F4
0 0 0 1 0 0 0
0 0 1 0 1 0 1
0 1 0 1 0 1 1
0 1 1 1 0 1 1
1 0 0 1 0 1 0
1 0 1 1 0 0 1
1 1 0 0 1 1 1
1 1 1 1 0 0 1
Para F1 se usa la forma normal conjuntiva porque slo hay dos ceros, por lo tanto la
expresin booleana es:
En F2 se utiliza la forma normal disyuntiva porque slo hay dos unos, la expresin
booleana es:
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
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Captulo 3
Simplificacin de
expresiones Booleanas
XY XY XY XY
00 01 11 10
Z = 0
Z=1
135
Otras tcnicas de simplificacin
Para simplificar enunciados booleanos se utiliza, adems de las leyes de la lgica, los
llamados mapas de Karnaugh o mapas K.
A B Funcin
0 0 1
0 1 0
1 0 1
1 1 1
La funcin lgica anterior se puede escribir de la siguiente manera:
A B Funcin
~A ~B 1 = ~A ~B
~A B 0 = ~A B
A ~B 1 = A ~B
A B 1 =AB
El mapa de Karnaguh correspondiente ser:
~B B
~A ~B ~A B
Mapa de karnaugh
A ~B AB
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
136
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
~B B
~A 1 0
A 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 x
y 1
1 1 Adyacencia
y horizontal
Adyacencia
Vertical 137
Ejemplo 1.
x x
y 1 1
Recordemos que el mapa y 0 0
de K representado es
equivalente al mapa:
x x
y x y x y
y x y xy
La funcin coincide con los 1s, es decir con las casillas x y y x y:
f (x, y, z) = x y + x y
= y (x + x)
= y. 1
= y
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
138
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
x y f (x, y)
1 1 0
1 0 1 x y
0 1 0
0 0 1 x' y
f (x, y) = x y + x y
X=0 X=1
x x
Y= 0 y 1 1
Y= 1 y 0 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
4) Simplificacin usando las propiedades de los mapas de KARNAUGH:
Estos dos unos agrupados se pueden representar por y nicamente, as nos que da la
siguiente simplificacin:
f (x, y) = y
Observemos que para agrupar se busc la variable que defina a los dos unos al mismo
tiempo, la fila identificada como Y define muy bien este par de unos, luego la solucin es
y
Otro ejemplo:
x = 0 x=1
y = 0 1
y=1 1
Quin define mejor en este caso a los unos? Cul de las siguientes cuatro adyacencias
es la mejor?
x = 0 x=1
y = 0 1 Y
y=1 1 Y
X X
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Demostrmoslo usando el lgebra de Boole:
x = 0 x=1
y = 0 1
y=1 1 1
Quin define mejor en este caso a los unos?
x = 0 x=1
y = 0 1
y=1 1 1
Si observas los unos encerrados, x no definen completamente toda la funcin, slo define
completamente dos unos.
x = 0 x=1
y = 0 1
y=1 1 1
141
Demostrmoslo usando el lgebra de Boole: Tomo
cualquiera y lo
duplico
Otro ejemplo:
XY XY XY XY
00 01 11 10
Z = 0 1 1
Z=1 1 1 1
Nota: Al hacer los valos no podemos dejar espacios sin unos, es decir, debemos agrupar
unos contiguos.
XY XY XY XY
00 01 11 10
Z = 0 1 1
Z=1 1 1 1
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Observa que X y Z son las variables que tiene en comn los unos Tomo xyz
y lo duplico
143
Ejemplo 2.
Representar en un mapa de Karnaugh la funcin Booleana descrita en la siguiente tabla y
luego simplificarla:
x y f
0 0 0
0 1 1
1 0 1
1 1 1
x = 0 x=1
y = 0 1
y=1 1 1
La funcin booleana es:
f (x, y, z) = x y + x y + x y
= x y + x (y + y)
= x y + x.1
= x y + x
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
144
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 3.
Obtener las expresiones booleanas reducidas para los siguientes mapas de Karnaugh:
x = 0 x=1
y = 0 1
y=1 1
f (x, y, z) = x y + x y
= x (y + y)
=x
XY XY XY XY
00 01 11 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 XY XY XY
00 01 11 10
Z = 0 1 1
Z=1 1 1
La funcin es: f(x, y, z) = x y z + x y z + x y z + x y z
= x y (z + z) + x y (z + z)
= x y. 1 + x y. 1
= x y + x y
= y (x + x)
= y. 1
=y
Ejemplo 2.
145
Obtener las expresiones booleanas reducidas para el siguiente mapa de Karnaugh:
XY XY XY XY
00 01 11 10
Z = 0 1
Z=1 1 1
XY XY XY XY
00 01 11 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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1.
Simplificar la funcin booleana cuyo mapa K asociado es:
XY XY XY XY
00 01 11 10
Z W= 00 1 1
Z W= 01 1 1
ZW= 11 1 1
ZW= 10 1 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:
XY XY XY XY
00 01 11 10
Z W= 00 1 1
Z W= 01 1 1
ZW= 11 1 1
ZW= 10 1 1
147
Ejemplo 3.
Obtener la expresin booleana reducida para el siguiente mapa K
XY XY XY XY
00 01 11 10
Z W= 00 1 1
Z W= 01 1 1
ZW= 11 1 1
ZW= 10 1 1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
148
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
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
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
150
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El lgebra booleana es el soporte terico para el lgebra de los circuitos lgicos, esto
significa que excepto por la terminologa y su significado, el lgebra de los circuitos es
idntica al lgebra de proposiciones, con dos elementos el 0 y el 1.
El lgebra de circuitos utiliza dispositivos de dos estados como por ejemplo el interruptor
o switch (es el ms sencillo), diodos rectificadores, bobinas magnticas, transistores,
entre otros; la naturaleza de los estados vara con el dispositivo as: conduccin contra no-
conduccin, cerrado contra abierto, cargada contra descargada, magnetizada contra
desmagnetizada, alto voltaje contra bajo voltaje.
ON ON
P
P OFF
OFF
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.
OFF
P
ON
FUENTE
ELECTRICA
P P
El ejemplo anterior permite demostrar que un interruptor slo puede tomar una de las dos
posiciones (cerrada o abierta) y como una proposicin lgica toma un solo valor de verdad
(verdadera o falsa), se puede establecer una relacin entre un conmutador y una
proposicin lgica; para esto se asigna una proposicin P al conmutador de tal manera
que si P es verdadera se asume que el conmutador est cerrado (ON) y si P es falsa el
interruptor estar abierto (OFF), a estos conmutadores se les denomina circuitos lgicos.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
152
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Para describir el nivel de voltaje o nivel lgico de la variable presente en los terminales de
entrada y salida de un circuito se emplean trminos como desactivado, activado, abierto,
cerrado, 0, verdadero, 1, entre otros.
Cuando el nivel de voltaje es bajo se emplean trminos como falso, desactivado, no,
interruptor abierto y se utiliza el elemento cero (0) y cuando el nivel lgico es alto se usan
los trminos verdadero, activado, s, interruptor cerrado y se simboliza con el uno (1).
LMPARA
OFF OFF
P Q
ON ON
BATERA
Circuito de conjuncin
153
5.3 CIRCUITO DE DISYUNCIN
LMPARA
OFF
P
ON
OFF
Q
ON
BATERA
Circuito de disyuncin
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
154
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
5.4 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.
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 ADICIN O SUMA LGICA.
P
P PQ
PQ
Q Q
Compuerta OR
Esta compuerta tiene dos entradas que representan los estados de los conmutadores P, y,
Q y una salida P Q que representa el estado de la lmpara.
P PQ
Q
Compuerta AND
5.7 COMPLEMENTACIN O INVERSIN LGICA
P P
Compuerta NOT
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
156
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
5.8 Correspondencia entre lgica conjuntos lgebra booleana y las compuertas
lgicas.
OR AND NOT
COMPUERTAS
LGICAS
Ejemplo 1.
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 ( P Q)
Q
Ejemplo 2. (P Q).
Ejemplo 3
En este caso intervienen tres proposiciones y dos conectivos, por lo tanto el circuito es:
P
Q P (Q R)
R
Ejemplo 3. P (Q R)
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
158
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 4.
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
Otras compuertas lgicas:
P
PQ
Q
P
P Q
Q
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes
para escribir cualquier funcin boleana y por lo tanto disear un circuito lgico, sin
embargo, se utilizan otras compuertas lgicas como NAND, NOR, XOR y XNOR
Compuerta NAND
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
160
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La tabla de verdad para las compuertas AND y NAND es:
AND NAND
x y x y (x y)
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
P
PQ
Q
Compu
OR NOR
x y x+y (x + y)
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
f(x, y, z) = x y = x y + xy.
161
La compuerta XNOR es la negacin de la compuerta XOR, su smbolo se puede
representar de dos maneras:
XOR XNOR
x y xy (x y)
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1
Ejemplo 1
Dibujar el circuito lgico de la funcin booleana f (x, y, z) = y z + x.
Para disear un circuito lgico se emplea un bus de variables de entrada y sus
negaciones.
Las negaciones se representan por la lnea que sale de la bolita en cada variable de
entrada, as:
Y
Y YZ
Z YZ + X
X
X
Ejemplo 1
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
162
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2.
Escribir en forma normal disyuntiva la funcin f especificada en la siguiente tabla,
simplificarla y dibujar el circuito lgico correspondiente.
X Y Z F
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 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
X
Z
Z
Ejemplo 2
163
Ejemplo 3.
Escribir una expresin booleana para la salida f (x, y, z) del siguiente circuito.
X
X
Y
Y
Z
Ejemplo 3
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
164
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Captulo 5
A
SUMADO
S
R
B DIBITAL C
165
Aplicaciones de los circuitos lgicos
Circuito semisumador
0 0 1 1
+ 0 + 1 + 0 + 1
______ _____ ______ _____
0 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 B S C
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1
Suma Arrastre
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
166
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La salida S la genera una compuerta XOR (o - exclusiva), de tal modo que
S = A B; mientras que la salida C (Arrastre) corresponde a una compuerta AND tal
que,C = AB, por lo tanto el circuito lgico se denomina un SEMISUMADOR (HA) y se
representa as:
A B
S
C
Semisumador
A S
B C
S = A B = A B + AB
167
Aplicando la doble negacin se tiene:
S = { [ (A + B) + (A + B ) ] }
C = (C) = [(AB)] = (A + B)
A B
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
168
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
5.10.1.2 CIRCUITO SUMADOR
A
B
________
C S
Donde S, es la suma generada por estos bits y C es el bit de arrastre de la primera suma,
el cual pasa a ser sumado en la siguiente columna y as sucesivamente, como se muestra
en el siguiente esquema:
C2 C1 C0
A = A3 A2 A1 A0
B = B3 B2 B1 B0
A + B = C 3 S3 C 2 S2 C1 S1 C 0 S0
ENTRADAS SALIDAS
C A B S C
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
169
Donde C es el arrastre de entrada y C 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 A A A
C 1 1
C 1 1
B B B B
S = A B C + A B C + A B C + A B C.
El circuito lgico para la salida es:
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
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
5.10.2 Control de una estacin de combustible
x y z S
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0
El mapa de Karnaugh es:
X X X X
Z 1
Z 1
Y Y Y Y
S = x y z + x y z
171
AUTO EVALUACIN No.5
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
172
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
d) 4. Teniendo en cuenta la siguiente tabla de verdad
x y z f
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0
x y z L
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
173
INFORMACIN DE RETORNO
x y z w x y z xyz x yz xyw f
0 0 0 0 1 1 1 1 0 0 1
0 0 0 1 1 1 1 1 0 1 1
0 0 1 0 1 1 0 0 0 0 0
0 0 1 1 1 1 0 0 0 1 1
0 1 0 0 1 0 1 0 0 0 0
0 1 0 1 1 0 1 0 0 0 0
0 1 1 0 1 0 0 0 0 0 0
0 1 1 1 1 0 0 0 0 0 0
1 0 0 0 0 1 1 0 1 0 1
1 0 0 1 0 1 1 0 1 0 1
1 0 1 0 0 1 0 0 0 0 0
1 0 1 1 0 1 0 0 0 0 0
1 1 0 0 0 0 1 0 0 0 0
1 1 0 1 0 0 1 0 0 0 0
1 1 1 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
174
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
X X X X
Z 1 1
Z 1 1
Y Y Y Y
L = x y z + x y z + x y z + x y z
175
EJERCICIOS DE PROFUNDIZACIN No. 5
1. En un proceso de produccin hay tres motores de los cuales slo pueden trabajar dos a
la vez, adems, ningn motor puede funcionar si no est trabajando un cuarto motor W
que hace circular el aceite lubricante. Construir un circuito lgico que controle estos cuatro
motores, teniendo la siguiente tabla de verdad:
x y z w F
0 0 0 1 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
176
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
2. Diseo de una alarma:
En una central de control de trfico un panel muestra los puntos neurlgicos y enciende
una luz de alarma cuando las condiciones mnimas de seguridad previstas no se dan.
La siguiente figura muestra uno de esos puntos neurlgicos, en el cual pueden entrar en E
sin peligro de colisin al mismo tiempo vehculos de:
a) xz b) zw c) Solamente x, y, w, z.
X w
Y E
Z
Disee el circuito lgico que controla la alarma. Tenga en cuenta la siguiente tabla de
verdad
ENTRADA SALIDA
x y z w ALARMA ACEPTABLE
0 0 0 0 0 1
0 0 0 1 0 1
0 0 1 0 0 1
0 0 1 1 0 1
0 1 0 0 0 1
0 1 0 1 1 0
0 1 1 0 1 0
0 1 1 1 1 0
1 0 0 0 0 1
1 0 0 1 1 0
1 0 1 0 0 1
1 0 1 1 1 0
1 1 0 0 1 0
1 1 0 1 1 0
1 1 1 0 1 0
1 1 1 1 1 0
177
RESPUESTAS A EJERCICIOS DE PROFUNDIZACIN No. 5
f (x, y, z) = x w (y z + y z) + x y z w.
A=xw+yw+yz+xy
= W (x + y) + y (x + z)
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
178
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
BIBLIOGRAFA
http://www.cibernous.com/logica/
http://www.monografias.com/trabajos10/clasi/clasi.shtml
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica/2.%20L
%C3%B3gica%20Proposicional.doc
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html
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.
1. Reflexiva: x x
2. Antisimtrica: (x y) (y x) x = y
3. Transitiva: (x y) (y z) (x z)
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. x + y = y
2. x. y = x
3. x + y = 1
4. x. y = 0
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
180