HISTORIA DE LOS CONJUNTOS.

Introduccin.
Si retrocedemos al tiempo, de las cuatro grandes civilizaciones del mundo occidental antiguo
( Babilonia, Egipto, Grecia y Roma), veremos que babilonios y griegos desarrollaron
elevados conocimientos de matemticas.
Desarrollo
Pero, entre todos los pueblos de la antigedad, fueron los griegos los que realizaron las
aportaciones ms valiosas al desarrollo del concepto de nmero. La escuela pitagrica (siglo
V a. de C.) descubri que slo con los nmeros naturales y las fracciones no pueden realizarse
todas las medidas posibles. Existan pares de segmentos, como la diagonal y el lado de un
pentgono regular, o la diagonal y el lado de un cuadrado, cuyo cociente de longitudes no es
una fraccin. Creyeron que el caos entraba en su mundo ordenado, y llamaron a tal razn
"alogos"
o
irracional.

Siglos despus, hacia el ao 500, en la India se plasmaron los orgenes de nuestro sistema de
numeracin. Las nueve cifras y el cero aparecen en las obras del matemtico indio
Brahmagupta.

Hasta entonces, en Europa se haban evitado los nmeros negativos; pero en el siglo XIII, el
matemtico italiano Fibonacci, en un problema referente al dinero, que no tiene solucin
positiva, observ su necesidad. Durante el siglo XIV, los nmeros negativos eran
denominados numeri absurdi. Se debi esperar hasta el siglo XV, para que el francs Chaquet
expresara por primera vez un nmero negativo aislado en la ecuacin

empezaron a encontrarse expresiones, como la raz cuadrada de -16, que no se saban

interpretar. Aun sin entenderlas, algunos comenzaron a manipularlas con las mismas reglas

que utilizaban para los nmeros que conocian. Fue Cardano, durante este mismo siglo, quien
propuso un nuevo tipo de nmeros, que denomin ficticios, como solucin a las races
cuadradas
de
nmeros
negativos.
El problema de los nmeros irracionales no se resolvi por completo hasta el Siglo XVII,
cuando Fermat, matemtico francs que puede ser considerado el padre de la moderna teora
de nmeros, demostr que expresiones como raz cuadrada de 3 no eran nmeros racionales.
Slo quedaba por resolver el problema de las races negativas; y esto ocurri en 1777, cuando
Euler dio a la raz cuadrada de -1 el nombre de i ( imaginario). En 1799, Gauss acab de
resolver el problema al demostrar que las soluciones de cualquier ecuacin algebraica, fuera
cual fuese su grado, perteneca a un conjunto de nmeros que l llam complejos, a los que
consider compuestos de un nmero "ordinario" (hoy lo llamamos nmero real), ms un
mltiplo de la raz cuadrada de -1, llamado unidad imaginaria.

Como ha podido comprobarse, para llegar a conceptos que hoy nos parecen sencillos y
lgicos, han tenido que pasar muchos siglos y muchas culturas, cada uno de los cuales ha
hecho sus aportaciones al conocimiento de los nmeros.

Biografas
BRAHMAGUPTA
Astrnomo y matemtico indio, nacido alrededor del ao 598 y fallecido hacia el 660. Su
obra ms aplaudida lleva por nombre Brahmasfuta-Siddhanta, 'La perfeccin de la obra de
Brahma'. Los primeros captulos tratan de matemticas, y en ellos se desarrolla un sistema
de representacin de los nmeros fraccionarios que es considerado origen del actual, as
como las definiciones de las operaciones ms sencillas entre estos nmeros.
Es posible que Brahmagupta haya sido el idealizador del concepto del "cero"

LEONHARD EULER

Naci el 15 de abril de 1707 en Basilea (Suiza) y muri en San Petersburgo.

Matemtico suizo, uno de los ms grandes de todos los tiempos. Trabaj todas las ramas
conocidas en su poca y a todas aport algo.
Muri el 8 (18) de Septiembre de 1783
PRINCIPALES APORTACIONES A LAS MATEMTICAS:

Descubri la igualdad C + V = A + 2.

Demostr que el baricentro, ortocentro y circuncentro estn alineados. Recta de Euler.

Argument que el infinito separaba los nmeros positivos de los negativos de forma
similar a como lo hace el cero.
Defini las funciones logartmicas y exponenciales.
Desarroll el clculo de nmeros complejos, demostrando que tiene infinitos
logaritmos.
Resolvi el problema de los Puentes de Konigsberg.

