Contrariwise, continued Tweedledee,

if it was so, it might be; and if it

were so, it would be: but as it isnt,
it aint. Thats logic
(Carroll: Alice Through the Looking Glass)

Lgica Secuencial y Combinatoria

19 de septiembre de 2002

TEORIA DE CONJUNTOS
PALABRA CLAVE:
{ } Conjunto vaco

{a, e, i, o, u} - Extensin
{vocales} Comprensin

Diagramas de Ven Euler

Dado un conjunto z nombre los conjuntos que satisfagan las siguientes operaciones:
X--- Producto cruzado
EJEMPLO:

A x B = { (1,4), (1,5), (1,6), (2,4), (2,5), (2,6), (3,4), (3,5), (3,6) }

NOTA.- N es subconjunto de Z
* --- Clausura
Es el producto cruzado de un conjunto consigo mismo.
EJEMPLO:

A* = {(1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3)}

Si:
A = {Primos menores a 13}
B = {x

Pares>100 <120}

Entonces:
A = {1,3,5,7,9,11}
B = {102,104,106,108,110,112,114,116,118}
23 de Septiembre de 2002
LA LOGICA MATEMTICA
Puede dividirse en dos etapas irreconciliables, antes y despus de Gdel, ya que en la
primera se esperaba algn da culminar con el programa de Hilbert, en la segunda se sabe
que esto no puede ser (1931).
Turing 5 aos despus, muestra que existen limites inherentes a la computabilidad.
TABLAS DE VERDAD
Existe un libro publicado por George Boole cuyo ttulo es: UNA INVESTIGACIN DE
LAS LEYES DE PENSAMIENTO EN QUE ESTAN FUNDAMENTADAS LAS
TEORIAS MATEMTICAS DE LA LOGICA Y DE LAS PROBABILIDADES escrito en
1854. La editorial Dover, en Nueva York public una edicin en 1958.
Signo - Marca arbitraria con una identificacin fija.
Una proposicin - Son todas las operaciones de lenguaje como instrumentos del
razonamiento.
EJEMPLO:
1. PERRO y MANCHADO entonces DLMATA
P = Perro

M = Manchado

D = Dlmata

MD

P*M=D

Lgica
lgebra

2. HOMBRE o MUJER, entonces PERSONA

HUMP
H+M=P
26 de Agosto de 2002
OBJETIVO PARA EL CURSO:
Comprender los lenguajes formales, representacin, anlisis y uso, as como las
aplicaciones de la teora matemtica en el desarrollo computacional.
TEMAS:

Teora de conjuntos
Tablas de verdad y
lgebra de Boole

TABLAS DE VERDAD
Godel (Teorema de la incompletitud) Nunca se llega a la meta

George Boole Agrupar todo bajo una proposicin

Solo 2 valores:

verdadero = 1
falso = 0

x+y=y+x
xy = yx
{y, e}
{o, u}
EJEMPLO:
llueve = x
esta lloviendo = y
Por lo tanto:
xy = x
xx = x
OR O (+)
x : llueve
y : hace fro
x
V
F
V
F

y
V
V
F
F

x
V
V
V
F

1
0
1
0

y
1
1
0
0

1
1
1
0

Y AND (.)
x
V
F
V
F

y
V
V
F
F

x
V
F
F
F

1
0
1
0

y
1
1
0
0

1
0
0
0

XOR 1 U OTRO PERO NO AMBOS

x
V
F
V
F

y
V
V
F
F

SIMBOLOGA:

x
F
V
V
F

1
0
1
0

y
1
1
0
0

0
1
1
0

x
1
0
1
0
1
0
1
0

y
1
1
0
0
1
1
0
0

DEC
0
1
2
3
4
5
6
7

z
1
1
1
1
0
0
0
0

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

A
0
0
1
1

B
0
1
0
1

A+B
0
1
1
1

f (A, B)
1
0
0
0

1
1
1
1

Cuando la salida solo es de unos se le llama TAUTOLOGIA pues no importa el valor que
se coloque esto ser verdad. El resultado siempre es verdad.
20 de Noviembre de 2003

lgebra de Boole y tablas de verdad

Como informacin histrica resulta interesante presentar un
resumen del libro de George Boole que lleva el enorme ttulo de
Una investigacin de las leyes del pensamiento en que estn
fundamentadas las teoras matemticas de la lgica y de las
probabilidades, escrito en 1854. Las referencias son la edicin
facsimilar que public la editorial Dover, Nueva York, 1958.
Comienza por dar una definicin de lo que hay que entender por
signo:
Un signo es una marca arbitraria, con una interpretacin fija, y es
susceptible de combinarse con otros signos, sujetndose a ciertas
leyes fijas supeditadas a sus mutuas interpretaciones.
Y luego explica de esta manera:
Proposicin I: Todas las operaciones del lenguaje como
instrumento del razonamiento pueden ser dirigidas por un sistema
de signos compuesto por los siguientes elementos:

