2010 Febrero 3 Modulo de Logica PDF

LGICA MATEMTICA
primera versin 2005: NUBIA JANETH GALINDO PATIO

versiones 2006 a 2010: GEORFFREY ACEVEDO GONZLEZ
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD -
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
UNIDAD DE CIENCIAS BSICAS
Medelln D. C, 2010

Gene!l
M"DULO
L"GICA MATEMTI CA
CUARTA EDICI"N
3 de febrero de 2010
Editor de texto: OpenOffice 3.1.0
Copyright
Universidad Nacional Aierta y a !istancia UNA!
"#$N
%010
&edell'n( Colo)ia
**************************************************************************
Universidad Nacional Aierta y a !istancia + UNA!.
%
OH dicha de
entender, mayor que Ia de
imaginar o Ia de sentir!
Borges.
Introduccin
Este mdulo est concebido para ser un curso introductorio al apasionante mundo
de la lgica Matemtica, ha sido diseado para ser un curso transversal a todos los
programas acadmicos de la UNAD.
Para leer el mdulo slo se necesitan los conceptos de conjuntos numricos, y
operaciones algebraicas como destruccin de signos de agrupacin, factor comn,
ecuaciones e inecuaciones de primer grado que pueden ser recordados de manera
simultnea.
La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en
este sentido es un texto escrito ms para los estudiantes que para el profesor.
En el primer captulo, analizaremos las diferentes operaciones entre conjuntos, tales
como unin, interseccin y complemento, entre otras operaciones, que nos permitirn
llegar a la compresin de los conectivos lgicos usados en el lenguaje natural, partiendo
de una representacin grfica. A la par desarrollaremos las destrezas lgico matemticas,
dando solucin a problemas como ste:
"De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la
UNAD, los amantes de la msica de Juanes son 15; mientras que los que
nicamente gustan de la msica de Shakira son !, "#u$ntos son %an$ticos de los
dos artistas si 1! de los encuestados, entre los 5 que no son %an$ticos de Shakira,
a%irman ser %an$ticos de Juanes&'
El segundo captulo es una herramienta que permite adquirir habilidades para
comprender conceptos como los conectivos lgicos que usamos diariamente en nuestro
leguaje y que pocas veces nos detenemos a analizar y comprender, por ejemplo, nuestro
amigo "BooIe afirma que cuando gane su equipo prediIecto har fiesta, pasado un
tiempo encontramos que Boole est festejando pero que su equipo predilecto ha perdido,
Se est contradiciendo el amigo Boole?, en este curso descubriremos y analizaremos el
conectivo lgico que ha usado Boole en su afirmacin, para concluir sobre este asunto.
dentificar los conectivos lgicos, las premisas y comprender su funcin en el
lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la
coherencia en la construccin gramatical.
Posteriormente aprenderemos ha hacer simplificaciones de expresiones complejas
o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas
por medio de smbolos. Por ejemplo, al expresar en lenguaje natural que "Es faIso que
Augustus no miente, por medio de la lgica aprendemos a llegar a la simplificacin:
"Augustus miente utilizando leyes lgicas bsicas que nos permiten validar la
simplificacin hecha con un argumento ms all de la simple intuicin.
Otra interesante aplicacin de la lgica es en el proceso de validar nuestros
argumentos. Por ejemplo, analicemos que puede concluirse de la siguiente afirmacin: "Si
IIueve hace fro", posteriormente "ocurre que hace fro", es entonces correcto concluir
que llueve?, por medio de la lgica transformaremos esta expresin en lenguaje simblico
que posteriormente podremos analizar por medio de una tabla de verdad y descubrir en
que caso especfico el argumento se contradice.
En el mundo de la argumentacin siempre estamos utilizando unos principios
lgicos bsicos que estudiaremos en este apasionante curso, permitindonos mejorar en
la construccin de argumentos fuertes, basados en los cimientos de la lgica.
Agradezco a toda la comunidad acadmica su valiosa colaboracin.
Que estas pginas os brinden muchas horas de diversin.
(eor%%re) Acevedo (.
**************************************************************************
%
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
INDICE DE CONTENIDO
Unidad 1
Captulo 1- Teora de Conjuntos y principios de lgica
Leccin 1 - Representacin grfica de los conjuntos
Leccin 2 - Operaciones entre conjuntos
Leccin 3 - Principios de Lgica
Leccin 4 - Conectivos Lgicos
Leccin 5 - Leyes de la Lgica
CaptuIo 2 - PreIiminares sobes Ias Proposiciones
Leccin 6 - Proposiciones Categricas
Leccin 7 - Proposiciones Universal y Particular
Leccin 8 - Proposiciones contrarias, de contingencia y subcontrarias
Leccin 9 - Simbologa
Leccin 10- Diagramas para proposiciones categricas
CaptuIo 3 - Deduccin e Induccin
Leccin 11 - Decuccin vs nduccin
Leccin 12 - Silogismos Categricos
Leccin 13 - nferencias Lgicas
Leccin 14 - Demostracin Directa e ndirecta
Leccin 15 - Argumentos nductivos
Unidad 2 - AIgebra BooIeana y Circuitos Lgicos
CaptuIo 1 - Axiomas deI Igebra BooIeana
Leccin 16 - Variables y Constantes Booleanas
Leccin 17 - Algebra Booleana en sistemas numricos
Leccin 18 - Expresiones Booleanas y sus Propiedades
Leccin 19 - Forma Normal Disyuntiva
Leccin 20 - Forma Normal Conjuntiva
CaptuIo 2 - SimpIificacin de expresiones BooIeanas
Leccin 21 - Otras tcnicas de Simplificacin
Leccin 22 - Mapas de Karnaugh de tres variables
Leccin 23 - Proceso Algebraico vs Mapa de K
Leccin 24 - Mapa de Karnaugh de tres variables
Leccin 25 - Mapa de Karnaugh de cuatro variables
CaptuIo 3 - Definicin y representacin de Ios circuitos Igicos y apIicaciones
Leccin 26 - Representacin de los circuitos lgicos
Leccin 27 - Operaciones Aritmticas con Circuitos Lgicos
Leccin 28 - Compuertas NOR, NAND, XNOR
Leccin 29 - Circuito Aritmtico Digital
Leccin 30 - Control de una estacin de combustible
3
Contenido
Teora de conjuntos y principios de Lgica.
Teora de conjuntos
Representacin grfica
Formas para determinar un conjunto
Conjuntos Finitos
Conjuntos especiales
Relaciones entre conjuntos
Operaciones entre conjuntos
lgebra de conjuntos
Principios de Lgica
Historia y clasificacin
Clasificacin de la lgica
Conceptualizacin
Lgica y lingstica
Simbolizacin
Proposiciones
Conectivos Lgicos
Proposiciones simples
Proposiciones Compuestas
Tablas de verdad
Leyes de la lgica
Leyes del lgebra de proposiciones
Cuantificadores
Preliminares sobre las proposiciones
Proposiciones categricas
Proposicin categrica universal afirmativa
Proposicin Categrica Universal negativa
Proposicin categrica afirmativa particular
Proposicin Categrica Negativa particular
Cualidad y cantidad de las proposiciones categricas
Proposiciones contrarias, de contingencia y subcontrarias
Smbolo y diagramas para proposiciones categricas
Deduccin
El mtodo cientfico
Silogismos categricos
Forma Estndar de un silogismo categrico
Argumento deductivo
**************************************************************************
,
Argumento Vlido
Prueba formal de validez
Prueba de invalidez
Argumento nvalido
nferencias lgicas
9 Reglas de inferencia
La demostracin
Demostracin directa
Demostracin indirecta
Demostracin por recursin
Demostracin por refutacin
Refutacin por contradiccin
Refutacin por contraejemplo
nduccin
El problema de la induccin:
Argumento inductivo por analoga
Evaluacin de los argumentos analgicos
La fuerza de las conclusiones con respecto a sus premisas.
Refutacin por medio de una analoga lgica
lgebra Booleana lgebra Booleana
Axiomas del lgebra Booleana
propiedades o axiomas
lgebra booleana en sistemas numricos
lgebra booleana de los conjuntos
lgebra booleana de la lgica
Expresiones Booleanas
Forma normal disyuntiva
Forma normal conjuntiva
Simplificacin de Expresiones Booleanas
Simplificacin de expresiones booleanas mediante mapas de
Karnaugh

Definicin y representacin de los circuitos lgicos
Circuito de disyuncin
Circuito de negacin
Adicin o suma lgica.
Multiplicacin o producto lgico
Complementacin o inversin lgica
Otras compuertas lgicas
Aplicacin de los circuitos lgicos
-
Unidad
1
1
Teora de conjuntos y
principios de Lgica.
**************************************************************************
.
Captulo
1
1*
+eor,a de con-untos )
.rinci.ios de l/gica
/
A
B
C
U
1.Unidad 1
-CaptuIo 1 Teora de conjuntos y principios de Igica
Objetivo general
Estudiar, analizar y profundizar los conceptos fundamentales de la teora de conjuntos,
bsicos para llegar a la comprensin de los conectivos lgicos y su relacin con el
lenguaje natural, a la vez que son aplicados en la solucin de problemas.
Objetivos especficos
1. dentificar las relaciones entre conjuntos.
2. Distinguir las diferentes clases de conjuntos.
3. Representar grficamente los conjuntos.
4. Realizar las diferentes operaciones entre conjuntos.
5. Resolver problemas con conjuntos.
Definicin y generaIidades
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.
**************************************************************************
0
Leccin No.1 Representacin grfica de Ios conjuntos Leccin No.1 Representacin grfica de Ios conjuntos
Representacin grfica de los conjuntos
Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la
utilizacin de esquemas grficos llamados circuIos de EuIer 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.
Para indicar que un elemento es un miembro de un conjunto,
se utiliza el smbolo " " (se Iee pertenece a
) y
para indicar que no esta en el conjunto se utiliza el smbolo
"" (se Iee no pertenece a).
Esta es la representacin grfica correspondiente:
1
A
U
x A
x
U
x A
A
x
Figura No. 1
Formas para determinar un conjunto
Bsicamente existen dos formas para determinar un conjunto, stas son:
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 }
Por comprensin
Un conjunto est determinado por comprensin cuando se nombra una propiedad, una
regla o una caracterstica comn a los elementos del conjunto. Por ejemplo:
C = {Nmeros impares menores que 10}
D = {Vocales}
B = {Dgitos}
Lenguaje:
E = {x R / 0 5 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se lee
as:
0 igual al con-unto de todos los nmeros reales tales que 1o que veri%ican que2 cero 102 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.
**************************************************************************
10
Conjuntos finitos, infinitos y conjuntos especiaIes
Conjuntos infinitos
Existen conjuntos como por ejemplo:

A = {x R / 0 5 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;
Conjuntos finitos
Mientras que otros, como por ejemplo:
C = {x / x es vocaI} D = {x / x es dgito par}
Que estn formados por cierto nmero de elementos distintos, reciben el nombre de
conjuntos FINITOS.
Todos los conjuntos que se nombran por comprensin, se pueden escribir por extensin?
El anlisis anterior, permite dar respuesta a esta pregunta, se sugiere buscar ms
ejemplos que justifiquen la respuesta para que sean analizados con el tutor y luego
socializados en los equipos de trabajo.
11
Conjuntos especiaIes
Conjunto ac!o
Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as:

Naturalmente el conjunto forma parte de cualquier conjunto A, por lo cual se puede
afirmar que:
A
El conjunto O (vaco) es un subconjunto de todo conjunto?
EjempIo 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.
**************************************************************************
1%
U
A
A =
Figura No. 2.
{ }
Conjunto "nitario
Se denomina conjunto unitario al conjunto formado por un slo elemento.
EjempIo:
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 "niversal
Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza de
sus elementos, por ejemplo:
Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a, e, i,
o, u}, es decir, A V, este conjunto V constituye el universo del conjunto A, por esta razn
se dice que V es un conjunto Universal.
Similarmente, si A = {x N / x es primo} sus elementos son elementos del conjunto de
los nmeros naturales "N, A N y en este caso, N se constituye en el conjunto universal.
Generalmente, el conjunto universal se simboliza con la letra U.
13
U
A
U = Conjunto UniversaI
A = {a,e,i}
U = V = {a,e,i,o,u}
a
e
i
o
u
Figura No. 4
U
A
A = Conjunto Unitario
A = {7}
7
Figura No. 3
Conjunto de partes o conjunto de conjuntos
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.
EjempIo 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 2
n
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 famiIia
de conjuntos.
El nmero de elementos del conjunto P(A) depende del nmero de elementos de A; en el
ejemplo, A tiene 3 elementos y P(A) tiene 8 = 2
3
elementos, en general, "Si A tiene n-
elementos se pueden formar 2
n
subconjuntos del conjunto A".
Cuntos y cules son los subconjuntos que se pueden formar de un conjunto
A = { 1,3,5} ?
EjempIo 2.
Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos
de B son conjuntos y otros no. Para que el conjunto B fuera un conjunto de partes o una
familia de conjuntos debera estar expresado de la siguiente forma:
B = { {2}, {1,3}, {4}, {2,5} }.
**************************************************************************
1,
Relaciones entre conjuntos
#ubconjuntos
Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A
tambin es elemento del conjunto B.
Simblicamente esta relacin se expresa as:
A B (se Iee A esta contenido en B)
si todo elemento x que est en el conjunto A entonces
x tambin est en B, es decir;
A B si todo x A, entonces x B
EjempIo 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.
1-
B
A
U
A C B
x A
x B
x
Figura No. 5
Un resultado muy til e importante acerca de la contenencia entre conjuntos es el
siguiente:
Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto
de C; simblicamente este enunciado se escribe as:
S A B y B C, entonces, A C
3a demostraci/n es la siguiente*
S x A; entonces x B porque A B, pero x tambin esta en n porque
B C; por lo tanto si xA, entonces x C y esto se cumple para todo elemento x que
est en A, debido a que el conjunto A esta contenido en el conjunto B y B a su vez, esta
contenido en C; por consiguiente queda demostrado que A C.
Si A, B y C son tres conjuntos no vacos que verifican las condiciones A B y B C,
qu se puede concluir de A con respecto a C?
**************************************************************************
1.
C
U
A C B
B C C
______
A C C
x A
x B
x C
A
x
B
Figura No. 6
$gualdad entre conjuntos
0l con-unto % es igual al con-unto & si am4os con-untos tienen los mismos elementos, es
decir, si todos los elementos de % .ertenecen a & ) si todos los elementos de &
.ertenecen al con-unto A5 La igualdad entre conjuntos se simboliza de la siguiente forma:
A = B si A B y B A
EjempIo 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.
EjempIo 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.
1/
B
U
A C B
B C A
______
B = A
1
A
2
4
3
5
B
U
B C A
A B
______
A B
6
A
2
4
3 8
1
5
7
9
Figura No. 8
Figura No. 7.
Conjuntos Completamente 'iferentes o 'isyuntos(
Es importante destacar que cuando dos conjuntos son completamente diferentes (no
tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.
EjempIo 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.
#ubconjunto propio
Todo conjunto es subconjunto de s mismo, es decir, A A (con A un conjunto cualquiera),
si ese subconjunto se llama B, entonces se puede afirmar que B es un subconjunto propio
de A, este hecho se simboliza as:
**************************************************************************
10
B
U
A B y
B A y no hay
eIementos
comunes
A
7
1
5
2
9
Figura No. 9.
Leccin No.2 Operaciones entre conjuntos Leccin No.2 Operaciones entre conjuntos
Operaciones entre conjuntos
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.
"nin
Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de
todos los elementos que pertenecen al conjunto A o al conjunto B.
Simblicamente la unin se define as:
A U B = {x / x A,v, x B}, donde el smbolo "v" se lee "o".
Para representar grficamente una operacin entre conjuntos, se debe tener en cuenta la
relacin que exista entre ellos, segn los siguientes casos:
Caso )* +ue los conjuntos no tengan ning,n elemento en com,n*
-conjuntos disyuntos.*
La parte subrayada representa la unin entre los conjuntos A y B.
11
A
B
U
A U B
A
B
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4}
$ 2 {5,6,7}
A U B = {1,2,3,4,5,6,7}
3
2
4 1
5
7 6
Figura No. 10.
Caso /* +ue los conjuntos tengan slo unos elementos en com,n*
#ubconjunto propio
Caso 0* +ue un conjunto este contenido en el otro*
la parte sombreada indica la operacin.

**************************************************************************
%0
A
B
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6}
$ 2 {5,6,7}
A U B = {1,2,3,4,5,6,7}
3
2
4
1
5
7
6
A
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6,7}
$ 2 {5,6,7}
A U B = {1,2,3,4,5,6,7}
3
2
4
1
B
5
7
6
Figura No. 12
Figura No. 11
EjempIo 1.
Si A = {x N / x es dgito par o dgito primo}, grficamente la representacin de est
unin es:
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:
$nterseccin
Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos
los elementos que pertenecen simultneamente al conjunto A y al conjunto B.
Simblicamente la interseccin se expresa as:
A O B = {x / x A, ,x B}
el smbolo "O se lee interseccin y el smbolo " se lee y.
%1
U
A
B
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,5,7,9}
$ 2 {2,4,6,8}
A U B =
{1,2,3,4,5,6,7,8,9}
3
7
5 1
2
8
4
Figura No. 13
6
9
La parte subrayada representa la unin entre los conjuntos A y B.
Se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y
los conjuntos se llaman disyuntos, como ya se haba mencionado;
**************************************************************************
%%
A
B
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4}
$ 2 {5,6,7}
A O B = { }
3
2
4 1
5
7
6
Figura No. 14.
Figura No. 15
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6}
$ 2 {5,6,7}
A B = {5,6 }
A
B
U
8
9
3
2
4
1
7
5
6
La parte sombreada indica la operacin:

Esto permite afirmar que si A B, entonces. A O B = A; anlogamente se puede inferir
que si B A, entonces, A O B = B.
A continuacin se realiza la demostracin analtica para el caso 3 de la figura No. 16, la
otra situacin si B A, entonces, A O B = B, se deja como ejercicio complementario (se
encuentra al final del captulo), esta demostracin es muy similar a la que se har a
continuacin, sin embargo la puede consultar en el libro, Teora de conjuntos de Seymour
Lipschutz.
Si A B, por definicin de contenencia entre conjuntos se puede afirmar que todo
elemento x A, entonces x B; por definicin de interseccin, stos elementos x
forman el conjunto A O B y como todos estos son elementos de A, se puede concluir que
A O B = A.
EjempIo 1.
Dados los conjuntos:
M = {x N / x es mltiplo de 2}
N = {x N / x es mltiplo de 3}
P = {x N / x es impar}
Se pueden analizar las siguientes intersecciones:
1. M O N = {6, 12, 18, 24, 36,.}, escrito por comprensin es:
M O N = {x N / x es mltiplo de 6}.
2. M O P = , no existe ningn nmero natural que sea mltiplo de 2 y a la vez
impar.
%3
A
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6,7}
$ 2 {5,6,7}
A O B = {5,6,7 } = B
3
2
4
1
B
5
7
6
Figura No. 16
3. O M = , El conjunto vaco est contenido en cualquier conjunto, en particular
en M, esto es M, luego se puede concluir que O M = .
4. Para hallar la interseccin M O N O 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.
En este caso M O N = {x N / x es mItipIo de 6} y ste intersecado con el conjunto P
est formado por los mltiplos de 6 que son impares, es decir, M O N O P = {x N / x es
impar y mItipIo de 6}, por extensin el conjunto es:
M O N O 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
'iferencia
Segn los tres casos estudiados, se puede afirmar que al comparar dos conjuntos no
vacos, puede suceder que:
1. No tengan ningn elemento en comn, (conjuntos totalmente diferentes).
2. Slo algunos elementos sean comunes, (conjuntos parcialmente diferentes o
parcialmente iguales)
3. Un conjunto este contenido en el otro.
4. Tengan exactamente los mismos elementos, (conjuntos iguales)
En los numerales 1, 2 y 3, se puede formar un conjunto con los elementos que le faltan
a un conjunto para ser igual a otro, este conjunto as formado, se denomina diferencia
entre conjuntos.
Si A y B son dos conjuntos no vacos, entonces se define la diferencia entre A y B as:
**************************************************************************
%,
U 2
& 2
N 2
M O N =
M O P =
M O N O P =
M N
U
Figura No. 17
P
A - B = {x / x A, , x B}
Esto se lee: A menos B, es el conjunto formado por los elementos que estn en el
conjunto A pero no en el B.
En la siguientes grficas, la parte sombreada representa la diferencia entre los conjuntos A
y B.
Se puede observar que cuando dos conjuntos son diferentes, su diferencia es vaca y los
conjuntos se llaman disyuntos, como ya se haba mencionado;
%-
A
B 8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4}
$ 2 {5,6,7}
A - B = A = {1,2,3,4}
B - A = B = {5,6,7}
3
2
4 1
5
7
6
Figura No. 18.
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6}
$ 2 {5,6,7}
A - B = {1,2,3,4}
A
B
U
8
9
3
2
4
1
7
Figura No. 19
5
6
La parte sombreada indica la operacin.

En la figura 20, se puede observar que todos los elementos que estn en B, estn en A
(debido a que B A), por lo tanto no existe ningn elemento que pertenezca a la
diferencia B - A y en consecuencia B - A = . Surge ahora, la siguiente inquietud:
Cul ser la diferencia entre A y B (A - B) cuando B A?
Esta pregunta se plantea formalmente en el numeral 4 de los ejercicios complementarios y
el propsito es realizar la demostracin con el apoyo del tutor.
**************************************************************************
%.
A
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6,7}
$ 2 {5,6,7}
A - B = {1,2,3,4}
B - A = { }
3
2
4
1
B
5
7 6
Figura No. 20
EjempIo 1.
Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar A - B y B - A y
hacer la representacin grfica.
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces:
A - B = {1, 4, 5, 6, 8, 9} y B - A = ,
'iferencia sim1trica
Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el conjunto
formado por los elementos que pertenecen al conjunto A o al conjunto B, pero no
pertenecen simultneamente a ambos conjuntos.
Simblicamente la diferencia simtrica entre A y B se escribe as:
A B = {x / x A, v, x B, , x A O B}.
%/
A
U
U 2 {0,1,2,3,4,5,6,7,8,9}
A 2 {0,1,2,3,4,5,6,7,8,9}
$ 2 {0,2,3,7}
A - B = {1,4,5,6,8,9}
B - A = { }
6
5
4
1
B
2
7
3
Figura No. 21
8
9
0
En la siguientes grficas, la parte sombreada representa la diferencia simtrica entre los
conjuntos A y B.
Se puede observar que cuando dos conjuntos son diferentes, su interse es vaca y los
conjuntos se llaman disyuntos.
**************************************************************************
%0
A
B
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4}
$ 2 {5,6,7}
A B = {1,2,3,4,5,6,7}
B A = {1,2,3,4,5,6,7}
3
2
4
1
5
7
6
Figura No. 22.
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6}
$ 2 {5,6,7}
A B = {1,2,3,4,7}
B A = {1,2,3,4,7}
Figura No. 23
A
B
U
8
9
3
2
4
1
7
5
6
EjempIo 1.
Si A = {x / x es una Ietra de Ia paIabra INGENIERIA} y B = {x / x es una Ietra de Ia
paIabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}.
EjempIo 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.
%1
A
U
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6,7}
$ 2 {5,6,7}
A A B = {1,2,3,4}
B A A = {1,2,3,4}
3
2
4 1
B
5
7 6
Figura No. 24
U =
A =
B =
A O B =
A A B =
A U B =
A
B
U
Figura No. 25
Complemento
Si A es un conjunto no vaco, el complemento de A, simbolizado por A', est formado por
todos los elementos que no pertenecen al conjunto A, es decir,
A' = A
c
= A
*
= ~A = A =
A
= {x / x A}
En la siguientes grficas, la parte sombreada representa el complemento del conjunto A.
**************************************************************************
30
U =
A =
B =
A O B =
A A B =
A U B =
A
B
U
Figura No. 26
8
9
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4}
$ 2 {5,6,7}
A' = {5,6,7,8,9}
3
2
4 1
5
7
6
Figura No. 27.
A
B
Caso /* +ue los conjuntos tengan slo unos elementos en com,n
EjempIo 1.
Al considerar el conjunto universal como el conjunto de los estudiantes de ngeniera de
sistemas de la UNAD y A como el conjunto de los estudiantes que estn en el primer
semestre, el complemento del conjunto A (A') ser el conjunto formado por todos los
estudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto
es:
U = {x UNAD / x estudia ingeniera de sistemas}.
A = {x ngeniera de sistemas / x Primer semestre}.
A' = {x ngeniera de sistemas / x Primer semestre}.
31
Figura No. 28
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6}
$ 2 {5,6,7}
A' = {7,8,9}
U
8
9
7
A
B
4
1
3
2
6
5
U 2 {1,2,3,4,5,6,7,8,9}
A 2 {1,2,3,4,5,6,7}
$ 2 {5,6,7}
A' = {8,9}
A
U
8
9
3
2
4
1
B
5
7
6
A
Producto Cartesiano
Par ordenado o pareja ordenada:
La expresin (x , y ) representa una pareja ordenada , que cumple la condicin de que su
primera componente, ("x) pertenece al conjunto A y la segunda componente ("y)
pertenece al conjunto B.
PIano cartesiano:
Los pares ordenados (x,y), (-x,y), (x,-y), (-x,-y) se representan en el plano cartesiano
como sigue:
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 C A , , y C B }.
Ejemplo 1.
Si A = {1, 2,3} y B = {-1, 0, 2} el producto cartesiano de A X B es:
A X B = {(1,-1),(1,0),(1,2),(2,-1),(2,0),(2,2),(3,-1),(3,0),(3,2)} y el producto de BXA es
B X A = {(-1,1),(-1,2),(-1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)}
De donde se observa que el producto cruz no es conmutativo, es decir:
A x B B x A
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).
**************************************************************************
3%
x 3x
3y
y (-x,y) (x,y)
(-y,-x) (x,-y)
Y
X
4ig5ra No. 30
La siguiente grfica muestra la diferencia.
Realiza el siguiente producto cartesiano y luego ubica los pares ordenados en el plano
cartesiano: Si A = {2,3} y B = {1, -2} A x B es:

33
1 31
31
1
(-1,1) (1,1)
(-1,-1) (1,-1)
Y
X
4ig5ra No. 31
%lgebra de conjuntos
Propiedades de Ias operaciones entre conjuntos
Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e
interseccin:
a. Leyes de idempotencia:

A U A = A
A i A = A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A i B) i C = A i (B i C)
b. Leyes conmutativas:
A U B = B U A
A i B = B i A
d) Leyes distributivas:
A U (B i C) = (A U B) i (A U C)
A i (B U C) = (A i B) U (A i C)
Las siguientes propiedades estn relacionadas con los conjuntos Universal "U y vaco
:
e) Leyes de identidad:
A U U = U A i U = A
A U 4 = A A i 4 = 4
Propiedades con respecto al complemento.
f) Leyes deI compIemento:
A U A' = U A i A' = 4
(A' )' = A 4' = U
g) Leyes de D'Morgan:
(A U B)' = A' i B'
(A i B)' = A' U B'
Estas leyes se pueden representar grficamente de la siguiente forma:
a6 Leyes de idempotencia:
A U A = A
**************************************************************************
3,
A i A = A
Qu obtenemos de interceptar eI conjunto A con I mismo?
Qu pasa si unimos A con A? :
6 Leyes de identidad: A U U = U A i U = A
A U 4 = A A i 4 = 4
Qu se obtiene de unir eI conjunto A con eI universo? :
Qu se obtiene de unir eI conjunto A con eI vaco? :
3-
4ig5ra No. 33
O
=
A
A A
U
=
A
A
A
A
U U
U
A
A
A
4ig5ra No. 3-
A
U U U
U =
A
U
=
U
U
4ig5ra No. 3,
A
U
U
U
Qu tienen en comn A y eI universo?
Qu tienen en comn A y eI vaco? :
c) Leyes deI compIemento:
A U A' = U A i A' = 4
(A' )' = A 4' = U
Qu se obtiene de unir A con Io que no es A?
**************************************************************************
3.
4ig5ra No. 3.
A
U U
O =
A
U
4ig5ra No. 3/
A
U
O =
4ig5ra No. 30
A
U U
U
U =
A
U
U

Qu tienen comn A con Io que no es A?
d) Leyes de D' Morgan:
(A U B)' = A' i B'
(A i B)' = A' U B'
La demostracin grfica de (A U B)' = A' O B' es Ia siguiente:
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:
3/
4ig5ra No. 31
A
U U U
O =
A
U
8
9
7
A
B
4
1
3
2
6
5
A U B
U
8
9
7
A
B
4
1
3
2
6
5
(A U B)'
Figura No. 40
9
A'
U
8
7
A
B
4
1
3
2
6
5
U
B'
8
9
7
A
B
4
1
3
2
6
5
U
A' O B'
8
9
7
A
B
4
1
3
2
6
5
Realiza la demostracin grfica del teorema de D' Morgan para: (A O B)' = A' U B'
para ello subraya el rea correspondiente.
Primera parte
Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza dual de la
teora de conjuntos.
Simplificar aplicando las leyes del Algebra de conjuntos:
1) ( (A O B)' )'
2) (A' ) ' O ( ( (B)' ) ' )
3) (A' U A' ) U B'
4) (A O O)'
5) (A O O' )'
**************************************************************************
30
Figura No. 41
9
______
U
8
7
A
B
4
1
3
2
6
5
U
____
8
9
7
A
B
4
1
3
2
6
5
U
_______
8
9
7
A
B
4
1
3
2
6
5
9
______
U
8
7
A
B
4
1
3
2
6
5
U
____
8
9
7
A
B
4
1
3
2
6
5
U
_______
8
9
7
A
B
4
1
3
2
6
5
6) (A' O U' ) '
7) (A O A)' U (A' U A' )
8) (A U A' ) '
9) (A' O A' ) ' U A'
10) ( (A' ) ' U U' )' O A'
Segunda parte de la igualdad A' U B':
Principio de dualidad
Si se intercambian las operaciones unin (U) por interseccin (O), como tambin el
conjunto universal (U) por el conjunto vaco (O), en cualquier razonamiento sobre
conjuntos, el enunciado resultante se llama DUAL del primero.
Ejemplo 1.
Demostrar que el dual de;
(U U B) O (A U O) = A es:
(O O B) U (A O U) = A
Tomando la primera parte y por las leyes de identidad se tiene que:
(U U B) O (A U O)
U O A = A
Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad se tiene
que:
(O O B) U (A O U)
O U A = A
Con lo cual queda demostrado.
31
EjempIo 2.
Demostrar que el dual de
(A O B) U (A O B') = A es
(A U B) O (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:
figura No.42 primera parte
**************************************************************************
,0
9
A
U
8
7
A
B
4
1
3
2
6
5
U
B'
8
9
7
A
B
4
1
3
2
6
5
U
A O B'
8
9
7
A
B
4
1
3
2
6
5
9
A
U
8
7
A
B
4
1
3
2
6
5
9
U
( A O B' )
8
7
A
B
4
1
3
2
6
5
9
U
( A O B )
8
7
A
B
4
1
3
2
6
5
U =
Segunda parte: (A U B) O (A U B') = A
i) La segunda parte se puede representar de la siguiente forma:

,1
9
A
U
8
7
A
B
4
1
3
2
6
5
U
B'
8
9
7
A
B
4
1
3
2
6
5
9
A
U
8
7
A
B
4 1
3
2
6
5
O =
A U B'
8
9
U
A
4 1
3
B
6
5
7
2
9
U
( A U B )
8
7
A B
4
1
3
2
6
5
A U B'
8
9
U
A
4
1
3
B
6
5
7
2
4ig5ra No.,3 seg5nda parte (A U B) O (A U B') = A
**************************************************************************
,%
Leccin No.3 Principios de Lgica Leccin No.3 Principios de Lgica
Principios de lgica.
y
o v
No ~
Si . entonces
S y sIo si

Principios de lgica
Objetivo generaI
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.
1. Conocer la historia de la lgica y su clasificacin.
2. Establecer la relacin entre lgica y lingstica.
3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y
equivalencia.
4. Elaborar la tabla de verdad de enunciados o expresiones lgicas.
5. Aplicar las leyes del lgebra de proposiciones para realizar demostraciones.
6. Determinar la conclusin de un grupo de premisas utilizando las inferencias lgicas.
7. Definir y diferenciar conceptos tales como razonamiento, demostracin y
argumento.
,3
2istoria y clasificacin de la lgica
Etimolgicamente la Igica es la ciencia del logos. Originalmente logos significa palabra o
discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que
se ocupaba de ciertas formas de lenguaje.
Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento
racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del
pensamiento racional; es de aclarar que la lgica no se ocupa del contenido de los
pensamientos sino de la manera o forma de los pensamientos.
En respuesta a la necesidad de construir argumentos, para defender o refutar
pensamientos de los dems, AristteIes, considerado por los griegos. "El padre de la
lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo
cual desarroll la lgica proposicional estableciendo procedimientos para determinar la
verdad o falsedad de proposiciones compuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica
clsica, planteando que la dependencia lgica entre proposiciones es demostrada,
reduciendo argumentos complejos en simples, para lo cual propuso representar el
conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
esquema (lgica simblica) lo llam una caracterstica universaI.
El proceso de la lgica continu en el siglo XX. En 1847 el matemtico ingls George
BooIe en compaa de Augustus de Morgan hizo notar el parentesco entre las
operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de
adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin,
interseccin y negacin; adems formularon los principios del razonamiento simblico y el
anlisis lgico. A BooIe se le atribuye la invencin de las tablas de verdad para
comprobar la veracidad de proposiciones compuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra
"Principio Matemtico, quienes codificaron la lgica simblica en su presente forma
definindola como la "Ciencia de todas Ias operaciones conceptuaIes posibIes, por
esta razn la fundacin de la lgica formal moderna se le atribuye a ellos.
**************************************************************************
,,
CIasificacin de Ia Igica
La lgica se puede clasificar como:
1. Lgica tradicionaI o no formaI.
2. Lgica simbIica o formaI.
En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico,
y los mtodos de inferencia que estn relacionados con la destreza para interpretar y
distinguir el razonamiento correcto del incorrecto; se puede considerar que la lgica no
formal resume las experiencias humanas obtenidas del conocimiento y de la observacin
del mundo circundante.
La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de
investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la
inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas
puras y rigurosas. En el pensamiento simblico, las palabras se manipulan, segn las
reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
ConceptuaIizacin

La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de
verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de
proposiciones supuestas; adems, la lgica es una ciencia que se interesa por las
relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y
generalidad en los razonamientos.
La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede
evitar con facilidad.
La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los
elementos bsicos de un argumento lgico, tanto en su representacin simblica como en
su significado para luego establecer un lenguaje simblico artificial, que le permita
simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que
se aplica el conocimiento.
,-
3gica y 3ing4!stica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes:
los lenguajes naturales y los lenguajes formales o artificiales.
Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el
castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron
establecidas a posteriori, es decir despus de que el lenguaje ya haba madurado.
Los lenguajes formales como las matemticas y la lgica, fueron desarrollados,
generalmente, a partir del establecimiento de una teora, la cual da las bases para que a
travs de dichos lenguajes se pueda desarrollar la misma teora.
Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la
existencia de un conjunto finito llamado alfabeto, el cual esta constituido de smbolos
simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos
los alfabetos: latino, griego y rabe-persa, entre otros. En los formales como la lgica se
tiene el lxico del clculo proposicional y de predicados.
Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o
palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se
considera como un conjunto infinito de oraciones o enunciados que se forman con
palabras del diccionario.
En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos,
(lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje formal, las
palabras y las oraciones estn perfectamente definidas, una palabra mantiene el mismo
significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto,
necesariamente exentos de cualquier componente semntico fuera de sus operadores y
relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes
formales pueden ser usados para modelar una teora de la ingeniera de sistemas,
mecnica, elctrica, entre otras.
**************************************************************************
,.
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del
lenguaje cotidiano con un significado mucho ms limitado; en tales condiciones, se puede
considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser
verdadera o falsa.
y para simplificar la escritura de argumentos lgicos complicados; crea un lenguaje
simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que
no presentan las ambigedades ni vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones representan oraciones declarativas,
las cuales contienen un sujeto perfectamente definido o dado por el contexto, un
predicado y una conjugacin del verbo ser.
Las proposiciones se representan simblicamente mediante el uso de letras minsculas
del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o
variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y
exacto que el lenguaje natural.
Los siguientes ejemplos ilustran cmo se pueden simbolizar las proposiciones:
p : 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.
En el lenguaje cotidiano se encuentran expresiones como por ejemplo:
Las rosas son rojas y tienen espinas.
La seleccin Colombia gan o perdi?
En el pas no hay violencia.
Si estudio lgica matemtica entonces ser un destacado ingeniero de
sistemas.
4 es un nmero par si y sIo si se puede dividir por 2.
Estas expresiones se denominan oraciones y para su formacin se utilizaron las letras y,
o, no, si . entonces, s y sIo si, que sirvieron para unir o enlazar los enunciados.
,/
Leccin No.4 Conectivos Lgicos Leccin No.4 Conectivos Lgicos
Conectivos 3gicos
Estos trminos de enlace reciben el nombre de Conectivos Igicos y al igual que a las
proposiciones, tambin se les asignan un lenguaje simblico, as:
LENGUAJE NATURAL LENGUAJE FORMAL
y
o
v
No
~
Si . entonces
S y sIo si
Vemos varios ejempIos de notacin simbIica de Ias proposiciones:

p : Las rosas son rojas.
q : Las rosas tienen espinas.
P q: Las rosas son rojas y tienen espinas.
r: La seleccin Colombia gan?.
s: La seleccin Colombia perdi?.
r v s : La seleccin Colombia gan o perdi?.
t : En el pas hay violencia.
~ t : En el pas no hay violencia.
x : Estudio lgica matemtica
y : Ser un destacado ingeniero de sistemas
**************************************************************************
,0
x y : Si estudio lgica matemtica ser un destacado ingeniero de sistemas.
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.
Clasificacin de las proposiciones
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:
p : El eclipse es un fenmeno natural.
q : La luna es un satlite de la tierra.
r : 2 es el inverso multiplicativo de 2.
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no
los dos valores al mismo tiempo, pues dejara de ser proposicin.
Proposiciones Compuestas
Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms
proposiciones simples mediante trminos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:
p : Est lloviendo.
q: El sol brilla.
p q: Est lloviendo y el sol brilla.
,1
x : Quieres caf?.
y : Quieres t?.
x v y : quieres caf o t?.
s : Llueve.
r : Hace fro.
s r : Si llueve entonces hace fro.
p : Un tringulo es equiltero.
q: Un tringulo tiene sus tres lados iguales.
p q : Un tringulo es equiltero si y slo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de
cada una de las proposiciones simples que la conforman y de la forma como estn
combinadas; para establecer este valor, se fijan criterios que se estudiarn en las
prximas secciones de este captulo.
**************************************************************************
-0
Conectivos 3gicos

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.
3a conjuncin( 5 5
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.
-1
Para establecer el valor de verdad de la conjuncin, surgen las siguientes posibilidades:
1. Que p y q sean verdaderas.
%. Que p sea verdadera y q sea falsa.
3. Que p sea falsa y q verdadera.
,. Que p y q sean falsas.
A continuacin se analizan estas posibilidades para el ejemplo 1, el anlisis del ejemplo 2
se deja como ejercicio.
1. r: Verdadera. 6 es un nmero par.
s: Verdadera. 6 es un entero positivo.
r s : Verdadera (V)

2. r: Verdadera. 6 es un nmero par.
s: Falsa. 6 no es un entero positivo.
r s : Falsa (F).
3. r: Falsa. 6 no es un nmero par.
s: Verdadera. 6 es un entero positivo.
r s :Falsa (F).
4 r : Falsa. 6 no es un nmero par.
s: Falsa. 6 no es un entero positivo.
r s: Falsa (F).

**************************************************************************
-%
3a disyuncin 5 v 5
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada "p v q se llama
disyuncin de p y q.
El operador "o se puede usar de dos formas: como "o incluyente o como "o excluyente.
En el primer caso ("o incluyente) hace que el valor de verdad de una de las dos
proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva;
mientras que en la segunda forma ("o excluyente) el valor de verdad de una proposicin
excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome
el valor verdadero.
EjempIo 1. Uso deI "o" incIuyente
r v s: Juan estudia ingeniera o Paola estudia medicina.
r : Juan estudia ingeniera.
v : O
s: Paola estudia medicina.
EjempIo 2. Uso deI "o" excIuyente.
x v y : Quieres helado o gaseosa.
x : Quieres helado.
v : O
y: Quieres gaseosa.

EjempIo 3: Uso deI "o" excIuyente
p v q: Alexandra vive en Bogot o en Barranquilla.
p : Alexandra vive en Bogot.
v : O
q : Alexandra vive en Barranquilla.
-3
3a negacin 6
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin
compuesta no p simbolizada por: "~ p.
EjempIo 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.
EjempIo 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.
7l condicional 55
Se dice que una proposicin compuesta es condicional, si esta formada por dos
proposiciones simples enlazadas por la expresin "si.entonces".
Si p y q representan dos proposiciones, la expresin "si p entonces q se simboliza as :
p q y se lee p implica q.
La proposicin precedida por la expresin "si, se llama antecedente o hiptesis y la
proposicin precedida por la expresin "entonces, se llama consecuente o concIusin
de la implicacin. En la expresin p q, el antecedente es p y el consecuente es q.
Las proposiciones condicionales se pueden enunciar de diferentes maneras as:
Si p entonces q.
p slo si q.
q si p.
p es suficiente para q.
q es necesaria para p.
Los siguientes ejemplos ilustran los anteriores enunciados:
Si un entero es mlti.lo de 6 entonces es divisi4le .or 5
A.rue4o el semestre s/lo si estudio5
0l algoritmo esta 4ien enunciado si el .rograma corre5
Si dos rectas nunca se cortan necesariamente son .aralelas5
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.
Existen varias formas de enunciar proposiciones condicionaIes as:
mplicacin directa: p q
mplicacin contraria: q p
mplicacin recproca: ~ p ~ q
mplicacin contrarrecproca: ~ q ~ p
EjempIo 1.
Dadas las proposiciones p: 2m es divisible por 4
q: m es par
entonces:
La proposicin directa es: p q: Si 2m es divisible por 4 entonces m es par, la contraria
es: q p: Si m es par entonces 2m es divisible por 4, la recproca es: ~ p ~ q: si
2m no es divisible por 4, entonces m no es par y la contrarrecproca es: ~ q ~ p : Si m
no es par, entonces 2m no es divisible por 4.
EjempIo 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)
~ q p.
EjempIo 3.
Proposicin directa: ~ p ~ q
Contraria: ~ q ~ p
Recproca: ~ (~ p) ~ (~ q)
pq
Contrarrecproca: ~ (~ q) ~ (~ p)
qp
--
7l bicondicional 5 5
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin "s y sIo s".
Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional est formado por las implicaciones p q y q p, las cuales deben
tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia,
se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir
p q.
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin,
stas son:
p s y slo si q.
q s y slo si p.
si p entonces q y recprocamente.
si q entonces q y recprocamente.
p es una condicin necesaria y suficiente para q.
q es una condicin necesaria y suficiente para p.
EjempIo 1.
Dadas las proposiciones:
p: Un tringulo es rectngulo.
q: Un tringulo tiene un ngulo recto.
EI bicondicionaI p q se puede traducir de Ias siguientes formas:
Un tringulo es rectngulo s y slo s tiene un ngulo recto.
Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo
Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene
un ngulo recto entonces es un tringulo rectngulo.
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que
tenga un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es
que sea un tringulo rectngulo.
Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.
**************************************************************************
-.
8ablas de verdad9 'efinicin
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas,
las cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin
( " ~ "), la disyuncin ( " v ") 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 p q p v q
p q
p q
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 P q p v q
P q
p q
1 1 0 1 1 1 1
1 0 0 0 1 0 0
0 1 1 0 1 1 0
0 0 1 0 0 1 1
Construccin de tabIas de verdad
Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la
correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian
los pasos a seguir:
-/
EjempIo 1.
Construir Ia tabIa de verdad para Ia proposicin ~ (p q).
Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis.
Paso 2.
Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la
conjuncin.
Paso 3.
Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.
Paso 4.
Se elabora la tabla con el nmero de columnas determinado por:
Proposiciones que intervienen
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis.
La siguiente tabla ilustra el paso 4:
p

q p q ~ ( p q )
Paso 5.
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la
siguiente tabla
p

q p q ~ ( p q )
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 p q ~ ( p q ) p q p q ~ ( p q )
V V V F 1 1 1 0
V F F V 1 0 0 1
F V F V 0 1 0 1
F F F V 0 0 0 1
**************************************************************************
-0
EjempIo 2.
Elaborar la tabla de verdad de la proposicin: (p v q) (p q).
Al realizar el recorrido de izquierda a derecha se observa que la proposicin est
conformada por dos parntesis conectados por la disyuncin y dentro de cada parntesis
se identifican la disyuncin y la conjuncin respectivamente; despus de ste anlisis se
elabora la tabla.
p q p v q p q (p v q) (p q)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 0 0
EjempIo 3
Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p)
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.
-1
Tabla No. 1 La conjuncin.
Tabla No.2 La disyuncin.
Tabla No.3 La negacin.
Tabla No.4 El condicional.
Tabla No.5 El Bicondicional.
TabIas de verdad para Ios conectivos Igicos
La conjuncin
p q p q
V V V
V F F
F V F
F F F
De la anterior tabla de verdad podemos concluir que la conjuncin es verdadera
nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso
la proposicin es falsa.
La disyuncin
p q p v q
V V V
V F V
F V V
F F F
La negacin
p ~ p
V F
F V
EI condicionaI

EI bicondicionaI
p q
p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
**************************************************************************
.0
$mplicacin directa, contraria, rec!proca y contrarec!proca
Tabla de verdad para las cuatro formas de la implicacin,
p q ~ p ~ q
p q
Directa
q p
Contraria
~ p ~ q
Recproca
~ q ~ p
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 )
%. ( q p ) (~ p ~ q )
Se propone al estudiante construir la tabla de verdad para las anteriores equivalencias.
.1
Leccin No.5 Leyes de Ia Igica Leccin No.5 Leyes de Ia Igica
3eyes de la lgica
TautoIoga
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.
EjempIo 1.
Demostrar que la proposicin ( p v q ) (~ q p ) es verdadera:
Para verificar la validez de esta proposicin es necesario realizar la tabla de verdad y
comprobar que en la ltima columna solamente aparecen valores verdaderos.
p

q p v q ~ q
~ q p ( p v q ) (~ q 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.
EjempIo 2.
Es ( p ~ q ) q una tautologa?
Para responder la pregunta se hace necesario hacer la tabla de verdad, as:
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
Por lo tanto esta proposicin no es una tautologa, es una contradiccin.
Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen los
mismos valores de verdad para cada una de las opciones en la tabla de verdad.
**************************************************************************
.%
EjempIo 3
Establecer si las proposiciones (p q ) y (~ p v q ) son lgicamente equivalentes.
Para esto hay que probar que (p q) (~ p v q), la tabla de verdad es:
p q
p q
~ p ~ p v q
(p q ) (~ p v 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.
.3
3eyes del algebra de proposiciones
Las siguientes son las leyes de la lgica.
1. Idempotencia:
p v p p
p p p
3. Asociativas:
(p v q) v r p v (q v r )
(p q) r p (q r)
4. Conmutativas:
p v q q v p
p q q p
5. Distributivas:
p v (q r) (p v q) (p v r)
p (q v r) (p q) v (p r)
6. Identidad:
p v 0 p , p v 1 1
p 0 0 , p 1 p.
7. CompIemento:
p v ~ p 1, p ~ p 0
~ ( ~ p) p, ~ 1 0, ~ 0 1
8. Leyes D' Morgan:
~ ( p v q ) ~ p ~ q
~ ( p q ) ~ p v ~ q
Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra de
proposiciones.
**************************************************************************
.,
En los ejemplos que aparecen a continuacin, se utilizan las leyes de la lgica para
realizar las respectivas demostraciones:
EjempIo 1
Demostrar que:
1. p p p
%. p v p p.
Estas demostraciones se pueden efectuar partiendo del primer miembro y llegar al
segundo o partiendo del segundo y llegar al primero. En la parte derecha se escribe el
nombre de la ley que justifica ese paso.
1. Partiendo del primer miembro se llega al segundo as:
p p (p p) v 0 dentidad
p p (p p) v (p ~ p) Complemento
p p p (p v ~ p) Distributiva
p p p 1 Complemento
p p p dentidad
2. Partiendo del segundo miembro se llega al primero as:
p p v 0 dentidad
p p v (p ~ p) Complemento
p (p v p) (p v ~ p) Distributiva
p (p v p) 1 Complemento
p (p v p) dentidad.
Se sugiere hacer las demostraciones partiendo del primer miembro.
EjempIo 2
Demostrar que: (p v q) (~ p v q) q
( q v p) (q v ~ p) q Conmutativa
q v ( p ~ p ) Distributiva
q v 0 Complemento
q dentidad
.-
EjempIo 3.
Demostrar que: [ (p q) v (~ p r) v (q r) ] [ (p q) v (~ p r)]
[ (p q) v (~ p r) v (q r) ] [ (p q) v (~ p r) v (q r) ] v 0 dentidad
[(p q) v (~ p r) v (q r)] v (q r) ~ (q r) Complemento
(p q) v (~ p r) v (q r) ~ (q r) Asociativa
(p q) v (~ p r) v 0 Complemento
(p q) v (~ p r) dentidad
EjempIo 4.
Demostrar: (p v ~ q) (q v r) (q v ~ r) (p q)
(p v ~ q) [q v (r ~ r)] Distributiva
(p v ~ q) [q v 0] Complemento
(p v ~ q) q dentidad
(p q) v (~ q q) Distributiva
(p q) v 0 Complemento
(p q) dentidad.
EjempIo 5.
Demostrar: ~ [(p ~ q r) v (p q r)] (~ p v ~ r)
~ [(p ~ q r) v (p q r)] ~ [(p r) (~ q v q)] Conmutativa y distributiva
~ [(p ~ q r) v (p q r)] ~ [(p r) 1] Complemento
~ [(p ~ q r) v (p q r)] ~ (p r) dentidad
~ [(p ~ q r) v (p q r)] (~ p v ~ r) D' Morgan
**************************************************************************
..
Cuantificadores
Cuantificador universaI y existenciaI
Existen especialmente en matemticas, expresiones que contienen variables tales como x,
y, z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
EjempIo 1. x + 1 = 2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama
"Proposiciones abiertas".
Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor
de verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de
proposiciones abiertas, para ello, se asigna una expresin llamada cuantificador, que
permite restringir los valores de las variables, de tal forma que la proposicin toma un solo
valor de verdad para dicha restriccin.
En el ejemplo, la proposicin se puede enunciar de las siguientes formas:
1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera
%. Para todo x 1, se tiene que x + 1 = 2. Proposicin falsa.
Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificador
existenciaI, pues est informando que existe un slo valor para x que hace verdadera la
proposicin dada, mientras que en el segundo caso el cuantificador se llama universaI
porque afirma que todos los valores de x diferentes de 1 hacen la proposicin falsa, es
decir, que un valor de x diferente de 1 convierte x + 1 = 2 en proposicin falsa.
Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama
cuantificador universal y se simboliza por " "
EjempIo 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: "".
./
(x = 1) / (x + 1 = 2)
Verdadera.
( x 1 ) / ( x + 1 = 2) Falsa.
EjempIo 3
( x ) / ( 2 x + 2 = 5 ).
VaIores de verdad de expresiones con cuantificadores
Para determinar el valor de verdad de una expresin que contiene un cuantificador es
importante tener claros los siguientes conceptos:
1. Conjunto Universal: es el conjunto que contiene todos los elementos
considerados en un estudio determinado.
2. Conjunto dominio de la variable: corresponde al conjunto de valores posibles de
la variable.
EjempIo 1.
(x C 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 C { 1/2 } ) / ( 2 x - 1 = 0) es verdadera.
Lo anterior conduce a la siguiente afirmacin:
Una proposicin que contiene un cuantificador universal es verdadera s y slo s el
dominio de la variable es igual al conjunto universal.
EjempIo 2.
(x C R ) / ( x 2 - 1 = 0)
Conjunto universal: R (reales)
Dominio de la variable: x = 1 ,v, x = -1
En este caso el cuantificador existencial afirma que por lo menos existe un valor que
satisface la proposicin, as, el ejemplo 2 es verdadero.
EjempIo 3.
(x C 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.
**************************************************************************
.0
.1

P S
CIases S y P
S P
S P
S P
SP
Captulo
2
2
Preliminares sobre las
proposiciones
Leccin No.6 Proposiciones categricas Leccin No.6 Proposiciones categricas
Cap!tulo 0 Preliminares sobre las proposiciones
El estudio clsico o aristotlico de la deduccin est centrado en argumentos que
contienen solamente proposiciones de un tipo especial, llamadas proposiciones
categricas.
El tipo especial se refiere a que las proposiciones pueden ser
universaIes (afirmativas o negativas) o
particuIares (afirmativas o negativas).
Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones
categricas. Los siguientes ejemplos ilustran cada una de ellas.
Proposicin Categrica "niversal afirmativa
+odos los conductores de autom/viles que no son seguros son .ersonas
temerarias que .onen en .eligro la vida de los dem$s5
Esta es una proposicin universal afirmativa. Se refiere a dos clases:
1. Conductores de automviIes inseguros y
2. personas temerarias que ponen en peIigro Ia vida de Ios 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.
**************************************************************************
/0
Personas
En este ejemplo, el trmino sujeto conductores, designa a la
clase de todos los conductores y el trmino predicado temerarias, designa a la clase de
todas las personas temerarias.
Este tipo de proposicin categrica se llama universal afirmativa, porque la proposicin
afirma que la relacin de inclusin entre las dos clases es completa, todos los elementos o
miembros de S tambin lo son de P.
Todas las proposiciones universales afirmativas se pueden escribir simblicamente as:
Todo S es P , donde S representa el sujeto y P el predicado.
/1
Condu!o"e# de au!o$%&i'e#
(n#e)u"o#
S
P
Personas temerarias
Todo S es P
Leccin No.7 Proposiciones universaI y particuIar Leccin No.7 Proposiciones universaI y particuIar
Proposicin Categrica "niversal negativa
Ningn conductor de autom/vil res.onsa4le es un .eligro .ara la vida de los dem$s5
Esta es una proposicin universal negativa. Niega (en forma universal) que los
conductores responsables son un peligro para la vida de los dems.
En este caso se hace referencia a dos clases:
1. Conductor de automviI responsabIe y
2. personas que ponen en peIigro Ia vida de Ios dems
Ia primera cIase excIuye a Ia segunda, la excluye totalmente, es decir, que no hay
ningn miembro de la primera clase (conductor responsable) que tambin pertenezca a la
segunda (que represente un peligro para la vida de los dems). Todas las proposiciones
universales negativas se pueden escribir as:

Ningn S es P
,donde S representa el trmino sujeto y P el trmino predicado.
La proposicin recibe el nombre universaI negativo, porque la proposicin niega que la
relacin de inclusin de clase tenga lugar entre las dos clases y lo niega en forma
universal: no hay ningn miembro de S que tambin lo sea de P.
**************************************************************************
/%
Condu!o"e# de au!o$%&i'
*e#+on#a,'e
S P
!e$e
"a"ia
#
Personas
Ningn S es P
Pe"#ona !e$e"a"ia -ue
+one en +e'i)"o 'a &ida de
'o# de$.#
Proposiciones categricas afirmativa particular

Algunos estudiantes de la secundaria ingresan a la educaci/n su.erior5
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.
CIases:
1. Estudiantes de secundaria y
2. Estudiantes que ingresan a Ia educacin superior
La palabra "algunos es indefinida, significa al menos uno ?, al menos dos?, al
menos tres? O al menos cuntos? Para mayor precisin, se acostumbra usar ste
trmino como "al menos uno ". Por lo tanto una proposicin afirmativa particular se escribe
simblicamente as:
AIgn 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 particuIar 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.
/3
S
P
Estudiantes
AIgn S es P
/#!udian!e -ue in)"e#a a 'a
eduai%n #u+e"io"
/#!udian!e# de #eunda"ia
Proposiciones categricas :egativa particular
Algunos nmeros reales no son .ositivos5
CIases
1. Nmeros reaIes y
2. Nmeros negativos
En este ejemplo el antecedente (algunos nmeros reales) es particular en el sentido que
no se refiere universalmente a los nmeros reales, slo a algunos de ellos, algunos
miembros de esa clase. Pero a diferencia del ejemplo anterior, no afirma que los miembros
particulares de la primera clase a los que se refiere (nmeros reales) estn incluidos en la
segunda clase (reales no positivos), esto es precisamente lo que se niega. Una
proposicin particular negativa, se escribe en forma simblica as:
AIgn 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.
**************************************************************************
/,
S
P
Nmeros
AIgn S no es P
N0$e"o# Ne)a!i&o#
N0$e"o# *ea'e# 111
Cualidad y cantidad de las proposiciones categricas
Cada proposicin categrica de forma estndar tiene una cuaIidad y una cantidad.
Cualidad %firmativa o :egativa(
La cualidad de una proposicin es afirmativa o negativa, segn el sujeto, completa o
parcialmente, afirme o niegue la inclusin de la clase. Por lo tanto las proposiciones
afirmativas universales y particulares tienen cualidad afirmativa, en cambio las
proposiciones negativas universales y particulares tienen cualidad negativa.
Cantidad "niversal o Particular de cantidad(
La cantidad de una proposicin es universal o particular segn que la proposicin se
refiera a todos los miembros o solamente a algunos de la clase designada por el trmino
sujeto. As, las proposiciones universales afirmativas o negativas son universales de
cantidad y las proposiciones particulares afirmativas o negativas son particulares de
cantidad.
------------------ La cIave -----------------
ALGUNOS = PARTCULAR
TODOS = UNVERSAL
De la lectura anterior, y puedes completar la siguiente tabla:
Proposicin
Categrica
Representacin
Todo S es P
Particular Negativa
/-
Leccin No.8 Proposiciones contrarias, de contingencia y subcontrarias Leccin No.8 Proposiciones contrarias, de contingencia y subcontrarias
Proposiciones contrarias, de contingenica y subcontrarias
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 CONTRADCCN,
CONTNGENCA, o, SUBCONTRARAS
Proposiciones contradictorias
Dos proposiciones son CONTRADCTORAS 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.
EjempIo 1
Las proposiciones
P: todos los jueces son abogados
Q: algunos jueces no son abogados
Son contradictorias porque son opuestas tanto en cantidad como en cuaIidad. La
proposicin P es universal afirmativa, mientras que la proposicin Q es particular negativa.
EjempIo 2
Las siguientes proposiciones tambin son contradictorias.
P: algunos nmeros reales son negativos. Es particular afirmativa
Q: todos los nmeros reales son negativos. Es universal negativa.
En este caso son opuestas en cantidad y en cualidad.
Otra forma de identificar las proposiciones contrarias, es cuando la verdad de una
proposicin implica la falsedad de la otra.
**************************************************************************
/.
EjempIo 3
P: -3 es mayor que -1
Q: -1 es mayor que -3.
Son contradictorias porque la proposicin P es falsa y esto implica que la proposicin Q
sea verdadera.
EjempIo 4
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.
Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo contrario.
Proposiciones Contradictorias y Contrarias
Es importante aclarar la diferencia entre proposiciones contradictorias y proposiciones
contrarias.
Proposiciones contrarias(
Se dice que dos proposiciones son CONTRARAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
EjempIo 5
Considerando las proposiciones
P: Paola es mayor que Anglica
Q: Anglica es mayor que Paola
nicialmente se podra pensar que son contradictorias, es decir, que si P es verdadera, Q
sera falsa, y consecuentemente, si P es falsa, entonces Q sera verdadera, pero al
considerar el hecho de que Paola y Anglica tengan la misma edad, ambas proposiciones
seran falsas, por lo tanto no seran contradictorias, y en este caso se llamaran
contrarias, debido a que ambas no pueden ser verdaderas pero s falsas.
En forma general se puede decir que dos proposiciones universales que tienen los mismos
sujetos y predicados pero difieren en cualidad son contrarias.
//
El siguiente ejemplo muestra claramente la diferencia entre las proposiciones
contradictorias y contrarias.
/2e$+'o 6
Dadas las proposiciones:
P: todos los nmeros enteros son positivos
Q: algunos enteros son positivos
R: todos los enteros son negativos
Se puede afirmar que las proposiciones P y Q son contradictorias porque una es la
negacin de la otra (en este caso P es falsa mientras que Q es verdadera). Y las
proposiciones P y R son contrarias ya que ambas no pueden se verdaderas pero si son
ambas falsas.
------------------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
CONTNGENTE.
EjempIo 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)
EjempIo 2
Q: todos los cuadrados son rectngulos
No necesariamente es falsa porque el cuadrado es un tipo de rectngulo, ni es
necesariamente verdadera porque no todos los cuadrados son rectngulos
**************************************************************************
/0
Proposiciones #ubcontrarias
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pero s ambas verdaderas
EjempIo 1
Las proposiciones
P: algunos enteros son positivos
Q: algunos enteros son negativos
Son subcontrarias debido a que ambas son verdaderas.
------ Ia CIave----
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
EjempIo 2
P* algunos ingenieros de sistemas son matem$ticos
+* algunos ingenieros de sistemas no son matem$ticos
Las proposiciones P y Q pueden ser las dos verdaderas, pero no pueden ser las dos
falsas, por lo tanto se dice que son subcontrarias.
------------------Nemotectnia-----------------
contrarias = ambas pueden ser falsas
subcontrarias = ambas pueden ser verdaderas
contradictorias = cuando una es verdadera necesariamente la otra es falsa y
viceversa.
/1
Leccin No.9 SmboIoga Leccin No.9 SmboIoga
#imbolog!a y diagramas para proposiciones categricas
Como la interpretacin de las proposiciones categricas depende fundamentalmente de la
nocin de una cIase vaca, se utiliza el cero (0) para representar este hecho y para
simbolizar que la clase determinada por S no tiene miembros, se utiliza la ecuacin S = 0.
Cuando se afirma que la clase S si tiene eIementos, equivale a negar que S es vaca, por
lo tanto su representacin simblica es S 0.
Las proposiciones categricas se pueden representar grficamente diagramando las
clases a las que pertenecen, de tal forma que el diagrama es de una clase, no de una
proposicin, para realizar esta representacin se utiliza un crculo marcado con el trmino
que designa la clase, por ejemplo la clase S s grafica as:

CIase S
Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se
sombrea todo el crculo que representa S, lo cual indica que no contiene nada, que es
vaca, y, para graficar la proposicin que existen S, que se interpreta en el sentido de que
hay por lo menos un miembro de la clase S, se coloca una x en cualquier parte en el
interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no
est vaco.
**************************************************************************
00
#
A continuacin se representa grficamente las proposiciones "No hay S y "Hay S.
Se puede observar que el crculo que representa la clase S tambin representar la clase
de su complemento, S, es decir, si en el interior del crculo se representa a todos los
miembros de S, entonces, su exterior representar todos los miembros que no estn en S,
por lo tanto estn en S.
Representacin de una proposicin categrica:
Para representar una proposicin categrica en forma estndar se necesitan dos crculos
intersecados. Si S y P representan los sujetos y predicados de la proposicin, entonces su
representacin es:

La figura representa las dos clases S y P, pero no diagrama alguna proposicin de ellas,
no afirma ni niega que una de las dos o las dos clases tengan miembros. La parte del
crculo S que esta fuera de P representa todos los S que no son P, lo cual se identificar
como el producto de las clases S y P (SP); la parte comn de los dos crculos
representa la interseccin o producto de las dos clases SP; la parte del crculo P que esta
fuera de S representa a todos los P que no estn en S (por lo tanto estn en S ), es decir,
el producto SP, y la parte externa a los dos crculos representa todas las proposiciones
que no estn en S ni en P, lo cual corresponde a la cuarta clase SP.
Lo anterior permite representar la figura No. 3 de la siguiente manera:

01

P
S
CIases S y P
SP
SP
SP
SP

P
S
cIases S y P
Leccin No.10 diagramas para proposiciones categricas Leccin No.10 diagramas para proposiciones categricas
Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se
inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los
casos:
Todo S es P, simbolizada por SP = 0, su representacin grfica es:
Ningn S es 7, o, Ningn 7 es S sim4olizadas .or S7 8 ! ) 7S 8 !,
res.ectivamente, la re.resentaci/n gr$%ica en am4os casos es*
**************************************************************************
0%
#P ; 0
Todo S es P

P S
S
P
U
:ing,n # es P, o,
:ing,n P es #
SP = 0 y PS = 0,
%lg,n # es P, simboli<ada por #P 0, su representacin grfica es(

AIgn S no es P, simbolizada por SP 0, su representacin grfica es:
03
S
P
U
AIgn S es P o
AIgn P es S
SP 0 ; PS 0 ;
x
S
P
U
AIgn S no es P
SP 0
x
En el caso AIgn P no es S, simbolizada por PS 0, su representacin grfica es:
Las siguientes son aIgunas observaciones acerca de Ias representaciones grficas
reaIizadas:
1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones,
representa clases pero no representa ninguna proposicin.
2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no
tiene miembros).
3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha
sido sombreada o en la que se ha insertado una x.
4. Los diagramas de Venn constituyen una representacin de las proposiciones
categricas en forma estndar, en las cuales las inclusiones y exclusiones
espaciales corresponden a inclusiones y exclusiones no espaciales de clases.
5. Proporcionan un mtodo claro de notacin y se constituyen en la base del mtodo
ms simple y directo para probar la validez de los silogismos categricos (Ver
siguiente captulo).
**************************************************************************
0,
S
P
U
AIgn P no es S
PS 0
x
0-
CaptuIo
3
3
Deduccin e Induccin
(G v H) (J ^ K)
G / J
_________________________________
G v H 2, Ad.
J ^ K 1,3, M. P
J 4, Simp.

Leccin No.11 Deduccin vs Insuccin Leccin No.11 Deduccin vs Insuccin
'educcin
OBJETIVOS ESPECFICOS
1. nferir una conclusin a partir de dos o ms premisas
2. Utilizar las reglas de inferencia para establecer la validez o invalidez de un argumento.
OBJETIVO GENERAL
Utilizar el mtodo deductivo como una forma de razonamiento mediante el cual se puede
establecer un principio general a partir de casos particulares.
OBJETIVOS
1. dentificar y clasificar las proposiciones categricas de un argumento
2. Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar.
3. Establecer el tipo de oposicin que se puede presentar entre dos proposiciones
categricas
4. Representar grficamente proposiciones categricas de forma estndar
**************************************************************************
0.
INTRODUCCIN
Razonar es un proceso por el cual se establece una conclusin basada en una o ms
proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto
de partida del proceso. Si la conclusin es correcta significa que las premisas contienen la
informacin necesaria y suficiente para establecer la conclusin y por lo tanto se puede
afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto.
Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del
pensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiendo as la
comunicacin con el exterior.
Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pensamiento,
por lo cual no es difcil comprender que hay varias formas de pensamientos, ms an,
existen varias formas de razonar, deductivamente o inductivamente. Cuando se hace un
estudio lgico del razonamiento, es conveniente tener presente algn modelo con el que
puedan compararse algunas otras especies de razonamiento; la tarea del lgico es
explicar las diferencias entre un cierto modo de razonar y el modelo escogido, el modelo
que habitualmente se adopta consciente o inconscientemente para comparar con l todas
las otras clases de razonamiento, es la deduccin simple, en la cual se pueden identificar
las premisas y una conclusin y se puede formular una regla segn la cual, la conclusin
se sigue de las premisas.
En el presente captulo se estudiar el mtodo deductivo, este se puede definir como el
proceso del pensamiento mediante el cual con base en experiencias, se establece un
principio general, el que tendr validez no slo para los casos observados, sino tambin
para todos los de su especie.
0/
EI mtodo cientfico
El mtodo cientfico consiste en el conjunto de procedimientos para obtener un
conocimiento que sea universal y, en principio, reproducible por cualquiera.
Desde los inicios de la Modernidad, el conocimiento cientfico en las ciencias naturales y
exactas ha estado ligado a la observacin sistemtica y a la formulacin de dicha
observacin mediante ecuaciones matemticas, la llamada matematizacin de la ciencia,
que garantiza tanto su explicacin como su factibilidad.
Desde el punto de vista de los positivistas, el primer paso en cualquier investigacin es la
observacin, una vez que se ejecuta la observacin, surgen una o ms preguntas,
generadas por la curiosidad del observador, luego, el observador, mediante razonamiento
inductivo, trata de dar una o ms respuestas lgicas a las preguntas, cada solucin
tentativa preliminar a estas preguntas, son las hiptesis. Despus de que ha enunciado
una o ms hiptesis, o explicaciones propuestas, el investigador elabora una o ms
predicciones, las cuales deben ser consistentes con las observaciones e hiptesis. Para
hacer esto, el investigador usa el razonamiento deductivo. Enseguida, las predicciones son
sometidas a pruebas sistemticas para comprobar su ocurrencia en el futuro. Estas
comprobaciones en conjunto reciben el nombre de experimentacin. Cundo la hiptesis
se verifica, entonces se procesa la declaracin final, que en ciencias se llama teora que
solo es vlida para un tiempo y un lugar determinados. Si la teora se verificara como
verdadera en todo tiempo y lugar, entonces es considerada como ley.
Cosa distinta es la ciencia social. Aqu la reproducibilidad y la explicacin son dbiles o
imposibles. En ellas se trata, no tanto de explicar como de comprender, en cuanto lo que
se hace es una lectura de sistemas simblicos, que son susceptibles de distintas
interprepataciones, tanto desde las caractersticas mismas del cientfico, como de la poca
en la cual l est haciendo su trabajo.
Karl Popper, en la lgica del conocimiento cientfico, discuti con los positivistas sobre el
carcter de la observacin y el modelo inductivo de la ciencia. En efecto, aquellos
pensaban que la ciencia comienza con la observacin y de all se hace una induccin para
obtener una ley general. Popper, en cambio, seala que la ciencia comienza con una
hiptesis que debe intentar falsarse (de ah que su teora se llame el falsacionismo), es
decir, refutarse.
En la ciencia no se trata tanto de verificar como de que las teoras resistan los intentos de
ser refutadas. Y para ello las teoras cientficas deben ser escritas en encunciados
universales, que pueden refutarse mediante contraejemplo, y no de enunciados
existenciales. Hagamos una ilustracin; de la observacin de los cuervos, alguien puede
afirmar que existen cuervos negros. Pero ese enunciado no es falsable. En Cambio si
**************************************************************************
00
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.
BibIiografa:
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 nvestigacin Cientfica. Tecnos, Madrid, 1962
___________. La Miseria del Historicismo. Tecnos, Madrid, 1975.
01
Leccin No.12 SiIogismos categricos Leccin No.12 SiIogismos categricos
#ilogismos categricos
Un siIogismo es un argumento deductivo en el que se infiere una conclusin a partir de
dos premisas. Un silogismo categrico es un argumento deductivo consistente en tres
proposiciones categricas que contienen exactamente tres trminos, cada uno de los
cuales slo aparece en dos de las proposiciones que lo constituyen. Dos de las
proposiciones reciben el nombre de premisas y la otra se llama conclusin.
Forma estndar de un siIogismo categrico
Se dice que un silogismo categrico est en forma estndar cuando satisface las
siguientes condiciones:
1. Las premisas y conclusin son proposiciones categricas que conservan el
siguiente orden:
1. Ia premisa mayor se enuncia primero, Iuego
2. Ia premisa menor y
3. aI finaI Ia concIusin.
2. La conclusin de un silogismo de forma estndar es una proposicin de forma
estndar que contiene dos de los tres trminos del silogismo.
3. La premisa mayor es aquella que contiene el trmino mayor y este es el que
aparece como predicado de la conclusin.
4. La premisa menor es aquella que contiene el trmino menor, que es el
correspondiente al sujeto de la conclusin.
5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
**************************************************************************
10
EjempIo 1
Dadas las premisas:
Ningn h9roe es co4arde
Algunos soldados son co4ardes
Y la conclusin: .or lo tanto, algunos soldados no son h9roes
Se puede observar claramente que el argumento deductivo es un silogismo categrico
porque consiste en tres proposiciones categricas (dos premisas y una conclusin) que
contienen exactamente tres trminos (hroe, cobarde y soldado).
Para saber si el silogismo categrico est en forma estndar, es necesario identificar el
trmino mayor, el trmino menor, premisa mayor, premisa menor y analizar la conclusin.
En este caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y
por consiguiente la premisa mayor es: ningn hroe es cobarde; el sujeto de la
conclusin es soIdado que es el trmino menor, por lo tanto la premisa menor es:
aIgunos soIdados son cobardes, adems, la conclusin tiene dos de los tres trminos
del silogismo: soIdados y hroes, los trminos mayor y menor aparecen, cada uno, en
una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de
silogismo categrico en forma estndar, tambin aparece el trmino cobardes el cual se
denomina trmino medio.
EjempIo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar s esta en forma estndar.
Ningn 4arco de guerra es un nav,o comercial, as,, ningn su4marino
nuclear es un nav,o comercial, .uesto que todos los su4marinos nucleares
son 4arcos de guerra5
Como el argumento deductivo est formado por tres proposiciones categricas que
contienen exactamente los tres trminos: submarino nuclear, navo comercial y barcos de
guerra, se puede afirmar que se trata de un silogismo categrico.
La conclusin se identifica como la proposicin:
ningn submarino nucIear es un navo comerciaI.
Y las premisas como las proposiciones:
ningn barco de guerra es un navo comerciaI y
todos Ios submarinos nucIeares son barcos de guerra.

11
El predicado de la conclusin es el trmino navo comerciaI, el cual se constituye en el
trmino mayor y por consiguiente la premisa mayor es, ningn barco de guerra es un
navo comerciaI.
El sujeto de la conclusin es submarino nucIear, el cual se constituye en el trmino
menor y por consiguiente la premisa menor es, todos Ios submarinos nucIeares son
barcos de guerra.
El anlisis anterior permite afirmar que es un silogismo categrico en forma estndar el
cual se puede escribir as:
Premisa mayor: Ningn barco de guerra es un navo comercial
Premisa menor: Todos los submarinos nucleares son barcos de guerra
ConcIusin: Ningn submarino nuclear es un navo comercial
Agradecimientos al estudiante #arlos Arturo Serrano5
EjempIo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer
la naturaleza del silogismo y verificar si est en forma estndar.
+odos los sat9lites arti%iciales son descu4rimientos cient,%icos im.ortantes;
.or lo tanto, algunos descu4rimientos cient,%icos im.ortantes no son inventos
norteamericanos .uesto que algunos sat9lites arti%iciales no son
norteamericanos5
El argumento deductivo est formado por tres proposiciones categricas que contienen los
trminos: satlites artificiales, descubrimientos cientficos, inventos norteamericanos, por lo
tanto se puede afirmar que se trata de un silogismo categrico.
Las premisas son:
Todos los satlites artificiales son descubrimientos cientficos importantes, algunos
satlites artificiales no son norteamericanos.
La concIusin es:
Algunos descubrimientos cientficos importantes no son inventos norteamericanos.
0l .redicado de la conclusi/n es el trmino invento norteamericano, el cual se constituye
en el trmino mayor y por consiguiente, la premisa mayor es, algunos satlites artificiales
no son norteamericanos.
0l su-eto de la conclusi/n es descubrimientos cientficos, el cual se constituye en el
trmino menor y por consiguiente la premisa menor es, todos los satlites artificiales son
descubrimientos cientficos.
**************************************************************************
1%
Teniendo en cuenta el anlisis anterior, se puede afirmar que es un silogismo categrico
en forma estndar, el cual se puede escribir as.
Premisa mayor: algunos satlites artificiales no son norteamericanos
Premisa menor: todos los satlites artificiales son descubrimientos cientficos
Conclusin: algunos descubrimientos cientficos importantes no son inventos
norteamericanos.
-------------------------------------------- Nemotecnia ----------------------------------
Forma Estndar de un siIogismo categrico
#ig5e el sig5iente protocolo y lograr7s el o8etivo....no olvides divertirte:
1. "dentifica los tres t9r)inos
%. #epara las pre)isas de la concl5si:n
3. Anali;a la concl5si:n oteniendo de esta el #58eto y el <redicado
,. "dentifica la pre)isa &ayor( y la pre)isa )enor
-. "dentifica el t9r)ino )edio.
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
La concIusin: -Contiene 2 de Ios 3 trminos de Ia siguiente manera:
Para identificar cuaI es Ia premisa mayor busca eI predicado de Ia
concIusin y observa en cuaI de Ias dos premisas aparece este.
Trmino Mayor Predicado de la conclusin
Trmino menor Sujeto de la conclusin
13
alide< de un argumento
%rgumento deductivo
Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para
la verdad de la conclusin, se llama argumento deductivo.
Consiste en deducir su conclusin a partir de sus premisas, mediante una serie de
argumentos elementales, cada uno de los cuales se conoce y acepta como vlido
%rgumento lido
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.
VaIidez o invaIidez de un argumento
Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el
hecho de que stas son caractersticas puramente formales de los argumentos, es decir,
que dos argumentos que tienen exactamente la misma forma; son vlidos o invlidos,
independientemente de las diferencias del tema que traten.
Especficamente, para probar la invalidez de un argumento, basta con formular otro
argumento que tenga exactamente la misma forma y tenga premisas verdaderas y
conclusin falsa
En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de
tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que
aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un
mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir
su conclusin a partir de sus premisas, mediante una serie de argumentos elementales,
cada uno de los cuales se conoce y acepta como vlido, este proceso es el que se
denomina mtodo deductivo.
Prueba formal de valide<
Se define una prueba formaI que un argumento determinado es vlido, como una
sucesin de enunciados, cada uno de los cuales, o es una premisa del razonamiento
dado, o, se deduce de los enunciados precedentes mediante un argumento vlido
elemental, de tal forma que el ltimo enunciado o proposicin constituye la conclusin del
argumento cuya validez se quiere demostrar.
Se define un argumento vIido eIementaI, como un argumento que se puede interpretar
como el proceso de sustituir enunciados o proposiciones en lugar de variables
enunciativas.
**************************************************************************
1,
Prueba de invalide<
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.

EjempIo 1
Probar la invalidez del siguiente argumento por el mtodo de asignar valores de verdad.
1. f r
%. p r
3. f p
Para probar que este argumento es invlido sin tener que construir una tabla de verdad
completa, es necesario tener claro que un condicional es falso solamente si su
antecedente es verdadero y su consecuente falso, utilizando este hecho se procede a
asignar valores de verdad a las proposiciones de la conclusin, es decir, si F es verdadero
y P es falso, entonces, la conclusin es falsa. Si a la proposicin R se le asigna el valor
verdadero, ambas premisas se convierten en verdaderas, porque un condicional es
verdadero siempre que su consecuente sea verdadero. Lo anterior permite afirmar que si a
las proposiciones F y R se les asigna un valor verdadero y a la proposicin P un valor
falso, entonces el argumento tendr premisas verdaderas y una conclusin falsa, con lo
cual queda probado que el argumento es invlido.
Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verdad
del argumento indicado, la relacin se puede observar ms claramente cuando los valores
de verdad se escriben horizontalmente, de la siguiente forma:
-------- Nemotecnia------
PREMISAS VERDADERAS CONCLUSIN
FALSA
f r p
f r p r f p
verdader
o
verdader
o
fals
o
verdadero verdadero falso
1-
%rgumento $nvalido
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.
EjempIo 2.
Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el
curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y
si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente, entonces
estudia mucho. Luego, Sandra aprobar el curso.
Tomando el siguiente lenguaje simblico
I: Sandra es inteligente
S: Sandra estudia mucho
G: Sandra sacar buenas calificaciones
P: Sandra aprobar el curso
A: los esfuerzos de Sandra sern apreciados
Se pueden establecer las siguientes premisas:
1. (i s) (g p)
%. [(s i) t ] [t p]
3. i s
,. p
Este argumento es invlido porque con cualquiera de las siguientes asignaciones de
valores de verdad la conclusin P es falsa.
i s g t p i s g t p
________________________ _______________________
F F V F F F F F F F
**************************************************************************
1.
EjempIo 3
Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la inflacin
contina, entonces si las tasas de inters permanecen altas, descender la actividad
comercial. Si las tasas de inters permanecen altas, entonces si la actividad comercial
decrece, el desempleo aumenta. As, si el desempleo aumenta, continuar la inflacin.
Tomando el siguiente lenguaje simblico:
P: la inflacin contina
Q: las tasas de inters permanecen altas
R: descender la actividad comercial
S: el desempleo aumenta
Se pueden establecer las siguientes premisas:
1. p q
2. p (q r)
3. q (r s) / s p
Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las
premisas verdaderas pero la conclusin falsa:

p q r s P q P (q r) q (r s) S p
F F F V V V V F
Inconsistencia
En algunos casos no se puede dar ninguna asignacin de valores de verdad a los
enunciados de un argumento que hagan verdaderas sus premisas y falsa su conclusin,
entonces, en este caso el argumento debe ser vlido.
1/
Leccin No.13 Inferencias Lgicas Leccin No.13 Inferencias Lgicas
$nferencias 3gicas
Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como
razonamiento y demostracin.
Razonamiento es el proceso que se realiza para obtener una demostracin.
Demostracin es el encadenamiento de proposiciones que permiten obtener otra
proposicin, llamada conclusin, a partir de ciertas proposiciones iniciales supuestas como
verdaderas, que reciben el nombre de premisas. En la seccin
se har un anlisis ms detallado de la demostracin.
Las inferencias Igicas: son las conclusiones que se pueden obtener despus de realizar
un razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes
condiciones:
1. Las premisas deben ser verdaderas.
2. Durante el proceso de deduccin las premisas deben relacionarse sujetas a las
leyes de la lgica.
As, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisas), y
aplicando las leyes de la lgica a esas premisas, se denomina concIusin.
A continuacin se plantean algunas reglas de inferencia, se propone al estudiante, como
ejercicio, probar su validez utilizando las tablas de verdad:
------ La cIave --------
PONENS = PONER TOLLENS = SACAR = NEGAR
**************************************************************************
10
RegIas 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:
=odus Ponens -=* P.
[ ( p q ) p ] q
Cmo interpretar esta ley?, observa el siguiente ejemplo:
Daniel escucha la siguiente afirmacin "Si IIueve hace fro"
En la siguiente "escena, Daniel observa llover, es decir "IIueve"
Qu puede concluir Daniel? Que har fro, es decir "hace fro"
Para obtener tan "obvia conclusin, Daniel ha utilizado la ms comn de las
inferencias lgicas, la cual denominaremos MPP Modus Ponendo Ponens.
En este ejemplo, las proposiciones simples son:
p = llueve
q = hace fro
Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simblico as:
11
Modus Ponens (M. P)
1-Si IIueve hace fro
2-IIueve
3-Iuego Hace fro
/2e$+'o3
p q = Si llueve hace fro
As que nuestro ejemplo puede ser representado en el lenguaje simblico de la
siguiente manera:
p q Se lee : si p entonces q
p Se lee : ocurre p
q Se lee : de donde q
El smbolo (de donde) representa la conclusin de las premisas dadas; es decir
que la conclusin, en este caso, es la proposicin q
Ahora ya estamos listos para interpretar la regla de inferencia tal y como nos fue
presentada en un comienzo, esto es:
[ ( p q ) p ] q
Cmo leer la regla de inferencia?
p q Si p entonces q
p y p (y se da p, y ocurre p)
q Entonces q (en conclusin q)
Es decir que [ ( p q ) p ] q puede ser ledo como "Si p entonces q y se ocurre p,
Iuego ocurre 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?
TabIa de verdad para Ia inferencia Igica MPP:
p q
p q ( p q ) p [ ( p q ) p ] q
F F V F V
F V V F V
V F F F V
V V V V V
**************************************************************************
100
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:
--------------------------------------------------------------------------------------------------------------
=odus 8ollens -=* 8.
q Se lee : ocurre ~q
p Se lee : de donde ~p
--------------------------------------------------------------------------------------------------------------
#ilogismo 2ipot1tico -#( 2.
q r Se lee : si q entonces r
p r Se lee : de donde
si p entonces r
--------------------------------------------------------------------------------------------------------------
#ilogismo disyuntivo -#* '.
P v q
p
q
--------------------------------------------------------------------------------------------------------------
'ilema constructivo -'*C.
(p q) (r s)
p v r
q v s
-------------------------------------------------------------------------------------------------------------
101
Modus ToIIens (M. T)
Si IIueve hace fro
no hace fro
Iuego no IIovi
SiIogismo Hipottico (S: H)
Si IIueve hace fro
Si hace fro IIevo un abrigo
Iuego si IIueve IIevo un abrigo
SiIogismo disyuntivo (S. D)
Cae Cara o SeIIo
No cay seIIo
Iuego cay cara.
DiIema constructivo (D.C)
Si estudio aprendo y si duermo
descanso.
Estudi o dorm.
Luego Aprend o descans4
/2e$+'o3
/2e$+'o3
/2e$+'o3
%bsorcin -%bs.
p q
p (q p)
--------------------------------------------------------------------------------------------------------------
#implificacin -#imp*.
p q
p
--------------------------------------------------------------------------------------------------------------
Conjuncin -Conj.
p
q
p q
--------------------------------------------------------------------------------------------------------------
%dicin -%d*.
p
p v q
--------------------------------------------------------------------------------------------------------------
**************************************************************************
10%
Absorcin (Abs.)
Si estudio aprendo
Estudio, Iuego aprendo y estudio
SimpIificacin (Simp.)
Estudio y aprendo
Luego, estudio
Conjuncin (Conj.)
Estudio
Trabajo
Luego, etudio y trabajo
Adicin (Ad.)
Estudio
Luego, etudio trabajo
A continuacin se estudian ms afondo las cuatro reglas de inferencia ms comunes, las
cuales corresponden a los argumentos elementales y cuya validez se puede establecer
por medio de las tablas de verdad:
Modus Ponendo Ponens (MPP)
[ ( p q ) p ] q
Modus ToIIendo ToIIens ( MTT )
[ ( p q ) ~ q ] ~ p
Modus ToIIendo Ponens ( MTP)
[ ( p v q ) ~ p ] q o
[ ( p v q ) ~ q ] p
SiIogismo Hipottico ( SH )
[ ( p q ) ( q r ) ] ( p r)
103
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:
[ ( p q ) p ] q
EjempIo 1.
Premisa 1: Si Julin estudia ngeniera de sistemas a distancia, entonces l estudia en la
UNAD.
Premisa 2: Julin estudia ngeniera de sistemas a distancia.
ConcIusin: Julin estudia en la UNAD.
Simblicamente, el ejemplo 1 se expresa as:
Si
p: Julin estudia ngeniera de Sistemas a Distancia
q: l estudia en la UNAD.
Procedemos ahora a utilizar el lenguaje simblico definido, as:
Premisa 1: p q
Premisa 2: p
Conclusin: q
EjempIo 2.
Premisa 1: Si x + y = z, entonces, y + x = z.
Premisa 2: x + y = z
ConcIusin: y + x = z
Simblicamente, si p: x + y = z
q: y + x = z
Entonces: Premisa 1: p q
Premisa 2: p
Conclusin: q
EjempIo 3.
Premisa 1: ~ p s
Premisa 2: ~ p
ConcIusin: s
Ejemplo 4.
Premisa 1: ~ r ~ t s
Premisa 2 : ~ r
ConcIusin: ~ t s
**************************************************************************
10,
Modus ToIIendo ToIIens ( MTT )
Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es
falso, entonces su antecedente ser necesariamente falso; simblicamente se expresa as:
[ ( p q ) ~ q ] ~ p
EjempIo 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.
ConcIusin: 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
EjempIo 2
Deducir una conclusin del siguiente conjunto de premisas.
Premisa 1: q ~ r
Premisa 2: ~ (~ r)
ConcIusin: ~ q.
EjempIo 3.
Premisa 1: p v q r
Premisa 2: ~ r
ConcIusin: ~ (p v q) ~ p ~ q D' Morgan.
EjempIo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ b
Premisa 2: a b
Premisa 3: ~ a c. Demostrar c.
Premisa 4: De la premisa 2 y de la premisa 1, [(a b) ~ b] se puede
concluir ~a por el MTT.
Premisa 5. De las premisas 3 y 4, [(~ a c) ~ a] se puede concluir la
proposicin c por el MPP.
10-
Modus ToIIendo Ponens ( MTP)
Esta ley se enuncia as:
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces
necesariamente la otra proposicin ser verdadera. Simblicamente se escribe as:
[ ( p v q ) ~ p ] q o [ ( p v q ) ~ q ] p
EjempIo 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
ConcIusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~ p
Conclusin: Q.
EjempIo 2
Premisa 1: ~ q v r
Premisa 2: ~ r
ConcIusin: ~ q
EjempIo 3
Premisa 1: (s t ) v r
Premisa 2: ~ ( s t)
ConcIusin: r
EjempIo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ q v s
Premisa 2: ~ s
Premisa 3. ~ (r s) q. Demostrar: r s
Premisa 4: De las premisas 1 y 2 se puede concluir ~ q por MTP
Premisa 5: De las premisas 3 y 4 se puede concluir ~ (~ (r s)) por MTT, que es
equivalente a r s por la ley de la doble negacin.
**************************************************************************
10.
SiIogismo Hipottico ( SH )
Es un argumento que se expresa simblicamente as:
[ ( p q ) ( q r ) ] ( p r)
EjempIo 1.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.
Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de volumen.
ConcIusin. Si el agua se hiela, entonces el agua aumenta de volumen.
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
EjempIo 2
Premisa 1. q ~ p
Premisa 2. ~ p r
ConcIusin. q r
EjempIo 3
Premisa 1. s v t r v q
Premisa 2. r v q ~ p
ConcIusin. s v t ~ p
EjempIo 4.
A partir de las premisas dadas indicar la demostracin de la conclusin.
Premisa 1: ~ r
Premisa 2: ~ p q
Premisa 3: q r Demostrar p
Premisa 4: De las premisas 2 y 3 se concluye ~ p r por SH
Premisa 5: De las premisas 1 y 5 se concluye p por MTT.
10/
/2e$+'o# de a+'iai%n de 'a# 'eye# de in5e"enia3
EjempIo 1
En el siguiente ejercicio se propone un ejemplo de construccin de una prueba de validez:
Si gana (loria o :9ctor, entonces .ierden tanto Jorge como ;ell)5 (loria gana5 7or lo
tanto, .ierde Jorge5
Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje simblico
que permita simplificar los enunciados, as:
dentificacin de las premisas:
G = Gloria gana
H = Hctor gana
J = Jorge pierde
K = Kelly pierde
Por lo tanto la prueba de validez ser:
1. (G v H) (J K)
2. G
J (Se lee: de donde J, J es la premisa que
esperamos demostrar).
3. G v H2, Ad. (por Adicin en 2)
Necesitamos llegar a J desde la G, observamos que
para llegar a la J se requiere G v H, como slo tengo
la G, adiciono H. Por lo tanto aplico la ley de Adicin
en la premisa 2, lo que se escribe 2, Ad. (Ad indica
que apliqu la ley de adicin)
,. J K 1,3 M. P
J K es la consecuencia de G v H aplicando la ley de
inferencia MP (Modus Ponendo Ponens) con las
premisas 1 y 3.
-. J 4, Simp. Tenemos J K, pero solo nos intereza la J, por lo
tanto simplificamos. Aplicando la ley de inferencia de
simplificacin en la premisa 4.
**************************************************************************
100
EjempIo 2
Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y el ro
crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia
hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo
camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien
los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error.
Utilizando el siguiente lenguaje simblico:
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
La prueba formal de validez es:
1. C R
%. (C R ) P
3. (C P) S
,. S v E / E
__________________________________
-. C (C R) 1, Abs.
.. C P 5,2, S. H.
/. S 3,6, M. P.
0. E 4,7, D. C.
101
EjempIo 3
Si un hombre se orienta siempre por su sentido del deber, tiene que renunciar al goce de
muchos placeres, y si se gua siempre por su deseo de placer, a menudo olvidar su
deber. O bien un hombre se gua siempre por su sentido del deber, o bien siempre se
orienta por su deseo de placer. Si un hombre se gua siempre por su sentido del deber, no
descuidar a menudo su deber, y si siempre se gua por su deseo de placer, no renunciar
al goce de muchos placeres. Luego, un hombre debe renunciar al goce de muchos
placeres si y slo si no descuida a menudo su deber.
Tomando el siguiente lenguaje formal:
P: se orienta por su sentido del deber
Q: renuncia al goce de placeres
R: se gua por su deseo de placer
S: olvidar su deber
Las premisas quedan as:
1. P Q
2. R S
3. P v R
4. P S
5. R Q / Q S
**************************************************************************
110
EjempIo 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.
Utilizando el siguiente lenguaje formal:
P: un objeto flota en el agua
Q: es menos denso que el agua
R: se puede caminar sobre el agua
S: puede desplazar una cantidad de agua igual a su propio peso.
Las premisas en forma simblica son:
1. (P Q) R
2. R
3. Q S
4. S P / P Q
Demostrar P Q equivale a demostrar que P Q Q P.
____________________________________________
5. P Q Por MPP entre 1 y 2
6. Q P Por S.H entre 3 y 4

111
Leccin No.14 Demostracin directa e indirecta Leccin No.14 Demostracin directa e indirecta
La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es
el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
conclusin o tesis que as se demuestra.
Los principales tipos de demostracin son:
3a 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.
EjempIo 1.
Dadas las premisas: 1. p q
2. r q
ConcIuir : t. p r
Demostracin: Puesto que r q es equivalente a q r, se tiene la premisa
3. q r, ahora, de las premisas 1 y 3 se puede concluir t, es decir,
como p q y q r, entonces, p r.
Ejemplo 2
Demostrar que si x es impar, entonces que x
2
es impar. El enunciado genera las
siguientes premisas:
1. x es impar
%. x = 2n+ 1, donde n es un entero
Hay que demostrar que x
2
= (2n + 1)
2
es impar.
Demostracin:
Si x es impar, entonces x = 2n + 1, entonces x
2
= (2n + 1)
2
= 4n
2
+ 4n + 1, esta
expresin se puede escribir de la forma 2(2n
2
+ 2n) + 1, tomando el trmino 2n
2
+ 2n
como el entero m, se tiene que:
x
2
= (2n + 1)
2
= 2m + 1, es decir , x
2
es un nmero impar.
**************************************************************************
11%
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t
probando que las consecuencias de su contraria son falsas.
EjempIo 1.
Construir la demostracin indirecta de:
Si x
2
es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x
2
es par y x es impar. Por el ejemplo 2
analizado en la demostracin directa, se sabe que si x es impar, entonces x
2
es impar,
luego es imposible que x sea impar y que x
2
sea par. Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.
EjempIo 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:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n),
se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos:
. P(a) es verdadera cuando se sustituye n por a en P(n)
. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir,
P(k) es verdadera, a esta proposicin, se le llama Hiptesis de nduccin.
. Se demuestra que para el siguiente trmino al k-simo, osea k+1, P(k+1) es
verdadera.
113
EjempIo 3.
Demostrar que para todo entero 1, se verifica que: P(n): 1+2+.+n = n (n+1) / 2
. P(1) es verdadera porque : 1 = 1(1 + 1) / 2
. Hiptesis de nduccin: P(k): 1+2+.+k = k (k + 1) / 2 para todo k 1
. Demostrar para el trmino k + 1, es decir, probar que se verifica:
1 + 2 + . + k + k + 1 = (k + 1) (k + 2) / 2.
Por hiptesis de induccin:
1+2+.+k = k (k + 1) / 2 para todo k 1, sumando k + 1 a cada miembro de esta
igualdad se obtiene:
1+2+.+k + k + 1 = k (k + 1) + k + 1 resolviendo la suma
2
= k
2
+ k + 2 k + 2 sumando trminos semejantes
2
= k
2
+ 3 k + 2 factorizando
2
= (k + 1) (k + 2) / 2 lo que se quera demostrar.
**************************************************************************
11,
La demostracin por refutacin
Es el razonamiento que prueba la falsedad de una hiptesis o la inconsecuencia de su
supuesta demostracin; los mtodos de refutacin son la refutacin por contradiccin y la
refutacin por contraejemplo.
La refutacin por contradiccin
Refutar la proposicin <el cuadrado de todo nmero im.ar es un nmero .ar' :
Como todo nmero impar se puede escribir de la forma 2n + 1, donde n es un entero, y
puesto que todo nmero par se puede escribir en la forma 2m, con m un entero, la
proposicin dada implica que:
(2n + 1)
2
= 2m para algn n y algn m
o, 4n
2
+ 4n + 1 = 2m
Se supone que ambos miembros deben representar el mismo entero, pero el miembro de
la izquierda no es divisible por 2, mientras que el de la derecha si es divisible por 2. Esto
es una contradiccin evidente y, por lo tanto, la proposicin dada es falsa.
La refutacin por contraejempIo
Refutar la proposicin <el cuadrado de todo nmero im.ar es .ar'*
Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 5
2
= 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.
11-
Leccin No.15 Argumentos inductivos Leccin No.15 Argumentos inductivos
**************************************************************************
11.
Induccin
Observacin-Experiencia-Probabilidad
La induccin
Objetivo GeneraI
Utilizar el mtodo inductivo para establecer si las premisas que conforman un argumento
son verdaderas, sin tener que demostrar la verdad de la conclusin.
1. dentificar los argumentos analgicos y clasificarlos como probables o no
probables.
2. Evaluar argumentos analgicos.
3. Refutar un argumento por medio de una analoga.
11/
ntroduccin
Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de
la validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer
si las premisas son probables o probablemente verdaderas, sin pretender demostrar la
verdad de sus conclusiones como consecuencia necesaria de las premisas, este tipo de
argumentos recibe el nombre de Argumentos Inductivos.
----observacin y experiencia Ias bases de Ia induccin-----
El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la
experiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudiado en el
captulo anterior) y se basa fundamentalmente en dos aspectos:
1. En la semejanza que hay entre los objetos. ---OBSERVACN---
2. En suponer que un suceso puede volver a ocurrir teniendo en cuenta que en
condiciones similares ha sucedido. ---EXPERENCA-
El primer aspecto hace referencia a la observacin y el segundo en la experiencia.
-----Ia observacin y Ia experiencia nos inducen a una concIusin -------------
La aplicacin o el anlisis de estos dos aspectos permiten inferir o pronosticar los
efectos que producir la ocurrencia del suceso, tomando como referencia lo ocurrido con
eventos anteriores de caractersticas similares.
Argumentos inductivos
EI probIema de Ia induccin:
Una induccin tpica, anaIizada sobre eI modeIo de Ia 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.
**************************************************************************
110
En este caso surge un problema lgico porque segn el mtodo deductivo, los argumentos
de esa forma no son vlidos, de manera que no se puede inferir esa conclusin, ni saber si
es verdadera basada en la verdad de las premisas.
El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicionalmente
"el problema de la induccin las razones de este problema son:
15 #omo la conclusi/n es general, tendr$ una a.licaci/n m$s am.lia de la que
cualquier con-unto de .remisas .ueda garantizar59993% C3%799-3a conclusin es
ms general >ue las premisas.9999
5 3a verdad de la conclusi/n no .uede nunca ser garantizada .or la verdad de las
.remisas .orque siem.re .uede .resentarse un nuevo caso que convierta en %alsa
la conclusi/n5999 3% C3%7999-7n alg,n momento se puede llegar a dar una
premisa falsa.999*
Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo
deductivo, visto como procedimiento de descubrimiento y como procedimiento de
confirmacin.
De los argumentos inductivos el que se usa con mayor frecuencia es el analgico.
111
%rgumento inductivo por analog!a
La analoga es la base de la mayora de los razonamientos que van de la experiencia
pasada a lo que suceder en el futuro.
La mayora de las inferencias cotidianas proceden por analoga.
Ningn argumento por analoga pretende ser matemticamente cierto.
Los argumentos analgicos no se clasifican como vlidos o invlidos, lo nico
que se puede afirmar de ellos es que son probables o no probables.
La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligible por
medio de una comparacin con alguna otra cosa, presumiblemente ms familiar, con la
cual tiene ciertas similitudes.
El uso de analogas en la descripcin y la explicacin no es igual que su uso en la
argumentacin, aunque en algunos casos puede no resultar fcil decidir cul uso se
pretende hacer.
Hacer una anaIoga entre dos o ms entidades es indicar uno o ms aspectos en los que
son similares,
mientras que caracterizar un argumento por anaIoga es en trminos generales,
describir el argumento dado diciendo que contiene premisas que afirman, primero, que dos
cosas son similares en dos aspectos y, segundo, que una de esas cosas tiene una
caracterstica adicional, de lo cual se extrae la conclusin de que la segunda cosa tiene
tambin esa otra caracterstica.
**************************************************************************
1%0
EjempIo 1.
dentifique en el siguiente prrafo el argumento analgico
3os escritores J:=N D=33A>D ) N0A3 05 ?@330>, en su li4ro 7ersonalidad )
.sicotera.ia a%irman*
<:emos dicho que las .ersonas normales tienen .oca motivaci/n .ara dedicar un
es%uerzo es.ecial al estudio de s, mismas5 3o mismo es cierto de la aritm9tica5 Si la
.resi/n de los .adres ) de la escuela no .ro.orcionara una motivaci/n, ha4r,a un
a.rendiza-e escaso de las matem$ticas5 7or analog,a, .arece .osi4le que .ueda
motivarse ) .re.ararse a los niAos .ara usar sus ha4ilidades mentales con el %in de
resolver .ro4lemas emocionales5 0n la actualidad, no reci4en casi ninguna
.re.araci/n .ara el desarrollo de esta im.ortante ca.acidad '5
En este prrafo, el argumento analgico es: Si la presin de los padres y de la escuela no
proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. La
analoga se basa en la semejanza. OBSERVACIN-
EjempIo 2
Si alguien dice que le han extrado una muela sin anestesia y otro le expresa su
consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una respuesta
podra ser: "Yo he ido al odontlogo y s cuanto duele una simple curacin sin anestesia,
cmo ser una extraccin?, l tiene el mismo tipo de sistema nervioso que yo, por lo
tanto puedo inferir que en esas condiciones, sinti un terrible dolor
En este caso el argumento analgico se fundamenta en la EXPERIENCIA, tendiendo en
cuenta que en condiciones similares ya sucedi.
1%1
7valuacin de los argumentos analgicos
Ningn argumento por analoga es deductivamente vlido, en el sentido de que la
conclusin no es consecuencia necesaria de las premisas, lo que se puede establecer es
si sus conclusiones son ms o menos probabIes. Para lograr este propsito es
indispensable fijar algunos criterios que permitan llevar a cabo la evaluacin de
argumentos analgicos, estos son:
Criterios de evaIuacin:
Nmero de entidades entre Ias que se estabIece Ia anaIoga (AnaIoga por
EXPERIENCIA)
Significa que es importante tener en cuenta eI nmero de veces
que ha ocurrido eI suceso, esto da ms consistencia a Ia
concIusin y una mayor probabiIidad de que se repita eI suceso.
EjempIo:
Si un electrodomstico que se compro en un determinado almacn
sali defectuoso, una conclusin apresurada sera afirmar que los
electrodomsticos que se compran en ese almacn salen
defectuosos; pero si esa misma conclusin se hace sobre la base de
que 10 electrodomsticos comprados all han resultado defectuosos,
la conclusin cobra mayor validez y la probabilidad de que siga
ocurriendo lo mismo crece.
Nmero de aspectos en los cuales las cosas involucradas se dice que son
anlogas -- OBSERVACCN---
Este criterio hace referencia a todos los aspectos en que los sucesos
son anlogos, y cuando se encuentra un mayor nmero de
circunstancias o caractersticas de semejanza entre los sucesos,
mayor ser la validez de la conclusin.
Ejemplo:
El hecho de que un par de zapatos nuevo, ha sido comprado en el
mismo almacn que el par viejo, el cual fue muy resistente, es una
premisa de la que se sigue que probablemente el nuevo par ser
tambin resistente. Pero la misma conclusin se sigue con mayor
probabilidad si la premisa afirma no solamente que los zapatos fueron
**************************************************************************
1%%
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.
La fuerza de Ias concIusiones con respecto a sus premisas
La fuerza de Ias concIusiones con respecto a sus premisas.
En este caso el criterio afirma que con premisas iguales se pueden
generar conclusiones diferentes y que su validez no depende de las
premisas sino de la fuerza de la conclusin.
EjempIo:
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.
Refutacin por medio de una anaIoga Igica
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

Se define una analoga refutadora de un argumento dado como un argumento de
exactamente la misma forma o estructura del argumento dado, pero cuyas premisas se
conocen como verdaderas y su conclusin como falsa, as la analoga refutadora resulta
invlida y como el argumento original tiene la misma forma tambin se considera invlido.
1%3
EjempIo 6
El siguiente texto muestra una analoga refutadora.
<0l seAor #li%%ord A5 Brigth a%irma que @srael no es una democracia .orque otorga al
-uda,smo una .osici/n es.ecial dentro de la 3e)5 ">ealmente es as,& 3a 3e)
4rit$nica contra la 4las%emia .rotege solamente a las creencias de los cristianos5
0sas le)es no vician los reclamos 4rit$nicos que es un .a,s democr$tico, aunque se
.uede argCir que en virtud de ellos su democracia es menos .er%ecta5 @srael tiene
su%ragio universal, un sistema multi.artidista ) una .rensa li4re5 7ara todos, menos
.ara los ciegos .artisanos, esto signi%ica que es una democracia'5
-------------------- LA CLAVE -------------------
Observaste como la induccin est relacionada con la probabilidad?
**************************************************************************
1%,
1%-
Unidad
2
2
Igebra BooIeana y
Circuitos Lgicos
2.Unidad 2
O&?78$O @7:7R%3
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.
O&?78$O# 7#P7CAB$CO#
1. Describir la operacin de las compuertas lgicas, mediante sus tablas de verdad.
2. Simplificar circuitos lgicos complejos mediante la aplicacin de las leyes del
lgebra de Boole
3. Simplificar expresiones booleanas mediante el uso de los mapas de Karnaugh
4. Emplear compuertas para implementar el circuito representado por una
expresin booleana
**************************************************************************
1%.
1%/
CaptuIo
1
1
Axiomas deI Igebra
booIeana

6 U v
7 O
= =
AIgebra BooIeana y Circuitos Lgicos
INTRODUCCIN
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
**************************************************************************
1%0
Leccin No.16 VariabIes y constantes BooIeanas Leccin No.16 VariabIes y constantes BooIeanas
VariabIes y constantes booIeanas
Las variables y constantes del lgebra booleana slo pueden tener dos valores: el cero (0)
o el uno (1). Una variable booleana, denominada tambin variable lgica, se emplea para
representar el nivel de voltaje presente en los terminales de entrada y salida de un circuito.
En algunos casos este nivel de voltaje recibe el nombre de "nivel lgico de la variable.
Cuando el nivel del voltaje es bajo (entre 0 y 0.8 voltios) se emplean trminos como faIso,
desactivado, no, interruptor abierto (0). Cuando el nivel lgico es alto (por ejemplo entre
4 y 5 voltios), se emplean trminos como verdadero, activado, si, interruptor cerrado
(1).
El lgebra booleana se utiliza para describir los efectos que producen las entradas lgicas
sobre los diversos circuitos digitales (circuitos lgicos).
1%1
Axiomas deI AIgebra BooIeana
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
Igebra BooIeana, en el cual los smbolos carecen de significado, de tal manera que esta
lgebra puede aplicarse a otras reas.
Para definir este sistema abstracto es conveniente recordar que una operacin binaria es
una funcin que asigna a cada pareja ordenada un solo elemento.
Un lgebra booleana es un sistema algebraico constituido por un conjunto A formado por
elementos a, b, c, .z, dos operaciones binarias simbolizadas por # y * definidas sobre el
conjunto A y una relacin de equivalencia simbolizada por =, tales que, para cualesquiera
elementos a, b y c de A, se verifican las siguientes propiedades o axiomas:
1. Cerradura o cIausurativa:
(a # b) y (a * b) tambin son elementos del conjunto A
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. CompIementacin:
Para cada elemento a que pertenece al conjunto A existe un elemento a' en
A tal que: a # a' = 0 y a * a' = e.
El elemento a' se llama elemento inverso para las operaciones # y *
**************************************************************************
130
Leccin No.17 Igebra BooIeana en sistemas numricos Leccin No.17 Igebra BooIeana en sistemas numricos
AIgebra BooIeana en sistemas numricos
Para este sistema se puede adaptar la siguiente simbologa:
A: El conjunto de los enteros ( Z )
Operaciones binarias: + adicin
* producto
ReIacin de equivaIencia: = iguaIdad
A continuacin se realiza la verificacin de que el conjunto de nmeros enteros ( Z ) es un
lgebra booleana, es decir, que satisface dada una de las siguientes propiedades para
cualesquiera a, b, c y d elementos del conjunto Z.

1. Cerradura: a + b = c y a * b = d
2. Conmutativa: a + b = b + a y a * b = b * a
3. Asociativa: a + (b + c) = (a + b ) + c = (a + c) + b
a * (b * c) = (a * b) * c = ( a * c) * b
4. Distributiva: a + (b * c) = (a + b) * (a + c)
a * (b + c) = (a * b) + (a * c)
5. Identidad: Existen en Z elementos 0 y 1 tales que:
a + 0 = a y a * 1 = a
El 0 y el 1 reciben el nombre de elementos neutros para la adicin y la multiplicacin
respectivamente.
6. CompIementacin: Para cada elemento a que pertenece al conjunto z, existe un
elemento (-a) que tambin pertenece al conjunto de enteros tal que:
a + (-a) = 0, (-a) recibe el nombre de inverso aditivo del elemento a.
Es importante acIarar que Ia operacin binaria deI producto no tiene
inverso muItipIicativo, es decir, no existe un eIemento en Ios enteros taI
que aI muItipIicarIo con otro entero de como resuItado eI eIemento
neutro deI producto (1)
131
AIgebra BooIeana de Ios Conjuntos
Para este sistema se interpreta la simbologa del lgebra booleana as:
A: Todos los subconjuntos del conjunto universal "U
Operaciones binarias: U Unin
O Interseccin
ReIacin de equivaIencia: = IguaIdad
A continuacin se demuestra que el lgebra de conjuntos satisface las propiedades de un
lgebra booleana.
Sean B, C y D subconjuntos del conjunto A
1. Cerradura:
B U C es un subconjunto de A y
B i C es un subconjunto de A
2. Conmutativa:
B U C = C U B y B i C = C i B
3. Asociativa:
(B U C) U D = B U (C U D)
(B i C) i D = B i (C i D).
4. Distributiva:
B U (C i D) = (B U C) i (B U D) y
B i (C U D) = (B i C) U (B i D).
5. Identidad: En el conjunto universal U existen dos conjuntos, el vaco O y el conjunto A,
tales que:
B U A = A y B i 4 = 4.
Los conjuntos O y A se denominan elementos neutros para la interseccin y para la
unin respectivamente.
6. CompIementacin: Para cada subconjunto B del conjunto A, existe un subconjunto B'
que tambin pertenece al conjunto A tal que:
B U B' = A y B i B' = 4. B' se denomina complemento de B.
**************************************************************************
13%
AIgebra BooIeana de Ia Lgica
Para este sistema matemtico la simbologa correspondiente es:
A: El conjunto de todas las proposiciones
Operaciones binarias: v Disyuncin
Conjuncin
ReIacin de equivaIencia:
EIemento neutro: La contradiccin (0) para la disyuncin
La tautologa (1) para la conjuncin
EIemento inverso (a'): La negacin de una proposicin
La demostracin de que la lgica simblica es un lgebra booleana corresponde a la
verificacin de las siguientes propiedades:
Sean p, q y r proposiciones del conjunto A.
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 v p
p q q p
3. Asociativa:
(p v q) v r p v (q v r)
(p q) r p (q r).
4. Distributiva:
p v (q r) (p v q) (p v r)
p (q v r) (p q) v (p r).
5. Identidad: En el conjunto A existe una proposicin que siempre es verdadera, llamada
tautologa y simbolizada por 1, y otra que siempre es negativa, llamada contradiccin y
simbolizada por 0, tales que:
p v 0 p y p 1 p.
La tautologa y la contradiccin corresponden a los elementos neutros de la disyuncin y
de la conjuncin respectivamente.
133
5. CompIementacin: Para cada proposicin p, existe en el conjunto A una
proposicin ~p, llamada la negacin de p, tal que:
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
Usando las propiedades del lgebra Booleana demostrar que:
a + (b * c) = (a + b) * (a + c)
Sugerencia: nicia desde doble negacin a ambos lados de la igualdad.
**************************************************************************
13,
13-
CaptuIo
2
2
Expresiones BooIeanas
f (x, y) = x y + x y' + x' y + x' y'
Leccin No.18 Expresiones BooIeanas y sus propiedades Leccin No.18 Expresiones BooIeanas y sus propiedades
Expresiones BooIeanas
Expresiones BooIeanas y sus propiedades
Una expresin booleana (tambin llamada funcin booleana o funcin lgica) es un
conjunto finito de smbolos (cada uno representa una constante o una variable)
combinados mediante la operacin suma, producto o complementacin.
Si n es el nmero de variables lgicas, entonces el nmero total de funciones lgicas
distintas que se pueden escribir con n variables es 2
2
, por ejemplo para n = 3 (tres
variables lgicas: x, y, z), el nmero de funciones lgicas distintas es de 256.
Para escribir las funciones lgicas se utiliza el smbolo Fi, donde i vara segn el nmero
de funciones lgicas a partir de 0, as por ejemplo, para n = 2 (dos variables lgicas: x, y),
las 16 funciones lgicas se denominan Fi, con i = 0,1,2,3.15.
Otras propiedades o leyes del lgebra booleana empleadas en los procesos de
simplificacin de expresiones booleanas o en la demostracin de teoremas, son:
Ley de idempotencia: x + x = x x . x = x
Ley de acotacin: x + 1 = 1 x . 0 = 0
Ley de absorcin: x + x y = x x (x + y) = x
Ley de invoIucin (x')' = x (0')' = 0 (1')' = 1
Ley D'Morgan (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.
**************************************************************************
13.
Leccin No.19 Forma NormaI Disyuntiva Leccin No.19 Forma NormaI Disyuntiva
Forma NormaI 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.
EjempIos:
x + x' en una variabIe
x. y' en dos variabIes
x. y. z' + x'. y. z + x. y'. z en tres variabIes.
El proceso para llegar a la forma normal disyuntiva de una funcin booleana consiste en:
1. aplicar las leyes D'Morgan, hasta que los complementos aparezcan aplicados
solamente a variables individuales;
2. despus por la aplicacin de la propiedad distributiva del producto respecto a la
suma, la funcin puede ser reducida a un polinomio.
3. Si en algn trmino falta una variable, por ejemplo w, entonces este trmino puede
ser multiplicado por la expresin w + w' sin cambiar la funcin.
EjempIo 1.
Escribir la funcin f (x, y, z) = (x y + y z')' + y' en la forma normal disyuntiva
(x y + y z')' + y' = (x y)' (y z')' + y' Por Ley D'Morgan
= (x' + y') (y' + z) + y' Por D'Morgan e
nvolucin
= (y' + x') (y' + z) + y' Por conmutativa
= y' (y' + z) + x' (y' + z) + y' Por distributiva
= y' + x' (y' + z) + y' Por absorcin
= y' + x' y' + x' z + y' Por distributiva
= y' + y' x' + x' z + y' Por conmutativa
= y' + x' z + y' Por absorcin
= y' + y' + x' z Por asociativa
= y' + x' z Por idempotencia
La expresin se ha reducido a dos trminos; en el primero (y') faltan las variables x z, en
el segundo (x' z) falta la variable y, entonces, como el proceso para llegar a la forma
13/
normal disyuntiva permite multiplicar el primer trmino por la expresin (x + x') (z +z') y el
segundo por (y + y') la expresin queda convertida en:
= 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.
EjempIo 2.
Si f -x, y. ; x y esta en %orma normal dis)untiva en x ) en y, .ero si x * y es multi.licada
.or < C <D, 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.
EjempIo 3.
g (x, y, z) = x' y z + x y z + x' y z' + x y z' est en forma normal disyuntiva en x, y, z,
pero aplicando las leyes del lgebra booleana se tiene que:
g (x, y, z) = x' y z + x y z + x' y z' + x y z'
= y z (x' + x) + y z' ( x' + x)
= y z (1) + y z' (1)
= y z + y z'
= y (z + z')
= y (1)
por lo tanto g (x, y, z) = y que es la forma normal en y.

La forma normal disyuntiva en n-variabIes que tiene 2
n
trminos se llama "forma normal
disyuntiva completa en n-variables y es idnticamente igual a la unidad.
**************************************************************************
130
EjempIo 4.
Para el caso de dos variables (n = 2) la forma normal disyuntiva se puede obtener de la
siguiente tabla:
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.
EjempIo 5.
Encontrar y simplificar la funcin booleana descrita en la siguiente tabla:
FiIa 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 2
3
= 8 posibles
combinaciones de 0 y 1 para las variables x, y, z.
x y f (x, y)
1 1 x y
1 0 x y'
0 1 x' y
0 0 x' y'
131
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' + y'z (x + x')
= x y z' + y'z (1)
= x y z' + y'z.
En estos casos, se recomienda usar la forma normal disyuntiva cuando el nmero de unos
(1) es menor que el nmero de ceros (0) en la columna f (x, y, z).
El complemento de una funcin en forma normal disyuntiva contendr exactamente
aquellos trminos de la forma normal disyuntiva que no aparecen en la funcin dada.
EjempIo 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.
**************************************************************************
1,0
Leccin No.20 Forma NormaI Conjuntiva Leccin No.20 Forma NormaI Conjuntiva
Forma NormaI Conjuntiva
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.
Cada trmino se denomina trmino maximaI.
El proceso para obtener la forma normal conjuntiva de una funcin booleana consiste en
1. aplicar las leyes D'Morgan para eliminar los complementos de los parntesis,
2. despus la funcin es factorizada y
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.
4. El ltimo paso es expresarla en factores y reducir aquellos que sean semejantes.
EjempIo 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.
1,1
EjempIo 2.
La funcin f (x, y) = x + y esta en forma normal conjuntiva en las variables x, y, escribir la
funcin f (x, y) en la forma normal conjuntiva pero en las variables x, y, z.
f (x, y) = x + y
= x + y + z z'
= (x + y + z) (x + y + z')
As f(x, y) qued expresada en forma normal conjuntiva en variables x, y, z.
La forma normal conjuntiva en n-variables que tiene 2
n
trminos se IIama "forma normaI
conjuntiva compIeta en n-variabIes" y su producto es igual a cero.
Por ejemplo, para n = 2 la forma normal conjuntiva completa se obtiene tomando las
variables complementadas.
x = 0 x' = 1 y = 1 y' = 0
y su definicin se puede obtener en la siguiente tabla:
x y f (x, y)
1 1 x' + y
1 0 x' + y'
0 1 x + y
0 0 x + y'
Como el producto de la suma es 0, se tiene que:
(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
**************************************************************************
1,%
EjempIo 3.
Encontrar y simplificar la funcin booleana f (x, y, z) de la tabla.
FiIa 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' + x'x)
= (y + z' + 0)
= y + z'
La forma normal conjuntiva se usa si el nmero de ceros (0) es menor que el nmero de
unos (1) en la columna f.
El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyos
factores son exactamente aquellos de la forma normal conjuntiva, que no aparecen en la
funcin dada, por ejemplo, el complemento de (x + y') (x' + y') es (x' + y) (x + y). El
complemento se puede utilizar para encontrar la forma normal disyuntiva, para cambiar
una funcin de una forma normal a la otra se utiliza el complemento del complemento de la
funcin, es decir, (f ' )' = f.
1,3
EjempIo 4.
Encontrar la forma normal conjuntiva para la funcin
f (x, y, z) = x y z + x' y z + x y' z' + x' y z'
Aplicando el complemento del complemento se tiene:
[f '(x, y, z )]' = [ (x y z + x' y z + x y' z' + x' y z')' ]'
= [(x y z)' (x' y z)' (x y' z') (x' y z')']'
= [(x' + y' + z') (x + y' + z') ( x' + y + z) (x + y' + z)]'
Los trminos que no aparecen en la funcin son:
= (x + y + z) ( x' + y + z) ( x + y' + z') (x' + y + z')
EjempIo 5.
Cambiar la siguiente expresin de la forma normal disyuntiva a la forma normal conjuntiva.
f (x, y, z) = x y z + x y' z' + x' y z' + x' y' z + x' y' z'
Aplicando el complemento se tiene que:
[f ' (x, y, z)]' = [(x y z + x y' z' + x' y z' + x' y' z + x' y' z')']'
Aplicando el complemento del parntesis interno, (los trminos que no aparecen), se tiene:
= [ x' y z + x y' z + x y z']' y por el complemento externo
= (x' y z)' (x y' z)' (x y z')'
= (x + y' + z') (x' + y + z') (x' + y' + z)
EjempIo 6.
Cambiar la siguiente expresin de la forma normal conjuntiva a la forma normal disyuntiva.
f (x, y, z) = [ (y + z') (y' + z) (y' + z')]
Aplicando el complemento se tiene que:
[f ' (x, y, z)]' = { [ (y + z') (y' + z) (y' + z')] ' }'
= { (y + z')' + (y' + z)' + (y' + z')'}'
= {(y' z) + (y z') + (y z)}'
= {y' z + y z' + y z}'
= y' z'
**************************************************************************
1,,
EjempIo 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:
F1 (x, y, z) = (x + y + z') ( x' + y' + z). Ya esta simpIificada
En F2 se utiliza la forma normal disyuntiva porque slo hay dos unos, la expresin
booleana es:
F2 (x, y, z) = x' y' z + x y z'. Ya esta simplificada.
En F3 se puede utilizar cualquiera de las dos formas, debido a que el nmero de ceros y
de unos es igual, la forma normal disyuntiva es:
F3 (x, y, z) = x' y z' + x' y z + x y' z' + x y z'.
= x' y ( z' + z) + x z' ( y' + y)
= x' y (1) + x z' (1)
= x' y + x z'
La forma ms conveniente para F4 es la forma norma conjuntiva
F4 (x, y, z) = (x + y + z) (x' + y + z)
= y + z + x x'
= y + z + 0
= y + z
1,-
**************************************************************************
1,.
CaptuIo
/
/
SimpIificacin de
expresiones BooIeanas
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0
Z = 1
Leccin No.21 Otras tcnicas de simpIificacin Leccin No.21 Otras tcnicas de simpIificacin
SimpIificacin de Expresiones BooIeanas
2.0.1.Mapas de karnaugh de dos variabIes
SimpIificacin de expresiones booIeanas mediante mapas de Karnaugh
Para simplificar enunciados booleanos se utiliza, adems de las leyes de la lgica, los
llamados mapas de Karnaugh o mapas K.
Un diagrama de Karnaugh se puede definir como un diagrama rectangular, con regiones o
casillas arregladas como cuadrados dentro del rectngulo. Los mapas K tienen 2
n
casillas, donde n es el nmero de variables lgicas de la expresin booleana, por ejemplo,
para una funcin de dos variables (A y B), n es igual a 2, luego el mapa de karnaugh es un
rectngulo con cuatro casillas (dos filas y dos columnas) y cada casilla contiene el valor de
la funcin para cada combinacin de los valores de verdad de las variables as:

La funcin lgica anterior se puede escribir de la siguiente manera:
El mapa de Karnaguh correspondiente ser:

El mapa de Karnaguh con los 1's y 0's de la funcin quedan como sigue:
A B Funcin
0 0 1
0 1 0
1 0 1
1 1 1
A B Funcin
~A ~B 1 = ~A ~B
~A B 0 = ~A B
A ~B 1 = A ~B
A B 1 = A B
~A ~B ~A B
A ~B A B
1,/
~B B
&apa de =arna5gh
Para ms de 6 variables los mapas de Karnaugh se hacen demasiado complicados y
pierden su utilidad.
La construccin de un mapa de K se hace con base a la tabla de verdad asociada con la
funcin booleana que se quiere representar, ya sea en forma disyuntiva o conjuntiva.
Las caractersticas fundamentales de los mapas de K, se pueden resumir de la siguiente
forma:
1. Cada casilla se asocia con una fila de la tabla de verdad
%. el nmero binario (1 0) que identifica cada fila de la tabla de verdad se hace
corresponder con las coordenadas binarias que identifican cada casilla del mapa K.
El diagrama se presenta a continuacin:
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'

y
EjempIo 1.
~A
A
~B B
1 0
1 1
x y Funci
n
x' y' 0
x' y 1
x y' 1
x y 1
X'
X
Y' Y
0 1
1 1
1
1 1
**************************************************************************
1,0
Adyacencia
hori;ontal
Adyacencia
>ertical
Escriba en forma normal disyuntiva la funcin booleana descrita en el mapa de Karnaugh y
luego simplifquela.

Recordemos que el mapa
de K representado es
equivalente al mapa:
La funcin coincide con los 1's, es decir con las casillas x' y' y x y':
f (x, y, z) = x' y' + x y'
Simplificando de manera analtica la funcin se obtiene:
= y' (x' + x)
= y'. 1
= y'
Mediante eI mapa de K, no hay que simpIificar anaIticamente, Ia simpIificacin es un
proceso grfico:
x' x
y' 1 1
y 0 0
x' x
y' x' y' x y'
y x' y xy
1,1
Leccin No.22 Mapa de Karnaugh de tres variabIes Leccin No.22 Mapa de Karnaugh de tres variabIes
como se usa eI mapa de karnaugh para simpIificar funciones Igicas?
1) Partimos de Ia tabIa de verdad
En la tabla de verdad de la funcin lgica, nos interesa identificar para que valores de la
funcin, esta es 1, valores que resaltamos a continuacin con crculos, las flechas estn
indicando la funcin lgica correspondiente:
x y f (x, y)
1 1 0
1 0 1
0 1 0
0 0 1
2) De Ia tabIa de verdad pasamos a obtener Ia funcin Igica:
La funcin lgica de esta tabla de verdad es:
f (x, y) = x y' + x' y'
3) De Ia tabIa de verdad pasamos a obtener eI mapa de Karnaugh:
En los recuadros del mapa de k ubicamos los 1's y 0's de la funcin
lgica f (x, y):
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'
X = 0 X = 1
x' x
Y= 0 y' 1 1
Y= 1 y 0 0
**************************************************************************
1-0
x y'
x' y'
4) SimpIificacin usando Ias propiedades de Ios mapas de KARNAUGH:
Se procede a agrupar unos (1's) contiguos horizontaIes o verticaIes mas nunca en
diagonaI:
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'
Observemos como esta simplificacin es equivalente a la simplificacin obtenida usando
las propiedades del 7lgera ooleana.
Otro ejemplo:
1) Si eI mapa de Kargaugh fuera:
Quin define mejor en este caso a los unos? Cul de las siguientes cuatro adyacencias
es la mejor?
Si observas los unos encerrados, podrs ver que x' los define completamente.
x' = 0 x = 1
y' = 0 1 1
y = 1
x' = 0 x = 1
y' = 0 1
y = 1 1
x' = 0 x = 1
y' = 0 1
y = 1 1
1-1
?@
X8
A
?@
?
Leccin No.23 Proceso AIgebraico vs Mapa de K Leccin No.23 Proceso AIgebraico vs Mapa de K
Demostrmoslo usando el lgebra de Boole:
La funcin original sera: f (x, y) = x' y' + x' y
f (x, y) = x' (y' + y) / Factor comn X'
f (x, y) = x' (1) / A' + A = 1
f (x, y) = x' / A' . 1 = A'

Con lo que queda demostrado.
La fila identificada como Y' defini muy bien este par de unos.

Quin define mejor en este caso a Ios unos?
Si observas los unos encerrados, x' no definen completamente toda la funcin, slo define
completamente dos unos.
Para considerar el otro uno podemos tomarlo slo, de la siguiente manera:
La funcin quedara definida por: f (x, y) = x' + x y
Pero si en lugar de tomar un slo uno asociramos dos unos obtendramos:
x' = 0 x = 1
y' = 0 1
y = 1 1 1
x' = 0 x = 1
y' = 0 1
y = 1 1 1
x' = 0 x = 1
y' = 0 1
y = 1 1 1
x' = 0 x = 1
y' = 0 1
y = 1 1 1
**************************************************************************
1-%
La nueva funcin quedara as: f (x, y) = x' + y
Demostrmoslo usando el lgebra de Boole:
1-3
La funcin original sera: f (x, y) = x' y' + x' y + xy
f (x, y) = x' y' + x' y + xy + x' y / A + A = A
f (x, y) = x' (y' + y) + y( x + x' ) / Factor comn X'
f (x, y) = x' (1) + y(1) / A' + A = 1
f (x, y) = x' + y / A' . 1 = A'

Bo)o
c5alC5iera
y lo d5plico
Leccin No.24 Mapa de Karnaugh de tres variabIes Leccin No.24 Mapa de Karnaugh de tres variabIes
Mapas de karnaugh de tres variabIes
Este mapa de k proviene de una funcin de tres variables:
Quin define mejor en este caso a los unos?
Nota: Al hacer los valos no podemos dejar espacios sin unos, es decir, debemos agrupar
unos contiguos.
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.
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0 1 1
Z = 1 1 1 1
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0 1 1
Z = 1 1 1 1
**************************************************************************
1-,
La funcin quedara definida por: f (x, y,z ) = x'y' + x y + xz
DemostrmosIo usando eI Igebra de BooIe:
La funcin original sera: f (x, y,z) = x' y'z' + x' y'z + xyz'+ xyz + xy'z
Simplificando f (x, y,z) = x' y'z' + x' y'z + xyz'+ xyz + xy'z + xyz
f (x, y,z) = x' y'(z' + z) + xy(z'+ z) + xz(y' + y)
f (x, y,z) = x' y'(1) + xy(1) + xz(1)
f (x, y,z) = x' y' + xy + xz
Que es igual a lo que nos ofreca el mapa de KARNAUGH
Oserva que X y Z son las variables que tiene en comn los unos
1--
Bo)o xy9
y lo d5plico
EjempIo 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
El mapa correspondiente es:
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
Ejemplo 3.
Obtener las expresiones booleanas reducidas para los siguientes mapas de Karnaugh:
f (x, y, z) = x y' + x y
= x (y' + y)
= x
x' = 0 x = 1
y' = 0 1
y = 1 1 1
x' = 0 x = 1
y' = 0 1
y = 1 1
**************************************************************************
1-.
Mapas de karnaugh para tres variabIes:
El mapa K para tres variables es un diagrama formado por dos filas y cuatro columnas,
as:
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1).
EjempIo 1.
Encontrar la expresin booleana simplificada cuyo mapa k es:
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
EjempIo 2.
Obtener las expresiones booleanas reducidas para el siguiente mapa de Karnaugh:

La funcin booleana es: f(x, y, z) = x y z' + x y z + x y' z simplificando se tiene:
= x y (z' + z) + x y' z
= x y + x y' z.
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0
Z = 1
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0 1 1
Z = 1 1 1
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' = 0 1
Z = 1 1 1
1-/
Leccin No.25 Mapa de Karnaugh de cuatro variabIes Leccin No.25 Mapa de Karnaugh de cuatro variabIes
Mapas de Karnaugh de cuatro variabIes
El mapa K para funciones booleanas de cuatro variables es un diagrama de cuatro filas
por cuatro columnas, diseada de la siguiente forma:

En este caso pueden ocurrir adyacencias de dos, cuatro, ocho o diecisis unos (1).
Ejemplo 1.
Simplificar la funcin booleana cuyo mapa K asociado es:
La funcin es:
f(x,y,z,w) =x'y'z'w' + x y'z'w' + x'y'zw'+ x y'zw'+x'y z'w+x y z'w+x'y z w + x y z w
= y'z'w' (x' + x) + y'z w' (x' + x) + y z'w (x' + x) + y z w (x' + x)
= y'z'w' + y'z w' + y z'w + y z w
= y'w' (z' + z) + y w (z' + z)
= y'w' + y w
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' W' = 00
Z' W = 01
Z W = 11
Z W' = 10
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' W'= 00 1 1
Z' W= 01 1 1
ZW= 11 1 1
ZW'= 10 1 1
**************************************************************************
1-0
EjempIo 2.
Simplificar la funcin booleana cuyo mapa K asociado es:

f(x, y, z, w) = x'y'z'w' + x'y'z'w + x'y'z w + x'y'z w' + x y'z'w' + x y'z'w + x y'z w + x y'z w'.
Simplificando
= x'y'z' (w' + w) + x'y'z (w + w') + x y'z' (w' + w) + x y'z (w + w')
= x'y'z' + x'y'z + x y'z' + x y'z
= x'y' (z' + z) + x y' (z' + z)
= x'y' + x y'
= y' (x' + x)
= y'
EjempIo 3.
Obtener la expresin booleana reducida para el siguiente mapa K
f(x, y, z, w) = x' y' z' w + x'y'z w + x'y z'w' +x'y z w' + x y z'w' + x y z w' + x y'z'w + x y' z w.
= x' y' w (z' + z) + x' y w' (z + z') + x y w' (z' + z) + x y' w (z' + z)
= x' y' w + x' y w' + x y w' + x y' w
= x' y' w + x y' w + x' y w' + x y w'
= y' w (x' + x) + y w' (x' + x)
= y' w + y w'.
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' W'= 00 1 1
Z' W= 01 1 1
ZW= 11 1 1
ZW'= 10 1 1
X'Y'
00
X'Y
01
XY
11
XY'
10
Z' W'= 00 1 1
Z' W= 01 1 1
ZW= 11 1 1
ZW'= 10 1 1
1-1

**************************************************************************
1.0
P
Q
R
LMPARA
BATERA
+
+
-
-
CaptuIo
0
0
Definicin y
representacin de Ios
circuitos Igicos y
apIicaciones.
Definicin y Representacin de Ios Circuitos Lgicos
O&?78$O @7:7R%3
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
O&?78$O# 7#P7CAB$CO#
1. Describir cada compuerta lgica, mediante su tabla de verdad
2. Simplificar circuitos lgicos mediante la aplicacin de las leyes de lgebra booleana
3. Emplear compuertas para implementar el circuito representado por una expresin
booleana
4. Relacionar los conjuntos, la lgica, el lgebra booleana y las compuertas.
5. A partir de las tablas de verdad elaborar los mapas K y luego disear circuitos
lgicos.
6. Mostrar algunas aplicaciones del lgebra Booleana y su implementacin mediante
circuitos lgicos
1.1
Leccin No.26 Representacin de Ios circuitos Igicos Leccin No.26 Representacin de Ios circuitos Igicos
Representacin de Ios circuitos Lgicos
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.
Los dispositivos formados por conmutadores o interruptores que consideran las
posiciones cerrada o abierta, se llaman circuitos de conmutacin, la posicin cerrada se
simboliza por "ON y la abierta por "OFF, un interruptor se encontrar cerrado o abierto y
nunca en posicin intermedia.
La siguiente figura muestra una representacin grfica de un conmutador.

**************************************************************************
1.%

INTERUPTOR CERRADO INTERRUPTOR ABIERTO
ON
:;;
P
ON
:;;
P
*e+"e#en!ai%n de un in!e""u+!o"
EjempIo 1.
Se conecta una lmpara a un circuito con interruptor, de tal forma que la lmpara se
encienda cuando el conmutador est cerrado y se apague cuando este abierto.
El circuito se puede representar esquemticamente as:

La lmpara se encender siempre que se cierre el circuito, es decir, cuando P adquiera la
posicin "ON y se apagar cuando se abra el circuito, o sea cuando P tome la posicin
"OFF.
En las siguientes figuras se muestran las posiciones ON y OFF.

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
1.3
C:NMU<A=:* C/**A=: C:NMU<A=:* AB(/*<:
>/NC/N=(=A? >APA@A=:?

P
P
Interruptor en posicin ON y OFF respectivamente
;U/N</
/A/C<*(CA
>P(AA : BA</*(A?
AAMPA*
A
:;;
:N
P
Activacin de una Impara
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.
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).
Circuito de Conjuncin
Este circuito toma dos conmutadores P y Q, y recordando la tabla de verdad de la
conjuncin estudiada en el captulo 2 se puede inferir que los interruptores P y Q deben
estar conectados en serie de tal manera que si ambos estn "cerrados (P y Q
verdaderas) el circuito estar "cerrado y por consiguiente la lmpara estar encendida.
La representacin del circuito de conjuncin se muestra en la siguiente figura:

**************************************************************************
1.,
ON
ON
OFF
OFF
LMPARA
P
Q
BATERA
Circuito de conjuncin
Circuito de 'isyuncin
Analizando la tabla de verdad de la disyuncin se observa que si P y Q son dos
proposiciones, entonces la disyuncin Pv Q es verdadera siempre que alguna de las dos
sea verdadera, en trminos de circuitos esto significa que P y Q deben estar conectados
en paralelo, de tal forma que el circuito est cerrado cuando algn interruptor P o Q est
cerrado, en otras palabras, la lmpara estar encendida siempre que alguno de los dos
conmutadores P o Q est cerrado.
La representacin grfica de este circuito es el siguiente:

1.-
ON
ON
OFF
OFF
BATERA
LMPARA
P
B
Circuito de disyuncin
Circuito de Negacin
La relacin entre el estado de la lmpara con la disposicin del circuito lgico, se puede
enunciar as: Si P es una proposicin verdadera el conmutador estar "cerrado y la
lmpara estar encendida; anlogamente si P es falsa el conmutador estar "abierto y en
consecuencia la lmpara estar apagada.
En la tabla de verdad de la negacin (elaborada en el captulo 2) se observa que el valor
de verdad de P es el opuesto al valor de P, esto significa que cuando el interruptor P esta
"cerrado (P verdadera) la lmpara debe estar apagada y si el conmutador P esta "abierto
(P falso) la lmpara debe estar encendida.
El circuito de negacin puede representarse grficamente as:

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.
**************************************************************************
1..
P
:N
:;;
Circuito de negacin
Leccin No.27 Operaciones Aritmticas con circuitos Igicos Leccin No.27 Operaciones Aritmticas con circuitos Igicos
Operaciones Aritmticas con circuitos Lgicos
Adicin o Suma Lgica
Tambin se llama operacin OR o simplemente OR, corresponde a la disyuncin de
proposiciones y a la unin de conjuntos y el dispositivo que ejecuta esta operacin se
llama compuerta OR, su representacin grfica es:

(CuaIquiera de Ias dos representaciones es vIida)
Esta compuerta tiene dos entradas que representan los estados de los conmutadores P, y,
Q y una salida Pv Q que representa el estado de la lmpara.
2.0.1.1.MuItipIicacin o Producto Lgico
Llamada tambin operacin AND o simplemente AND. Corresponde en lgica a la
conjuncin de proposiciones y a la interseccin de conjuntos. El dispositivo electrnico
que ejecuta esta operacin se llama compuerta AND, tiene dos conmutadores P y Q los
cuales se representan como dos entradas y una salida PQ que representa el estado de la
lmpara, su presentacin grfica es:

1./
P Q
P
B
Compuerta AND
P & Q
P
B
P & Q
P
B
Compuerta OR
CompIementacin o inversin Lgica
Se denomina tambin operacin NOT y corresponde a la negacin de una proposicin o a
la operacin de complementacin en conjuntos. La compuerta "NOT acepta como entrada
un valor P' y produce como salida su negacin P. Por esta razn esta compuerta tambin
se denomina inversor, su representacin es:

Correspondencia entre Lgica-Conjuntos -AIgebra booIeana y Ias
compuertas Igicas

La siguiente tabla muestra las correspondencias:
LGICA
Disyuncin
P v Q
Conjuncin
P Q
Negacin
P
CONJUNTOS
Unin
A U B
Interseccin
A O B
CompIemento
A'
LGEBRA
BOOLEANA
Suma
X + Y
Producto
X Y
Inversor
X'
COMPUERTAS
LGICAS
OR AND NOT

Figura No. 10 Correspondencias: Lgica-Conjuntos-lgebra-compuertas
**************************************************************************
1.0
< P'
Compuerta NOT
EjempIo 1.
Utilizando compuertas lgicas simbolizar la proposicin: (PvQ).
Segn la tabla, las compuertas correspondientes a la disyuncin y a la negacin son: OR
y NOT respectivamente, por lo tanto la combinacin de ellas dar la compuerta solicitada,
as:
1.1
EjempIo 1. (PQ).
P
Q (P Q)

EjempIo 2
Utilizando las compuertas lgicas simbolizar la proposicin (P Q).
Analizando la tabla el circuito correspondiente es:

EjempIo 3
Utilizando las compuertas lgicas simbolizar la proposicin p (qv r).
En este caso intervienen tres proposiciones y dos conectivos, por lo tanto el circuito es:

**************************************************************************
1/0
P (P Q)
B

EjempIo 2. (P Q).
P
Q P (Q R)
*

EjempIo 3. P (Q R)
EjempIo 4.
Disear el circuito que determine los valores de verdad de la proposicin
P v (Q R). Para disear el circuito primero se simboliza la proposicin mediante el uso
de compuertas lgicas, as:
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:

1/1
P
Q
R
LMPARA
BATERA
+
+
-
-
Circuito de Ia proposicin. ejempIo 4
EjempIo 4. Pv (Q R).
P
B P >B *?

*

Leccin No.28 Compuertas NOR, NAND, XOR, XNOR Leccin No.28 Compuertas NOR, NAND, XOR, XNOR
Compuertas NOR, NAND, XOR y XNOR:

Otras compuertas lgicas
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes
para escribir cualquier funcin boleana y por lo tanto disear un circuito lgico, sin
embargo, se utilizan otras compuertas lgicas como NAND, NOR, XOR y XNOR
La compuerta NAND es la negacin de la compuerta AND y se define como:
x NAND y = (x y)' y se simboliza as:

**************************************************************************
1/%
P & Q
P
B
Compuerta NAND
P
B
P Q
La tabla de verdad para las compuertas AND y NAND es:
x y
AND
x y'
NAND
(x y)'
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
La compuerta NOR, es la negacin de la compuerta OR, se define as:
x NOR y = (x + y)', su smbolo es:
La tabla de verdad para las compuertas OR y NOR es:
x y
OR
x + y
NOR
(x + y)'
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
1/3
P & Q
P
B
Compu
erta
NOR
La compuerta XOR corresponde a la operacin lgica disyuncin exclusiva (x y) y a la
operacin diferencia simtrica entre conjuntos. Se define como
f(x, y, z) = x y = x y' + x'y.
El smbolo para esta compuerta es (Cualquiera de las dos representaciones es vlida):
Figura No. 18 Compuerta XOR
La compuerta XNOR es la negacin de la compuerta XOR, su smbolo se puede
representar de dos maneras:
Figura No. 19 Compuerta XNOR
La tabla de verdad para estas compuertas es:
x y
XOR
x y
XNOR
(x y)'
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1
Se observa que la tabla de verdad de la compuerta XNOR es exactamente igual a la tabla
de la equivalencia (o doble implicacin), por lo cual esta compuerta recibe el nombre de
"comparador.
**************************************************************************
1/,
EjempIo 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:

EjempIo 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
y el circuito correspondiente es el siguiente:
1/-
EjempIo 1
Y
Z
X
Z'
X'
Y
YZ'
YZ' + X

EjempIo 3.
Escribir una expresin booleana para la salida f (x, y, z) del siguiente circuito.

La funcin correspondiente es: f(x, y, z) = (x' + y' )' (y z).
**************************************************************************
1/.
EjempIo 3
EjempIo 2
C
X
X'
Z'
X
X'
Y
Y'
C
1//
Captulo
A.licaci/n de los
circuitos l/gicos
A
B
S
C
SUMA=:
*
=(B(<AA
Leccin No.29 Circuito Aritmtico DigitaI Leccin No.29 Circuito Aritmtico DigitaI
ApIicaciones de Ios circuitos Igicos
Circuito Aritmtico DigitaI
Algunas aplicaciones elementales como los circuitos aritmticos digitales y los
codificadores y decodificadores, entre otros, muestran la gran variedad de situaciones en
las que se pueden utilizar los circuitos lgicos, si se tiene en cuenta que el diseo digital
ha invadido casi todo el entorno del hombre, empezando por los electrodomsticos que se
usan en el hogar hasta los ms sofisticados computadores, robots y dems equipos de la
industria.
Una unidad aritmtica lgica est fundamentalmente constituida por un dispositivo
combinacional que permite dos entradas, las cuales pueden ser nmeros o alguna
informacin codificada, en la cual se realizan todas las operaciones matemticas o lgicas
que lleva a cabo un computador. A continuacin se analiza la forma de construir un
semisumador y un sumador.
Circuito Semisumador
Disear un CRCUTO SEMSUMADOR consiste en construir un circuito lgico que sume
dos nmeros binarios de la siguiente manera:
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
**************************************************************************
1/0
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 SEMSUMADOR (HA) y se
representa as:
Su representacin esquemtica es:

El circuito semisumador tambin se puede realizar de la siguiente manera:
S = A B = A B' + A'B
1/1
A
B
S
C
Representacin esquemtica de un sumador
Semisumador
A B
S
C
Aplicando la doble negacin se tiene:
(S')' = [(A B' + A'B)']' = [(A B')' (A'B)']'
S = [(A' + B) (A + B')]' = {[(A' + B)' + (A + B' ) ' ] ' } '
S = { [ (A' + B)' + (A + B' ) ' ] ' } '
Anlogamente, la salida C = AB ser:
C = (C')' = [(AB)']' = (A' + B')'
Con lo cual el circuito lgico es:
**************************************************************************
100
Circuito lgico semisumador
A B
S
C
Circuito Sumador
Para sumar nmeros binarios de n- bits se procede as:
Dados los nmeros binarios
A = A
n
A
n-1
.A
2
A
1
A
0
(n- bits)
B = B
n
B
n-1
.B
2
B
1
B
0
(n- bits).
La suma se empieza por los bits menos significativos A , B
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:
C
2
C
1
C
0
A = A
3
A
2
A
1
A
0
B = B
3
B
2
B
1
B
0
A + B = C
3
S
3
C
2
S
2
C
1
S
1
C
0
S
0
El resultado ser entonces: A + B = C
3
S
n
.S
2
S
1
S
0
, donde C es el bit ms
significativo .
Cuando se suman tres dgitos A, B, C, se genera una suma S y un arrastre C un
circuito que realice esta operacin recibe el nombre de sumador. A continuacin se
muestran la tabla de verdad, el mapa de Karnaugh y el circuito lgico asociado.
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
Donde C es el arrastre de entrada y C es el arrastre de salida.
101
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:
La expresin booleana en forma de suma de productos es:
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.
A' A' A A
C' 1 1
C 1 1
B' B B B'
**************************************************************************
10%
Circuito lgico sumador
Leccin No.30 ControI de una estacin de combustibIe Leccin No.30 ControI de una estacin de combustibIe
ControI de una estacin de combustibIe
Una estacin de combustible se surte de tres tanques: x, y, z. Los tanques x, y deben
abastecerse simultneamente para sostener el flujo, el cual puede ser mantenido solo por
el tanque z, pero en ningn caso el tanque z debe funcionar si lo est haciendo los
tanques x, y. Construir un circuito lgico que controle esta situacin.
La tabla de verdad asociada a esta situacin es la siguiente:
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:
La expresin booleana correspondiente es: S = x' y' z + x y z'
El circuito lgico correspondiente es:
X' X' X X
Z' 1
Z 1
Y' Y Y Y'
103
Circuito lgico control estacin de combustible
X Y Z
S = x' y' z + x y z'
AUTO EVALUACN No.5
1. En eI siguiente circuito escribir Ia funcin de saIida, eIaborar Ia tabIa de verdad.
2. Teniendo en cuenta eI circuito anterior
a. Escribir la funcin booleana
b. Disear el circuito utilizando la tcnica NAND
c. Disear el circuito utilizando la tcnica NOR
0* 8eniendo en cuenta la siguiente tabla de verdad, responda los siguientes literales(
a) Encuentre la funcin booleana utilizando la forma norma conjuntiva y disee el
circuito
b) Utilice la tcnica NAND y disee el circuito
c) Utilice la tcnica NOR y disee el circuito
x y z f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
**************************************************************************
10,
d. E* 8eniendo 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
a) Utilizando la forma normal disyuntiva encontrar la funcin booleana y
disear el circuito correspondiente.
b) Utilizando la tcnica NAND, disear el circuito
c) Utilice la tcnica NOR y disee el circuito correspondiente.
5. Construir el mapa de Karnaugh, la expresin booleana y el circuito lgico que permita
controlar una lmpara desde tres interruptores colocados en los pasillos de una
edificacin. Tenga en cuenta la siguiente tabla de verdad.
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
10-
(N;:*MAC(DN =/ */<:*N:
1. La funcin de salida es: f(x, y, z) = x'y'z' + x y'z' + x'y'w. La tabla de verdad
correspondiente es:
x y z w x' y' z' x'y'z' x y'z' x'y'w 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
2. a) f(x, y, z, w) = x'y'z' + x y'z' + x'y'w