Bibliografa
http://centrodeartigo.com/articulos-noticias-consejos/article_143677.html
http://3con14.com/_data/eso/3eso/conjuntos_numericos.pdf
http://www.biografiasyvidas.com/biografia/l/leonardo_depisa.htm

BREVE HISTORIA DE LA LOGICA DE

PROPOSICIONES.
Los primeros estoicos (Zenn y Cleantes) no fueron lgicos creativos, fue Crisipo el que
recogi las ideas de los megricos Diodoro Cronos y Filn de Megara, y las hizo
fructificar. El problema surge porque de Crisipo, que era un prolfico escritor, se ha perdido
toda su produccin literaria. Todo lo que conocemos de la lgica estoica se halla recogido
en fragmentos preservados por autores de otras escuelas, hostiles algunas de ellas.
Pero en ms de un punto esos fragmentos se complementan y confirman unos a otros, y as
podemos reconstruir los trazos capitales del sistema, aunque hay que recurrir a conjeturas
para hacernos la idea de algunos elementos.
Las fuentes para el estudio de la lgica estoico son por un lado Apuleyo y Galeno (siglo II
d. C.) y Sexto Emprico y Digenes Laercio (siglo III d. C.).
La lgica estoica es una lgica proposicional, bivalente, pues los estoicos consideraron
fundamental el principio de que toda proposicin o es verdadera o falsa. Definieron la
proposicin como aquello que es o verdadero o falso. Dividieron las proposiciones o
axiomata en simples y no simples, los simples estn formados por nico axioma, y las no
simples resultan de la combinacin de dos ocurrencias de la misma proposicin o de la
combinacin de diferentes proposiciones, o de varios. Las combinaciones se realizan por
medio de conectivas apropiadas. Entre las proposiciones simples distinguan las simples
afirmaciones y las simples negaciones, esta ltima tambin era entendida como una funcin
de verdad. Para W. y M. Kneale, los estoicos dividan a los axiomata simples en:
categrico, definido e indefinido, porque el segundo facilita la distincin entre

proposiciones afirmativos y negativos. Otra clasificacin que contemplan estos autores

citados, es la distincin entre axiomatas afirmativos, negativos, la denegacin y el
privativo. Entre las proposiciones no simples admiten: la implicacin, la conjuncin, y la
disyuncin exclusiva. Todas son definidas como funciones de verdad. Siguiendo a Filn los
estoicos mantuvieron que una implicacin era falsa si su antecedente era verdadero y su
consecuente era falso. La conjuncin era verdadera si cada una de las proposiciones
conjuntadas era verdadera. Una disyuncin exclusiva era verdadera si justamente una de las
proposiciones disjuntadas era verdadera. Tambin hay evidencias de la inclusin en la
lgica estoica de la disyuncin inclusiva, que era tenida por falsa solo cuando sus dos
componentes eran falsos. Para W. y M. Kneale son siete los axiomata no simples:
condicional si, condicional modificado puesto que, conjuncin y, disyuncin o,
causal porque, axiomata mas bien que y axiomata menos que. Tambin opinan que
los estoicos no parecen haber tenido conciencia de la distincin existente entre enunciados
de carcter veritativo-funcional y enunciados compuestos que no tiene ese carcter.
Las conectivas lgicas que aparecen en los varios tipos de proposiciones no simples dan
lugar a principios lgicos. Los estoicos los representan por medio de inferencias
paradigmticas o esquemas de inferencia (los cinco esquemas de inferencia verdaderos sin
necesidad de demostracin ya fueron vistos con anterioridad en el apartado 2). A partir de
estos indemostrables se pueden derivar otros muchos esquemas de inferencia de acuerdo a
unas ciertas reglas.
De manera breve enunciaremos otros teoremas conservados por Sexto Emprico:

Si lo primero, entonces si lo primero entonces lo segundo; pero lo primero; luego lo