1. Smbolos literales, como x, y y c, que representan cosas sujetas

a nuestras concepciones.
2. Signos de operacin, como +, -, *, para aquellas operaciones de
la mente por medio de las cuales las concepciones de las cosas se
combinan para formar nuevos conceptos implicando los mismos
elementos.
3. El signo de identidad, = .
Estos smbolos de lgica se usan sujetos a leyes definitivas,
parcialmente concordando y parcialmente difiriendo de las leyes
para los smbolos correspondientes en la ciencia del lgebra.
La ley expresada por xy = yx puede caracterizarse diciendo que
los smbolos literales x, y, z, son conmutativos, como los smbolos
del lgebra. Y como la combinacin de dos smbolos literales en la
forma xy expresa la totalidad de esa clase de objetos para los
cuales los nombres o cualidades representados por x y y son
aplicables conjuntamente, se sigue que si los dos smbolos tienen
exactamente la misma significacin, su combinacin no expresa
ms que lo que cualquiera de los dos tomados por separado dira.
En tal caso deberamos entonces tener
xy = x
pero como se supone que y tiene el mismo significado de x,
podemos reemplazarla en la ecuacin por x, y tener
xx = x
Ahora bien, en el lgebra comn, la combinacin xx se representa
ms brevemente como x2.
De acuerdo con esta notacin, entonces, la anterior ecuacin
adquiere la forma
X2 = X
que es en realidad, la expresin de una segunda ley general
acerca de aquellos smbolos por medio de los cuales
representamos simblicamente nombre, cualidades o
descripciones.
Signos de aquellas operaciones mentales por medio de las cuales
reunimos partes de un todo, o separamos un todo en sus partes.
[] Estrictamente, las palabras y y o, interpuestas entre los
trminos descriptivos de dos o ms clases de objetos, implican que
esas clases son diferentes, de tal manera que ningn miembro de
una se encuentra en la otra. En este y todos los respectos, las
palabras y y o son anlogas al signo + en lgebra; y sus leyes son
idnticas. [] Pero no podemos concebir posible recolectar partes
de un todo, sin concebir como posible tambin el separar las
partes del todo. Esta operacin se expresa en lenguaje comn con

el signo excepto. Como hemos expresado la operacin de agregar

con el smbolo +, as tambin podemos expresar la operacin
antes descrita con el smbolo -.
Ms adelante dice
Proposicin II: Determinar el valor lgico y la significacin de los
smbolos 0 y 1.
El smbolo 0, tal como se usa en lgebra satisface la siguiente
regla formal
0*y = 0, o bien 0y = 0,
para cualquier nmero que y pueda representar. Esta ley formal
puede ser obedecida en el sistema de la lgica; debemos asignar
al smbolo 0 una interpretacin tal que la representada por 0y
pueda ser idntica con la clase representada por 0, sin importar
cual sea la clase y. Una breve consideracin mostrara que esta
condicin se satisface si el signo 0 representa nada. De acuerdo
con una definicin anterior, podemos hacer de nada una clase. De
hecho nada y universo son los dos lmites de la extensin de
clases, puesto que son los lmites de las posibles interpretaciones
de los nombres en general, ninguno de los cuales puede relacionar
menos individuos de los que incluye nada, o ms de los que
incluye universo.
Proposicin III: Si x representa cualquier clase de objetos, entonces
1-x representara la clase contraria o suplementaria de objetos. Por
ejemplo, la clase que incluye objetos que no estn comprendidos
dentro de la clase x.
Inmediatamente despus analiza el principio de contradiccin, que
afirma que es imposible que un ente posea una cualidad, y al
mismo tiempo no la posea; e indica que esto es consecuencia de
aquella ley fundamental del pensamiento y cuya expresin es x2 =
x.
Posteriormente pasa al anlisis de las proposiciones y su divisin
de acuerdo con los cuantificadores. Las separa en dos grandes
grupos: primarias o concretas y secundarias o abstractas.
Luego en el siguiente captulo, trata las funciones lgicas del tipo
f(x), donde x es un smbolo en el sentido previamente definido, y
en los siguientes captulos habla de la eliminacin, y la reduccin y
de mtodos para abreviar funciones de sus aplicaciones, etc. La
base ha sido puesta ya y la lgica entra en una etapa nueva, luego
de ms de 2000 aos de existencia.
Los circuitos lgicos combinatorios, son la base de la unidad
aritmtica/lgica de las computadoras digitales. Los circuitos

lgicos secunciales, son la base de la unidad de control de las

computadoras digitales.
SUMADOR COMPLETO
0101
1010
1111

15

0000
0000
0000 0

1111
1111
11110

C1
0
1
2
3
4
5
6
7

0
0
0
0
1
1
1
1

A
0
0
1
1
0
0
1
1

B
0
1
0
1
0
1
0
1

S
0
1
1
0
1
0
0
1

Co
0
0
0
1
0
1
1
1