b) El circuito con la tcnica NAND es:
f = [(x'y'z' + x y'z' + x'y'w)']'
f = [ (x'y'z')' (x y'z')' (x'y'w) ' ] '

**************************************************************************
10.
La expresin booleana correspondiente es:
L = x y z + x y' z' + x' y z' + x' y' z
El circuito lgico es:
X' X' X X
Z' 1 1
Z 1 1
Y' Y Y Y'
10/
EJERCCOS DE PROFUNDZACN 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
**************************************************************************
100
2. Diseo de una aIarma:
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.

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
101
E
D
E
A
?
RESPUESTAS A EJERCICIOS DE PROFUNDIZACIN No. 5
1. La expresin booIeana correspondiente es:
f (x, y, z) = x y z' w + x y' z w + x' y z w, la cual puede ser escrita como:
f (x, y, z) = x w (y z' + y' z) + x' y z w.
2. La ecuacin booIeana es:
A = x w + y w + y z + x y
= W (x + y) + y (x + z)

**************************************************************************
110
BIBLIOGRAFA
COP, rving, COHEN, Carl. ntroduccin a la Lgica. Limusa, Mexico 2002.
GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemtica Digital. Mc Graw
Hill. Bogot 1998.
SCHENNERMAN, Edward. Matemticas Discretas. Thomsom-Learning. Mexico
2001.
LPSCHUTZ, Seymor. Teora de Conjuntos. Mc Graw Hill. Bogot 1980.
SMTH, Kart. ntroduccin a la Lgica Simblica. beroamericana. Mexico 1991.
GALNDO, Nubia Janeth. Lgica Matemtica. Unad. Colombia 1998.
SUPPES, Patrick, HLL, Shirley. ntroduccin a la Lgica Matemtica. Revert.
Colombia 1976.
GUTERREZ, Fabio. Lgica. Una sntesis didctica. Fund. Universitaria de Boyac.
Colombia 2001.
Direcciones de sitios web.
http:FFDDD.cierno5s.co)FlogicaF
http:FFDDD.)onografias.co)Ftraa8os10FclasiFclasi.sht)l
http:FFDDD.)onografias.co)Ftraa8osFiartificialFpagina,*1.ht)
http:FFDDD.5cs).ed5.peFraarcafF"ntrod5cciGC3G$3nG%0aG%0laG%0HGC3G$3gicaF%.G%0H
GC3G$3gicaG%0<roposicional.doc
http:FFdocencia.5dea.ed5.coF#iste)as!iscretosFcontenidoFcapit5lo*01.ht)l
111
ANEXO
5.7 RELACIN DE ORDEN EN UN LGEBRA BOOLEANA
Un conjunto A con un lgebra booleana definida, debe ser parcialmente ordenado (tema
tratado en la seccin 1.6), es decir, sus elementos deben cumplir las propiedades de la
relacin de orden: Reflexiva, antisimtrica y transitiva.
S A es el conjunto de los nmeros enteros con el lgebra booleana definida en la seccin
5.4 y una relacin de orden parcial > (menor o igual), entonces para todo x, y, z
elementos de A, se debe cumplir:
1. RefIexiva: x 5 x
2. Antisimtrica: (x 5 y) (y 5 x) x = y
3. Transitiva: (x 5 y) (y 5 z) (x 5 z)
En un lgebra de boole x > y se define como x + y = y para indicar que el
elemento x es "menor o igual a y, se representa grficamente como el siguiente diagrama
de lnea dirigida de x hacia y:
y
x
As 0 > 1 porque 0 + 1 = 1.
En un lgebra booleana definida sobre un conjunto A con la adicin (+) y el producto (.)
como operaciones binarias y la igualdad (=) como relacin de equivalencia, entonces, para
cualesquier par de elementos x, y del conjunto A las siguientes afirmaciones son
equivalentes:
S x > y, entonces:
1. x + y = y
2. x. y = x
3. x' + y = 1
4. x. y' = 0

**************************************************************************
11%

2010 Febrero 3 Modulo de Logica PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2010 Febrero 3 Modulo de Logica PDF

Uploaded by

Copyright:

Available Formats

LGICA MATEMTICA

primera versin 2005: NUBIA JANETH GALINDO PATIO

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Vemos varios ejempIos de notacin simbIica de Ias proposiciones:

You might also like