segundo.
Si lo primero y lo segundo, entonces lo tercero; pero no lo tercero; por otra parte, lo
primero; luego no lo segundo.
Si lo primero, entonces lo primero; pero lo primero; luego lo primero.
O lo primero o lo segundo o lo tercero; pero no lo primero; y no lo segundo; luego
lo tercero.
O lo primero o no lo primero; pero lo primero; luego no lo primero.
O lo primero o no lo primero; luego lo primero.
Si lo primero entonces no lo segundo; pero lo primero; luego no si lo primero,
entonces no lo segundo.
Si no lo primero, entonces lo segundo; pero no lo segundo; luego no si lo primero,
entonces lo segundo.
Si lo primero, entonces lo segundo; si lo primero, entonces no lo segundo; luego no
lo primero.
Si lo primero, entonces lo segundo; si no lo primero, entonces lo segundo; luego lo
segundo.
Si lo primero, entonces lo primero; si lo primero, entonces no lo primero; luego no
lo primero.
Si lo primero, entonces lo primero; si no lo primero, entonces lo primero, luego lo
primero.

Los estoicos no formularon sus principios lgicos directamente, sino que optaron por
presentarlos por medio de esquemas de inferencia, diferencindose as de Aristteles cuyos
silogismos eran principios directos de la lgica de trminos. En cuanto a la aspiracin de
completud, se podra probar que tal y como se presenta el sistema lgico es completo en un
sentido estricto y moderno respecto a la conjuncin y a la negacin. De todas maneras s
podemos afirmar que los estoicos contaban con un cuerpo de doctrina lgica altamente
desarrollado y tambin est claro que los aristotlicos contemporneos consideraban las
teoras lgicas estoicas como hostiles a su maestro. Las teoras aristotlicas y estoicas son
en rigor complementarias, fueron consideradas largo tiempo como contrapuestas. Cuando
se cay en la cuenta de la necesidad de fusionarlas, el impulso intelectual del mundo
antiguo haba ya declinado y no surgira nadie con la estatura mental requerida para
acometer esa empresa.
La lgica de las proposiciones que los estoicos investigaron es ms fundamental que la
lgica de los trminos generales estudiada por Aristteles, no en el sentido de que la
primera incluya a la segunda, sino en el sentido de que esta ltima presupone aquella.
A finales de la Edad Media la lgica formal logr un desarrollo rico y original, a un nivel
comparable al de las aportaciones estoico-megricas y aristotlicas, y no superando hasta el
nacimiento de la lgica matemtica, en el siglo pasado. Dentro del sistema medieval los
lgicos desarrollaron: 1. Una teora general de la referencia o supositio terminorum; 2. Una
teora general de la implicacin o consequentia manejando una lgica de proposiciones; 3.
Una articulada lgica modal; y 4. Tratamiento de algunos problemas de la lgica y del
lenguaje. Lgicos importantes en el periodo medieval occidental fueron Abelardo,
Guillermo de Sherwood y Pedro Hispano, entre otros. Para Prior es discutible el que la
lgica medieval estuvo histricamente relacionada con la lgica proposicional de los
estoicos (10).
Segn este autor, aunque Boecio, en su tratado sobre las proposiciones hipotticas y
silogismos hipotticos transmiti algunos fragmentos de la doctrina estoica sobre la nocin
de consecuencia, los lgicos medievales desarrollaron su teora de la consequentiae en
conexin con la doctrina de los silogismos hipotticos.
La lgica moderna comienza con al publicacin de Begriffsschrift (Conceptografa) de
Gottlob Frege. Esta obra constituye el primer sistema realmente acabado de la lgica formal
porque encierra todos los elementos esenciales de la lgica moderna. En esta obra capital
encontramos por primera vez un tratamiento comprensivo de las ideas de generalidad y
existencia y son provistas de una simbolizacin adecuada mediante el recurso de la
cuantificacin, cuyas reglas se aadirn en esta obra a la primera formalizacin completa
del calculo proposicional clsico. Expresado de otra manera, el objetivo principal de Frege
es la presentacin de un lenguaje formalizado del pensamiento puro, un sistema simblico
ms exacto que el lenguaje corriente y mejor provisto de recursos que aseguren la precisin
en los procesos deductivos. En tiempos de Frege no hubiera podido lograrse una prueba de
la completud, pero l demostr el poder de su sistema derivando un gran nmero de
principios lgicos a partir de postulados bsicos y dio un paso importante hacia la
formulacin de principios aritmticos mostrando, con la ayuda de la cuantificacin de
segundo orden, cmo se puede formalizar la nocin de orden serial. Otras obras suyas

fueron: Die Grundlagen der Aritmetik (Los fundamentos de la aritmtica) y Die

Grundgesetze der Aritmetik (Los principios de la aritmtica), Estudios sobre semntica e
Investigaciones lgicas.
Las proposiciones se habitualmente se simbolizan con las letras minsculas p, q, r, etc.
Algunas proposiciones se pueden componer de dos o ms proposiciones simples, lo que
obviamente constituye un proposicin compuesta. Los elementos que relacionan una
proposicin con otra para formar proposiciones compuestas son llamados conectivos
lgicos y sus caractersticas se presentan en el siguiente cuadro:

JAN LUKASIEWICZ
Jan Lukasiewicz nace en Lww, en 1878, estudi en la Universidad de la misma ciudad. De
1906 a 1915 profes en esta Universidad; de 1915 a 1918 y de 1920 a 1939 en la
Universidad de Varsovia. En los aos 1918 y en 1919-1920 ocup varios cargos en el
Ministerio de Educacin y Culto. Durante la ocupacin nazi de Polonia dio cursos secretos
en Varsovia; terminada la guerra pas a Mnster, a Bruselas y, en 1946, a Dubln, donde
fue profesor en la Academia Real Irlandesa. Muri en 1956. Sus obras ms importantes
son: Sobre la significacin y las necesidades de la lgica matemtica. Sistema de lgica
modal, Sobre la lgica trivalente, Estudios de lgica y filosofa y Para una historia de
la lgica de enunciados.
Lukasiewicz es usualmente clasificado como uno de los principales miembros del llamado
Crculo de Viena, pero esto indica nicamente su preeminencia entre los lgicos, as
como los historiadores de la lgica polaca. Hacia 1917 elabor una lgica trivalente,
presentada en 1920. Segn Lukasiewicz, la lgica trivalente poda, ms que la lgica
bivalente clsica, servir de marco para las leyes de la lgica modal. Adems, como puso de
manifiesto en su discurso rectoral del ao acadmico 1922-1923, la lgica trivalente
permita eludir el determinismo o, cuando menos, llevar a la conviccin de que el
determinismo no es una concepcin filosfica mejor justificada que el indeterminismo.
Con la elaboracin de la lgica trivalente, Lukasiewicz abri el camino para cualquier otra
lgica de ms de dos valores, esto es, para la llamada lgica polivalente, incluyendo una
lgica de un nmero infinito de valores. La eleccin de una lgica o de un determinado
nmero o de un nmero infinito de valores depende de su aplicabilidad, tanto a otras ramas
de la lgica, como la lgica modal, como a cuestiones filosficas, pero ello no quiere decir

que la lgica elegida sea arbitraria, indica la posibilidad de una pluralidad de sistemas
lgicos. Lukasiewicz realiz asimismo trabajos de importancia en el clculo proposicional
bivalente, especialmente en la axiomatizacin.
Se le deben tambin trabajos de metalgica, particularmente pruebas de consistencia,
completud e independencia en el clculo proposicional, y trabajos de lgica modal, en los
que elabor una lgica modal bsica capaz de alojar cualquier sistema modal.
Un aspecto destacado de la obra de este lgico polaco son sus trabajos de historia de la
lgica; a l se deben las primeras indicaciones para un estudio de la lgica proposicional de
los estoicos en 1934 y el primer trabajo de conjunto sobre la silogstica aristotlica desde el
punto de vista de la lgica formal moderna en 1951.
Bibliografia:
http://universologico.blogspot.com/p/proposiciones-logica-matematica.html
http://html.rincondelvago.com/contribucion-a-la-historia-de-la-logica-deproposiciones_jan-lukasiewicz.html

Razonamiento y mtodos de Demostracin

Es el proceso donde se evidencia en la medida que los estudiantes apliquen el razonamiento
lgico, la modelacin matemtica y el anlisis de casos en forma gradual, es decir el docente
del nivel inicial debe proponer casos concretos, en el nivel primario casos de mayor
complejidad, para lo cual cada docente debe secuenciar las capacidades de manera que
permita formular e investigar conjeturas matemticas, desarrollar y evaluar argumentos y
comprobar demostraciones matemticas utilizar varios tipos de razonamiento y mtodos de
demostracin, para que el estudiante pueda reconocer estos procesos como aspectos
fundamentales de las matemticas, llegndose a este nivel en secundaria.

Para formular e investigar conjeturas matemticas, desarrollar y evaluar argumentos y

comprobar demostraciones matemticas, elegir y utilizar varios tipos de razonamiento y
mtodos de demostracin para que el estudiante pueda reconocer estos procesos como
aspectos fundamentales de las matemticas.
Desarrollo
Razonamientos
Estudiamos en este apartado el significado formal del concepto de razonamiento valido y
lo utilizamos para demostrar la veracidad de proposiciones a travs de las reglas de
inferencia.

Razonamiento

Llamaremos de esta forma a cualquier proposicin con la estructura

P1 P2 Pn Q
Siendo n un entero positivo.
A las proposiciones Pi
, i = 1, 2, . . . , n se les llama premisas del razonamiento y a la proposicin Q, conclusin del
mismo.

Razonamiento Valido

El razonamiento anterior se dice que es vlido si la conclusin Q es verdadera cada vez que
todas las
Premisas P1, P2, . . . , Pn lo sean.
Nota: obsrvese que esto significa que las premisas implican lgicamente la conclusin, es
decir, un razonamiento ser vlido cuando
P1 P2 Pn = Q

Tambin, y de acuerdo con ??, podemos decir que el razonamiento es vlido si el condicional
P1 P2 Pn Q
Es una tautologa. Esto, a su vez, nos permite aceptar como valido el razonamiento en el caso
de que alguna de las premisas sea falsa. En efecto, si alguna de las Pi, i = 1, 2, . . . , n es falsa,
entonces
P1P2 Pn ser falsa, luego el condicional P1P2 Pn Q es verdadero,
independientemente del valor de verdad de la conclusin Q.
As pues, disponemos de dos formas de probar si un razonamiento es vlido.
Mtodos de demostracin
En matemticas no se acepta una proposicin como verdadera hasta que se construye su
demostracin formal, aunque la proposicin sea vlida para un nmero finito de casos no
significa quesea vlida para todo el universo, por ejemplo la conjetura de Gold bach (todo
nmero par mayor que 2 puede escribirse como suma de dos nmeros primos) se ha
verificado utilizando computadoras para millones de casos pero a pesar de ello no se acepta
como verdadera.
Veamos el siguiente razonamiento: Si x=y entonces:3x=3y2y=2xluego:3x+2y=3y+2x3x3y=2x-2y3(x-y)=2(x-y)3=2qu paso?
Aqu consideraremos los siguientes mtodos de demostracin: a) Mtodo directo de
demostracin b) Mtodos indirectos de demostracin por contra positiva por reduccin al
absurdo c) Mtodo de Induccin matemtica d) Mtodo por contraejemplo
A) MTODO DE DEMOSTRACIN DIRECTA Aqu se tiene como hiptesis verdaderas
las proposiciones P1, P2,,Pn procediendo a la deduccin de que la conclusin Q es
verdadera a travs de un proceso lgico deductivo, es decir como una cadena de
implicaciones lgicas. El esquema de demostracin en el mtodo directo es de la forma: P1
P2 Pn Q
El mtodo de demostracin directo tiene como fundamento lgico la regla de inferencia
clsica o esquema argumentativo vlido llamado Modus Ponens: [P (PQ)] Q que
significa: si la hiptesis P es verdadera y la hiptesis P implica la conclusin Q entonces la
conclusin Q es verdadera.
B) MTODOS DE DEMOSTRACIN INDIRECTOS Mtodo de demostracin por el
contrario positiva Tiene como fundamento la equivalencia lgica entre las proposiciones
PQ y ~Q~P) Para realizar una demostracin por el contrario positiva se toma como
hiptesis la negacin de la conclusin escrita como ~Q para obtener como conclusin la
negacin de la hiptesis escrita como ~P, ello se puede generalizar para el caso que se tengan
varias premisas.
Mtodo de demostracin por reduccin al absurdo Se atribuye al filsofo griego Zenn de
Elea, alrededor del siglo V a.C., la invencin del mtodo de reduccin al absurdo que

utilizaba en sus argumentos y en sus famosas paradojas, desde entonces es un mtodo

ampliamente aplicado en matemticas.
El procedimiento general para demostrar indirectamente por reduccin al absurdo una
proposicin de la forma (P1P2Pn) Q consiste en: 1) Asumimos que la condicional
es falsa luego las proposiciones P1, P2,, Pn y~Q son verdaderas 2) De lo anterior debemos
llegar a una contradiccin, por lo que la condicional tiene que ser verdadera.
Aristteles fundamento lgicamente la demostracin por reduccin al absurdo en dos
principios: principio de no contradiccin ~(p~p) considerada ley suprema de la lgica segn
Kant y Aristteles, que significa que una proposicin no es verdadera y falsa
simultneamente y el principio del tercero excluido (p~p) que significa que una proposicin
es verdadera o falsa. Si no son aceptados los principios anteriores, el mtodo de reduccin
al absurdo carece de fundamento lgico.
C) MTODO DE DEMOSTRACIN POR EL PRINCIPIO DE INDUCCIN
MATEMTICA El principio de induccin matemtica es un principio universalmente vlido
en matemticas y es fundamentalmente uno de los axiomas de los nmeros naturales
construidos por el matemtico italiano Giuseppe Peano a finales del siglo XIX.
Las demostraciones por el principio de induccin matemtica se consideran indirectas. El
principio de induccin matemtica es utilizado para demostrar la veracidad de proposiciones
p(n) donde n es un nmero natural mayor o igual que un valor inicial no, el principio de
induccin matemtica consiste en:
1) Inicialmente se verifica que p(n) es verdadera para n=no, es decir p (no) es verdadera.
2) Se enuncia la hiptesis de induccin: p(k) es verdadera para el nmero natural k.
3) Usando la hiptesis de induccin enunciada en (2) y otras proposiciones verdaderas
demostradas anteriormente se demuestra que p (k+1) es verdadera.
4) La conclusin consiste en que p(n) es verdadera para toda n no
D) MTODO POR CONTRAEJEMPLO Este mtodo se aplica de manera muy particular
para demostrar la falsedad de proposiciones cuya hiptesis est construida mediante un
"cuantificador universal". Esto es, se aplica para demostrar la falsedad de una proposicin
que tenga una conclusin referida para "todos los elementos de un cierto conjunto".
Una demostracin consiste en una sucesin de frmulas que, o bien son axiomas, o bien son
teoremas, o se han obtenido de stas mediante inferencias admisibles. Hilbert Los encantos
de esta ciencia sublime, las matemticas, slo se le revelan a aquellos que tienen el valor de
profundizar en ella. Carl Friedrich Gauss
Un axioma es una proposicin que se considera evidente y se acepta sin requerir
demostracin previa. Un postulado es una proposicin no evidente por s misma, ni
demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida.

19. Un lema esuna proposicin demostrada, utilizadapara establecer un teorema menor o

unapremisa auxiliar que forma parte de unteorema ms general Un teorema es una afirmacin
quepuede ser demostrada dentro deun sistema formal. Demostrar teoremas esun asunto
central en la lgica y lamatemtica.
20. Un corolario es una conclusin obviao inevitable que se desprende de ciertosantecedentes
Bibliografa:
https://engage.intel.com/blogs/soniasanchezcosar.intel.com/2011/09/22/matematicarazonamiento-y-demostraci%C3%B3n
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf
http://es.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica

lgebra de Boole
George Boole naci el 2 de noviembre de 1815 en Lincoln, Inglaterra. En 1835 abri su
propio colegio. Estudi los trabajos de Laplace y Lagrange y se inici en el lgebra.
Public la solucin de ecuaciones diferenciales en el "Transaction of the Royal Society".
Gracias a este trabajo le concedieron la medalla de la Real Sociedad. Fue nominado para
una ctedra de matemticas en el Queens College, Cork en 1849. En el ao 1854
public Una investigacin de las leyes del pensamiento sobre las cuales son basadas las
teoras matemticas de Lgica y Probabilidad. Comienza el lgebra de la lgica
llamada Algebra Booleana la cual ahora encuentra aplicacin en la construccin de
computadores, circuitos elctricos, etc. En 1859 se public el clculo de las diferencias
finitas, "Tratado sobre el Clculo de las Diferencias Finitas" (1860), y mtodos generales
en probabilidad.
Public alrededor de 50 escritos y fue uno de los primeros en investigar las propiedades
bsicas de los nmeros, tales como la propiedad distributiva que fundamento los temas del
lgebra. Recibi grandes honores de las universidades de Dubln y Oxford y fue
elegido miembro acadmico de la Real Sociedad (1857).
Desarrollo:
Los conjuntos y las proposiciones satisfacen leyes semejantes. Estas leyes sirven para
definir una estructura matemtica abstracta denominada lgebra booleana.
Un algebra booleana es un conjunto B de elementos a, b, dotado de dos operadores
binarias llamadas suma y producto, que se denotan respectivamente por + y * tal que:

Dualidad en lgebra booleana:

El dual de un enunciado en un lgebra booleana (B, +, *) es el enunciado que resulta
intercambiando + y * y los elementos neutros U y 0 en el enunciado original; por ejemplo,
el dual de es:

El dual de un teorema en un lgebra booleana es tambin un teorema. O sea que, si un

enunciado es una consecuencia de aquellos axiomas, porque el enunciado dual se puede
demostrar mediante el dual, en cada paso, de la demostracin del enunciado primitivo.
Teoremas fundamentales:
Si bien los cinco axiomas presentados anteriormente no abarcan todas las propiedades de
los conjuntos y de las proposiciones, es necesario saber los siguientes teoremas:

Orden en lgebra booleana:

Considrese el teorema siguiente:
Teorema 16-2: Sea
un lgebra booleana. Entonces las siguientes condiciones son
equivalentes:
En vista del teorema anterior, se introduce la siguiente definicin:
Sea
un lgebra booleana. Se dice entonces que a es anterior a b, denotado
vlida una de las propiedades del Teorema 16-2.

si es

Teorema 16-3: La relacin definida en un lgebra booleana por

orden parcial en B, es decir:

es una relacin de

Si no se dice otra cosa, se supone que un lgebra booleana est ordenada parcialmente por
la anterior definicin.
La relacin entre las propiedades del orden parcial en un lgebra booleana B y las
operaciones de B se dan en el siguiente teorema.
Teorema 16-4: Sea

un lgebra booleana. Entonces

Un conjunto parcialmente ordenado A tal que para cualesquiera elementos a, b A existen

inf {a, b} y sup {a, b}, se llama retculo. As, pues, un lgebra booleana es un tipo especial
de retculo.

Ejercicios:
1. Demostrar el Teorema 16-1-1 (ley de idempotencia):

2.

Demostrar el Teorema 16-1-2:

3.

Demostrar el Teorema 16-1-3 (ley de involucin):

; esto es, si

Demostrar la unicidad de los elementos neutros, esto es, que:

(a) Si
son elementos neutros aditivos, entonces
4.

(b) Si

5.

son elementos neutros multiplicativos, entonces

Demostrar el Teorema 16-1-4: Los elementos neutros son complementos el uno del
otro, esto es,

CIRCUITOS LOGICOS
Introduccin

Se busca explicar de manera fcil pero completa lo que es un Circuito Lgico, la funcin
que este desempea y todos los componentes del mismo, as como dar una explicacin del
en que se basan los Circuitos Lgicos.

Los circuitos de conmutacin y temporizacin, o circuitos lgicos, forman la base de

cualquier dispositivo en el que se tengan que seleccionar o combinar seales de manera
controlada. Entre los campos de aplicacin de estos tipos de circuitos pueden mencionarse
la conmutacin telefnica, las transmisiones por satlite y el funcionamiento de las
computadoras digitales.
La lgica digital es un proceso racional para adoptar sencillas decisiones de 'verdadero' o
'falso' basadas en las reglas del lgebra de Boole. El estado verdadero se representado por
un 1, y falso por un 0, y en los circuitos lgicos estos numerales aparecen como seales de
dos tensiones diferentes. Los circuitos lgicos se utilizan para adoptar decisiones
especficas de 'verdadero-falso' sobre la base de la presencia de mltiples seales
'verdadero-falso' en las entradas. Las seales se pueden generar por conmutadores
mecnicos o por transductores de estado slido. La seal de entrada, una vez aceptada y
acondicionada (para eliminar las seales elctricas indeseadas, o ruidos), es procesada por

los circuitos lgicos digitales. Las diversas familias de dispositivos lgicos digitales, por lo
general circuitos integrados, ejecutan una variedad de funciones lgicas a travs de las
llamadas puertas lgicas, como las puertas OR, AND y NOT y combinaciones de las
mismas (como 'NOR', que incluye a OR y a NOT). Otra familia lgica muy utilizada es la
lgica transistor-transistor. Tambin se emplea la lgica de semiconductor complementario
de xido metlico, que ejecuta funciones similares a niveles de potencia muy bajos pero a
velocidades de funcionamiento ligeramente inferiores. Existen tambin muchas otras
variedades de circuitos lgicos, incluyendo la hoy obsoleta lgica restato-transistor y la
lgica de acoplamiento por emisor, utilizada para sistemas de muy altas velocidades.

Los bloques elementales de un dispositivo lgico se denominan puertas lgicas digitales.

Una puerta Y (AND) tiene dos o ms entradas y una nica salida. La salida de una puerta Y
es verdadera slo si todas las entradas son verdaderas. Una puerta O (OR) tiene dos o ms
entradas y una sola salida. La salida de una puerta O es verdadera si cualquiera de las
entradas es verdadera, y es falsa si todas las entradas son falsas. Una puerta INVERSORA
(INVERTER) tiene una nica entrada y una nica salida, y puede convertir una seal
verdadera en falsa, efectuando de esta manera la funcin negacin (NOT). A partir de las
puertas elementales pueden construirse circuitos lgicos ms complicados, entre los que
pueden mencionarse los circuitos biestables (tambin llamados flip-flops, que son
interruptores binarios), contadores, comparadores, sumadores y combinaciones ms
complejas.
En general, para ejecutar una determinada funcin es necesario conectar grandes cantidades
de elementos lgicos en circuitos complejos. En algunos casos se utilizan
microprocesadores para efectuar muchas de las funciones de conmutacin y temporizacin
de los elementos lgicos individuales. Los procesadores estn especficamente
programados con instrucciones individuales para ejecutar una determinada tarea o tareas.
Una de las ventajas de los microprocesadores es que permiten realizar diferentes funciones
lgicas, dependiendo de las instrucciones de programacin almacenadas. La desventaja de
los microprocesadores es que normalmente funcionan de manera secuencial, lo que podra
resultar demasiado lento para algunas aplicaciones. En tales casos se emplean circuitos
lgicos especialmente diseados
Los circuitos cuyos componentes realizan operaciones anlogas a las que indican los
operadores lgicos se llaman "circuitos lgicos" o "circuitos digitales".

Los operadores lgicos bsicos son "Y", "O" y "N", los cuales se representan
respectivamente con los smbolos: ^, V y ~ . Por eso, los componentes que realizan
operaciones anlogas se llaman "componentes bsicos". Los componentes que resultan de
la combinacin de dos o ms componentes bsicos se llaman "componentes combinados"
Todos los componentes arrojan una seal de salida, pero pueden recibir una o dos seales
de entrada. En general, se los llama "compuertas" (en ingls, gates). Las compuertas se
construyen con resistores, transistores, diodos, etc., conectados de manera que se obtengan
ciertas salidas cuando las entradas adoptan determinados valores. Los circuitos integrados
actuales tienen miles de compuertas lgicas.
En el cuadro siguiente se presenta la lista completa de los componentes de los circuitos
lgicos. (En letras negritas estn los nombres en castellano y en letras normales los
nombres en ingls.)

De la asociacin de componentes resultan elementos ms complejos que ya no se llaman

"componentes" sino, por ejemplo: "sumadores" (adders); "decodificadores" (decoders);
"multiplexores" (multiplexers); "memorias" (memories); "microprocesadores"
(microprocessors). Para representar un circuito lgico se pueden emplear smbolos para
componentes (bsicos y combinados) y elementos complejos, pero siempre esa
representacin se puede reducir a otra que slo incluya los componentes bsicos.

Puertas Logicas
Las puertas lgicas son los componentes electrnicos, presentados en forma de circuito
integrado mediante los cuales puede realizarse las funciones lgicas elementales.
Toda funcin lgica puede quedar definida de 3 formas diferentes: por su expresin
matemtica, por un smbolo lgico y una tabla denominada tabla de verdad que define su
comportamiento. Algunas de ellas permiten emplear un smil elctrico sencillo basado en el
empleo de interruptores.
Las funciones bsicas son el resultado de la tecnologa de fabricacin de circuitos, los
factores econmicos y de calidad nos indicaran con que elementos debemos realizar las
funciones lgicas ya que estas se podrn implementar con diferentes circuitos.
Una funcin lgica o de conmutacin est completamente especificada si a cada una de las
posibles combinaciones de las variables de entrada corresponde un valor nico y definido
de la funcin. Una funcin es incompleta si una o ms combinaciones de entrada se le
puede asignar a la funcin lgica del valor O o 1 indistintamente

Las puertas NOR y NAND son las puertas universales, pues aplicando las leyes de Morgan
se puede realizar con ellas cualquier ecuacin y resolver cualquier automatismo. Se
obtienen circuitos ms simples y con menor posibilidad de error.
Bibliografa
http://www.solociencia.com/electronica/electronica-circuitos-logicos.htm
http://www.luventicus.org/articulos/03U008/index.html
http://lamont13.wikispaces.com/file/view/tema+electronica.pdf