Tipos de Lgica Lgica Modal

Una lgica modal es un sistema formal que intenta capturar el comportamiento deductivo de algn grupo de operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios.1 Por ejemplo, en la oracin "es necesario que 2+2=4", la expresin "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4". En un sentido ms restringido, sin embargo, se llama lgica modal al sistema formal que se ocupa de las expresiones "es necesario que" y "es posible que".1 Este artculo trata exclusivamente sobre este sistema formal. Vocabulario La lgica modal slo agrega dos smbolos al vocabulario de la lgica proposicional: el smbolo , que representa la expresin del lenguaje natural "es necesario que", y el smbolo , que representa la expresin "es posible que". Ambos smbolos se prefijan a proposiciones, de modo que se lee "es necesario que p", y se lee "es posible que p". Adems, en la lgica modal clsica, ambos smbolos son interdefinibles por medio del otro y de la negacin; as:

Esto implica que en principio, slo es necesario tomar uno de los dos smbolos como primitivo, ya que el otro puede ser definido a partir de ste y del vocabulario de la lgica proposicional. En general, el smbolo que se toma como primitivo es el de necesidad. Estas interdefiniciones son paralelas a las de los cuantificadores en la lgica de primer orden:

Las razones de este pararelismo resultarn ms claras en la seccin de semntica de mundos posibles. Gramtica La gramtica nos indica qu secuencias de signos del vocabulario estn bien construidas. A estas secuencias se las llama frmulas bien formadas. La gramtica de la lgica modal es igual a la de la lgica proposicional, excepto que aade una regla para los operadores modales:

Si es una frmula bien formada, entonces

tambin lo es.

Algunos ejemplos de frmulas bien formadas del lenguaje sern, por lo tanto:

Reglas de Inferencia La regla de inferencia ms propia de la lgica modal se llama N (o regla de Necesitacin), y dice que si una frmula es un teorema, entonces "es necesario que " tambin es un teorema. En otros trminos:

A esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lgica proposicional. Axiomas Cules deben ser los axiomas de la lgica modal es algo muy debatido. Diferentes conjuntos de axiomas permiten demostrar diferentes teoremas, y por lo tanto los axiomas que se eligen muchas veces dependen de los teoremas que se quieren demostrar, y de la posicin filosfica que se defiende. La siguiente es una lista de algunos de los axiomas ms conocidos: Nombre K T (o M) 4 5 B Axioma Lectura informal Si es necesario que implica , entonces si es necesario, tambin lo es. Si es necesario que , entonces es el caso. Si es necesario que , entonces es necesario que sea necesario. Si es posible que , entonces es necesario que sea posible. Si es el caso, entonces es necesario que sea posible.

La lgica modal es tan antigua como el Organon de Aristteles y tuvo gran desarrollo durante la Edad Media. La lgica modal contempornea, sin embargo, surge a principios del siglo XX como una reaccin a la lgica clsica que madur en las obras de autores como Gottlob Frege, Bertrand Russell y Alfred North Whitehead. Los patrones de razonamiento vlidos, aquellos que indican una relacin de consecuencia lgica entre un conjunto de enunciados las premisas y otro enunciado la conclusin

en un argumento, estn en parte determinados por cules sean las constantes lgicas. En la lgica clsica los siguientes patrones de razonamiento son vlidos: 1. 2. 3. 4. 5. Estos patrones de razonamiento se conocen como las paradojas de la implicacin material, porque son argumentos vlidos que sin embargo parecen poco naturales o incluso absurdos. Por ejemplo, los siguientes argumentos seran vlidos: 3. Si hoy es lunes entonces maana es martes y si hoy es mircoles entonces maana es jueves. Por lo tanto, o bien, si hoy es lunes entonces maana es jueves, o bien, si hoy es mircoles entonces maana es martes. 5. No es el caso que si Dios existe entonces castigar a los buenos. Por lo tanto, Dios existe. Del segundo uno no dira que tiene premisas verdaderas y conclusin falsa, pero como mnimo parece extrao que podamos probar la existencia de Dios de un modo tan sencillo a partir de una premisa tan plausible (no parece que haya una relacin de consecuencia lgica entre la premisa y la conclusin!). En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo despus de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional ms adecuado para recoger el significado de la expresin "si... entonces" del lenguaje natural. Lewis lo llama implicacin estricta. El nuevo condicional requiere, para ser verdadero, una relacin ms fuerte entre el antecedente y el consecuente que el condicional clsico. Lewis define su condicional estricto en trminos del condicional clsico ms la nocin de necesidad: "p implica estrictamente q" si y slo si De 1918 a 1932 Lewis prepara la segunda edicin del Survey. Durante este perodo surgen multitud de trabajos sobre el tema. Becker desva la atencin del anlisis de las conectivas tipo "condicional estricto" a las propias nociones modales: son stas las que requieren clarificacin. Existen al menos tres factores que hicieron que la lgica modal tuviera "mala prensa" en la primera mitad del siglo XX. En primer lugar, la interpretacin clsica de la consecuencia lgica eliminaba las nociones modales en favor de una visin formalista. En segundo lugar, a diferencia del caso de la lgica clsica (que fue axiomatizada de un modo completo por Frege), las nociones modales dieron lugar a distintos sistemas axiomticos. En tercer lugar, la lgica modal se desarroll sin un anlisis semntico. A esto se suman las crticas de Quine que comienzan en los aos treinta.

Lgica Borrosa

La lgica borrosa es una rama de la inteligencia artificial que se funda en el concepto "Todo es cuestin de grado" , lo cual permite manejar informacin vaga o de difcil especificacin si quisiramos hacer cambiar con esta informacin el funcionamiento o el estado de un sistema especifico. Es entonces posible con la lgica borrosa gobernar un sistema por medio de reglas de 'sentido comn' las cuales se refieren a cantidades indefinidas. Las reglas involucradas en un sistema borroso, pueden ser aprendidas con sistemas adaptativos que aprenden al ' observar ' como operan las personas los dispositivos reales, o estas reglas pueden tambin ser formuladas por un experto humano. En general la lgica borrosa se aplica tanto a sistemas de control como para modelar cualquier sistema continuo de ingeniera, fsica, biologa o economa La lgica borrosa es entonces definida como un sistema matemtico que modela funciones no lineales, que convierte unas entradas en salidas acordes con los planteamientos lgicos que usan el razonamiento aproximado. Se fundamenta en los denominados conjuntos borrosos y un sistema de inferencia borroso basado en reglas de la forma " SI....... ENTONCES...... ", donde los valores lingsticos de la premisa y el consecuente estn definidos por conjuntos borrosos, es as como las reglas siempre convierten un conjunto borroso en otro.

Historia
Los conjuntos difusos fueron introducidos por primera vez en 1965; la creciente disciplina de la lgica difusa provee por s misma un medio para acoplar estas tareas. En cierto nivel, la lgica difusa puede ser vista como un lenguaje que permite trasladar sentencias sofisticadas en lenguaje natural a un lenguaje matemtico formal. Mientras la motivacin original fue ayudar a manejar aspectos imprecisos del mundo real, la prctica temprana de la lgica difusa permiti el desarrollo de aplicaciones prcticas. Aparecieron numerosas publicaciones que presentaban los fundamentos bsicos con aplicaciones potenciales. Esta frase marc una fuerte necesidad de distinguir la lgica difusa de la teora de probabilidad. Tal como la entendemos ahora, la teora de conjuntos difusos y la teora de probabilidad tienen diferentes tipos de incertidumbre.

Conceptos Bsicos
Conjuntos difusos. La mayora de los fenmenos que encontramos cada da son imprecisos, es decir, tienen implcito un cierto grado de difusidad en la descripcin de su naturaleza. Esta imprecisin puede estar asociada con su forma, posicin, momento, color, textura, o incluso en la semntica que describe lo que son. En muchos casos el mismo concepto puede tener diferentes grados de imprecisin en diferentes contextos o tiempo. Un da clido en invierno no es exactamente lo mismo que un da clido en primavera. La definicin exacta de cuando la temperatura va de templada a caliente es imprecisa -no podemos identificar un punto simple de templado, as que emigramos a un simple grado, la temperatura es ahora considerada caliente. Este tipo de imprecisin o difusidad asociado continuamente a los fenmenos es comn en todos los campos de estudio: sociologa, fsica, biologa, finanzas, ingeniera, oceanografa, psicologa, etc. Conceptos imprecisos. Aceptamos la imprecisin como una consecuencia natural de ''la forma de las cosas en el mundo''. La dicotoma entre el rigor y la precisin del modelado matemtico en todo los campos y la intrnseca incertidumbre de ''el mundo real'' no es generalmente aceptada por los cientficos, filsofos y analistas de negocios. Nosotros simplemente aproximamos estos eventos a funciones numricas y escogemos un resultado en lugar de hacer un anlisis del conocimiento emprico. Sin embargo procesamos y entendemos de manera implcita la imprecisin de la informacin fcilmente. Estamos capacitados para formular planes, tomar decisiones y reconocer conceptos compatibles con altos niveles de vaguedad y ambigedad. considere las siguientes sentencias:

La temperatura est caliente La inflacin actual aumenta rpidamente Los grandes proyectos generalmente tardan mucho

Nuestros precios estn por abajo de los precios de la competencia IBM es una compaa grande y agresiva Alejandro es alto pero Ana no es bajita

Estas proposiciones forman el ncleo de nuestras relaciones con ''la forma de las cosas en el mundo''. Sin embargo, son incompatibles con el modelado tradicional y el diseo de sistemas de informacin. Si podemos incorporar estos conceptos logramos que los sistemas sean potentes y se aproximen ms a la realidad. Pero, es la imprecisin un concepto artificial utilizado para aumentar o disminuir en uno o ms las propiedades de los fenmenos? o es una parte intrnseca del fenmeno en s mismo?. Esta es una pregunta importante ya que es la parte fundamental de las medidas de la teora difusa. Como veremos la fusificacin es independiente de cualquier capacidad para medir, ya que un conjunto difuso es un conjunto que no tiene lmites bien definidos. Un conjunto difuso tiene muchas propiedades intrnsecas que afectan la forma del conjunto, su uso y como participa en un modelo. Las propiedades ms importantes de un conjunto difuso son las concernientes a las dimensiones verticales del conjunto difuso (altura y normalizacin) y las dimensiones horizontales (conjunto soporte y cortes "alpha"). La altura de un conjunto difuso es como mximo un grado de pertenencia y es una cota cercana al concepto de normalizacin. La superficie de la regin de un conjunto difuso es el universo de valores. Todos estos conceptos se tratarn ms adelante. Es decir un conjunto difuso A se considera como un conjunto de pares ordenados, en los que el primer componente es un nmero en el rango [0,1] que denota el grado de pertenencia de un elemento u de U en A, y el segundo componente especifica precisamente quin es se elemento de u. En general los grados de pertenencia son subjetivos en el sentido de que su especificacin es una cuestin objetiva. Se debe aclarar que aunque puede interpretarse como el grado de verdad de que la expresin ''u A'' sea cierta, es ms natural considerarlo simplemente como un grado de pertenencia. Puede notarse adems que: a) Mientras ms prximo est (u) a el valor 1, se dice que u pertenece ms a A (de modo que 0 y 1 denotan la no pertenencia y la pertenencia completa, respectivamente). b) Un conjunto en el sentido usual es tambin difuso pues su funcin caracterstica u es tambin una funcin u [0,1]; o sea que los conjuntos difusos son una generalizacin de los conjuntos usuales. Ejemplo: Sea U =11, 2, 3, 4, 5, 6, 7, 8, 9, entonces los conjuntos definidos a continuacin son difusos:

POCOS = (.4/1, .8/2, 1/3, .4/4) VARIOS = (.5/3, .8/4, 1/5, 1/6, .8/7, .5,8) MUCHOS =(.4/6, .6/7, .8/8, .9/9,1/10)

Note que el elemento 4 pertenece en grado .4 al conjunto POCOS, en grado .8 al conjunto VARIOS y en grado .0 a MUCHOS. Zadeh ha hecho algunas extensiones a los conceptos de conjuntos difusos ordinarios que se han explicado; por ejemplo los conjuntos difusos de nivel-m y los conjuntos difusos tipo-n. Para un conjunto difuso de nivel-m se considera como su universo de discusin al conjunto de conjuntos difusos de nivel-(m-1), sobreentendiendo que los conjuntos difusos de nivel-1 son conjuntos difusos ordinarios. Para los conjuntos difusos tipo-n, los valores de las funciones de pertenencia son conjuntos difusos de tipo-(n-1) del intervalo [0,1] (en lugar de ser puntos de [0,1]). Tambin los conjuntos difusos tipo-1 son equivalentes a los conjuntos difusos ordinarios.

Operaciones. En la lgica Booleana tradicional, los conjuntos son considerados como sistemas bivalentes con sus estados alternando entre inclusin y exclusin. La caracterstica de la funcin discriminante refleja este espacio bivaluado Esto indica que la funcin de pertenencia para el conjunto A es cero si x no es un elemento en A y la funcin de pertenencia es si x es un elemento en A. Dado que existen solamente dos estados, la transicin entre estos dos estados es siempre inmediata. La pertenencia de estos conjuntos est siempre totalmente categorizada y no existe ambigedad o dicotoma acerca de la pertenencia. Existen 4 operaciones bsicas de conjuntos en esta lgica: unin, interseccin, complemento y unin exclusiva.

Al igual que en los conjuntos convencionales, existen definiciones especficas para combinar y especificar nuevos conjuntos difusos. Este conjunto de funciones tericas provee las herramientas fundamentales de la lgica. En el caso usual, con las operaciones comunes de interseccin, unin y complemento, el conjunto de conjuntos de U forman un lgebra booleana, es decir se cumplen las condiciones de asociatividad, conmutatividad, elementos neutros, dem potencia, absorcin, distributividad, complemento y las leyes de Morgan. Las tres operaciones mencionadas se pueden extender de varias formas a conjuntos difusos, de modo que al restringirlas a los conjuntos usuales, coincidan con las comunes. Estas extensiones resultantes satisfacen en forma general slo a algunas de las condiciones listadas anteriormente, y para mantener la vigencia de alguna, ser obligatorio sacrificar a otras. En el sistema se opt por extender las operaciones en el sentido clsico, es decir, dados dos conjuntos difusos A y B, se definen las operaciones extendidas de la siguiente forma Dado que los conjuntos difusos no se particionan en el mismo sentido que los conjuntos Booleanos, estas operaciones son aplicadas al nivel de pertenencia, como una consecuencia de los conjuntos difusos. Decidir si un valor es o no es miembro de cualquier conjunto difuso en particular, requiere algunas nociones de cmo esta construido el conjunto, del universo y de los lmites de ste. Las etiquetas lingsticas y operadores. El centro de las tcnicas de modelado difuso es la idea de variable lingstica. Desde su raz, una variable lingstica es el nombre de un conjunto difuso. Si tenemos un conjunto difuso llamado ''largo'' ste es una simple variable lingstica y puede ser empleada como una regla-base en un sistema basado en la longitud de un proyecto en particular Si duracin-proyecto es largo entonces la-terminacin-de-tareas es DECRECIENTE; Una variable lingstica encapsula las propiedades de aproximacin o conceptos de imprecisin en un sistema y da una forma de computar adecuada. Esto reduce la aparente complejidad de describir un sistema que debe concordar con su semntica. Una variable lingstica siempre representa un espacio difuso. Lo importante del concepto de variable lingstica es su estimacin de variable de alto orden ms que una variable difusa. En el sentido de que una variable lingstica toma variables difusas como sus valores. En el campo de la semntica difusa cuantitativa al significado de un trmino "x" se le representa como un conjunto difuso M(x) del universo de discusin. Desde este punto de vista, uno de los problemas bsicos en semntica es que se desea calcular el significado de un trmino compuesto x=x , x ,...,x partiendo del conocimiento del significado de sus componentes atmicos x . La idea bsica sugerida por Zadeh es que una etiqueta lingstica tal como ''muy'', ''ms o menos'', ''ligeramente'', etc... puede considerarse como un operador que acta sobre un conjunto difuso asociado al significado de su operando. Por ejemplo en el caso de un trmino compuesto ''muy alto'', el operador ''muy'' acta en el conjunto difuso asociado al significado del operando ''alto''. Una representacin aproximada para una etiqueta lingstica se puede lograr en trminos de combinaciones o composiciones de las operaciones bsicas explicadas en la seccin anterior. Es importante aclarar que se har mayor nfasis en que estas representaciones se proponen principalmente para ilustrar el enfoque, ms que para proporcionar una definicin exacta de las etiquetas lingsticas. Zadeh tambin considera que las etiquetas lingsticas pueden clasificarse en dos categoras que informalmente se definen como sigue:

Tipo I: las que pueden representarse como operadores que actan en un conjunto difuso: ''muy'', ''ms o menos'', ''mucho'', ''ligeramente'', ''altamente'', ''bastante'', etc. y, Tipo II: las que requieren una descripcin de cmo actan en los componentes del conjunto difuso (operando): ''esencialmente'', ''tcnicamente'', ''estrictamente'', ''prcticamente'', ''virtualmente'', etc... En otras palabras, las etiquetas lingsticas pueden ser caracterizadas cmo operadores ms que construcciones complicadas sobre las operaciones primitivas de conjuntos difusos. Ejemplos de etiquetas tipo I. De acuerdo a ste punto de vista y sabiendo que el lenguaje natural es muy rico y complejo, tomamos el operador ''muy'' que podemos caracterizar con un significado de que an cuando no tenga validez universal sea slo una aproximacin. Asumimos que si el significado de un trmino x es un conjunto difuso A, entonces el significado de muy X. Ms y menos Se pueden definir etiquetas lingsticas artificiales, por ejemplo: ms, menos, que son instancias de lo que

puede llamarse acentuador y desacentuador respectivamente, cuya funcin es proporcionar ligeras variantes de la concentracin y la dilatacin. Los exponentes se eligen de modo que se de la igualdad aproximada: mas mas x = menos muy x, y que, adems, se pueden utilizar para definir etiquetas lingsticas cuyo significado difiere ligeramente de otras, ejemplo: Mas o menos Otra etiqueta lingstica interesante es ''ms o menos'' que en sus usos ms comunes como ''ms o menos inteligente'', ''ms o menos rectangular'' etc, juega el papel de difusificador. Ligeramente Su efecto es dependiente de la definicin de proximidad u ordenamientos en el dominio del operando. Existen casos, sin embargo, en los que su significado puede definirse en trminos de etiquetas lingsticas tipo I, bajo la suposicin de que el dominio del operando es un conjunto ordenado linealmente. Clase de Es una etiqueta lingstica que tiene el efecto de reducir el grado de pertenencia de los elementos que estn en el ''centro'' (grados de pertenencia grandes) de una clase x e incrementa el de aquellos que estn en su periferia (grados de pertenencia pequeos). Regular Es una etiqueta que tiene el efecto de reducir el grado de pertenencia de aquellos elementos que tienen tanto un alto grado de pertenencia al conjunto como de aquellos que lo tienen pequeo, y slo aumenta el grado de pertenencia de aquellos elementos que tienen un grado de pertenencia cercano al . Etiquetas tipo II. Su caracterizacin envuelve una descripcin de forma que afectan a los componentes del operando, y por lo tanto es ms compleja que las del tipo I. En general, la definicin de una etiqueta de este tipo debe formularse como un algoritmo difuso que envuelve etiquetas tipo I. Su efecto puede describirse aproximadamente como una modificacin de los coeficientes de ponderacin de una combinacin convexa. Como la magnitud de las ponderaciones es una medida del atributo asociado, intuitivamente una etiqueta de este tipo tiene el efecto de aumentar las ponderaciones de los atributos importantes y disminuir los que relativamente no lo son.

Un tipo de lgica que reconoce ms que simples valores verdaderos y falsos. Con lgica difusa, las proposiciones pueden ser representadas con grados de veracidad o falsedad. Por ejemplo, la sentencia "hoy es un da soleado", puede ser 100% verdad si no hay nubes, 80% verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el da. La Lgica Difusa ha sido probada para ser particularmente til en sistemas expertos y otras aplicaciones de inteligencia artificial. Es tambin utilizada en algunos correctores de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha.

Operaciones entre conjuntos Difusos

Los Conjuntos Difusos se pueden operar entre s del mismo modo que los conjuntos clsicos. Puesto que los primeros son una generalizacin de los segundos, es posible definir las operaciones de interseccin, unin y complemento haciendo uso de las mismas funciones de pertenencia: B (x) = minA(x), B(x) )A B (x) = max ( A(x), B(x) )A A (x) = 1 - A(x) En realidad, estas expresiones son bastante arbitrarias y podran haberse definido de muchas otras maneras. Esto obliga a considerar otras definiciones ms generales para las operaciones entre los Conjuntos Difusos. En la actualidad se considera correcto definir el operador interseccin mediante cualquier aplicacin t-norma y el operador unin mediante cualquier aplicacin s-norma. < Variables Lingsticas La Teora de Conjuntos Difusos puede utilizarse para representar expresiones lingsticas que se utilizan para describir conjuntos o algoritmos. Los Conjuntos Difusos son capaces de captar por s mismos la vaguedad lingstica de palabras y frases comnmente aceptadas, como "gato pardo" o "ligero cambio". La habilidad humana de comunicarse mediante definiciones vagas o inciertas es un atributo importante de la inteligencia. Una Variable Lingstica es aquella variable cuyos valores son palabras o sentencias que van a enmarcarse en un lenguaje predeterminado. Para estas variables lingsticas se utilizar un nombre y un valor lingstico sobre un Universo de Discurso. Adems, podrn dar lugar a sentencias generadas por reglas sintcticas, a las que se les podr dar un significado mediante distintas reglas semnticas. Los Conjuntos Difusos pueden utilizarse para representar expresiones tales como:

X es PEQUEO. La velocidad es RPIDA. El ganso es CLARO.

Las expresiones anteriores pueden dar lugar a expresiones lingsticas ms complejas como:

X no es PEQUEO. La velocidad es RPIDA pero no muy RPIDA. El ganso es CLARO y muy ALEGRE.

As, se pueden ir complicando las expresiones. Por ejemplo, la expresin "x no es PEQUEO" puede calcularse a partir de la original calculando el complemento de la siguiente forma: _no_PEQUEA (x) = 1- _PEQUEO (x) Tratando de esta forma los distintos modificadores lingsticos (muy, poco, rpido, lento...) pueden ir calculndose todas las expresiones anteriores

Lgica Polivalente

Una lgica plurivalente o lgica polivalente es un sistema lgico que rechaza el principio del tercero excluido de las lgicas bivalentes y admite ms valores de verdad que los tradicionales verdadero y falso.1 Distintas lgicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito. Las lgicas polivalentes se difundieron especialmente a partir de los trabajos de los filsofos polacos Jan ukasiewicz y Emil Post y sus relaciones con la fsica cuntica, pero fueron expuestas anteriormente, con diferentes enfoques, por Hegel, Hugh MacColl, Charles Sanders Peirce y Nicolai A. Vasiliev. Stephen Kleene elabor las tablas de verdad para un sistema de lgica trivalente. Un ejemplo para ilustrar la trivalenecia en fsica ha sido la paradoja del gato de Schrdinger. Pueden considerarse como polivalentes:

la lgica dialctica de Hegel la lgica trivalente para valores infinitos de ukasiewicz la lgica modal, especialmente los modelos de Kripke, que definen tres modelos de verdad: lo verdadero, lo falso y lo problemtico la lgica difusa de Zadeh, que enfatiza en la incertidumbre y es una lgica de la probabilidad la lgica polivalente de Gdel, a partir de su teorema de la incompletitud la lgica intuicionista desarrollada por Brouwer, que restringe la validez de la lgica clsica a lo demostrable la logica producto, tetravalente

La lgica trivalente como la del universo de los modelos de Kripke que contienen tres "mundos" posibles. Otras lgicas se proponen como polivalentes o n-valentes, de n mundos o un nmero infinito de "mundos" posibles.

La lgica dialctica de Hegel

El acto mismo del conocimiento es la introduccin de la contradiccin. El principio del tercero excluido, "algo o es A o no es A", es la proposicin que quiere rechazar la contradiccin y al hacerlo incurre precisamente en contradiccin: A debe ser +A -A, con lo cual ya queda introducido el tercer trmino, A que no es ni + ni - y por lo mismo es +A y -A. Algo es ello mismo y es otro, porque en realidad todo cambia continuamente y la misma cosa se transforma en otra cosa. Es una lgica del movimiento, la transicin y la transformacin.

Lgica polivalente de Gdel

Formula lo siguiente::

si v(x) = 0 y 0 de otro modo.

Lgica producto
Formula lo siguiente::

si v(x) = 0 y 0 de otro modo.

Lgica polivalente y doble negacin

Es interesante observar como en las lgicas de Gdel y producto, al igual que en la lgica intuicionista, se niega el principio de la doble negacincon el fin de mantener la validez del principio de no contradiccin. En particular, a causa de la particular definicin del operador NOT se verifica que: es un teorema no es un teorema. es un teorema. es un teorema.

Lgica Inductiva

El razonamiento inductivo es una modalidad del razonamiento no deductivo que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares. Por ejemplo, de la observacin repetida de objetos o acontecimientos de la misma ndole se establece una conclusin para todos los objetos o eventos de dicha naturaleza. Premisas:

He observado el cuervo nmero 1 y era de color negro. El cuervo nmero 2 tambin era negro. El cuervo nmero 3 tambin era negro.

Conclusin:

Luego, todos los cuervos son negros.

En este razonamiento se generaliza para todos los elementos de un conjunto la propiedad observada en un nmero finito de casos. Ahora bien, la verdad de las premisas (10.000 observaciones favorables a esta conclusin, por ejemplo) no convierte en verdadera la conclusin, ya que podra haber una excepcin. De ah que la conclusin de un razonamiento inductivo slo pueda considerarse probable y, de hecho, la informacin que obtenemos por medio de esta modalidad de razonamiento es siempre una informacin incierta y discutible. El razonamiento slo es una sntesis incompleta de todas las premisas. En un razonamiento inductivo vlido, por tanto, es posible afirmar las premisas y, simultneamente, negar la conclusin sin contradecirse. Acertar en la conclusin ser una cuestin de probabilidades.1 Dentro del razonamiento inductivo se distinguen dos tipos:

Completo: se acerca a un razonamiento deductivo porque la conclusin no aporta ms informacin que la ya dada por las premisas. En l se estudian todos los individuos abarcados por la extensin del concepto tratado, por ejemplo: Jessica y Alan tienen tres hijos: Sofa, Andrea y Kevin: Sofa es rubia, Andrea es rubia, Kevin es rubio, Por lo tanto todos los hijos de Alan y Jessica son rubios.

Incompleto: la conclusin va ms all de los datos que dan las premisas. A mayor cantidad de datos, mayor probabilidad. La verdad de las premisas no garantiza la verdad de la conclusin. Por ejemplo: Mara es rubia, Juan es rubio, Pedro es rubio,

Jorge es rubio; Por lo que todas las personas son rubias. Lgica Deductiva

En lgica, una deduccin es un argumento donde la conclusin se infiere necesariamente de las premisas.1 En su definicin formal, una deduccin es una secuencia finita de frmulas, de las cuales la ltima es designada como la conclusin (la conclusin de la deduccin), y todas las frmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de frmulas previas en la secuencia por medio de reglas de inferencia.1 2 Por ejemplo, la siguiente es una deduccin de la frmula lgica proposicional: en el sistema de la

Se trata de una secuencia de tres frmulas. Si esta secuencia ha de ser una deduccin, entonces la ltima frmula ser la conclusin, es decir la frmula siendo deducida, y las otras dos deben ser, o bien premisas, o bien axiomas, o bien deducciones previas. La primera frmula, es una instancia del esquema de axioma (en el sistema de Jan ukasiewicz), y por lo tanto es un axioma. La segunda frmula, , no es un axioma, y tampoco puede ser deducida de la frmula previa, de modo que es una premisa. Para que esta secuencia sea una deduccin, entonces, slo falta que sea posible inferir la ltima frmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. Y en efecto, por medio del modus ponens (la nica regla de inferencia del sistema de ukasiewicz) es posible deducir la ltima frmula a partir de las otras dos. Esta secuencia constituye, por lo tanto, una deduccin.

Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 Halle, 6 de enero de 1918) fue un matemtico alemn, inventor con Dedekind y Frege de la teora de conjuntos, que es la base de las matemticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la nocin de infinito bajo la forma de los nmeros transfinitos (cardinales y ordinales). Vivi aquejado por episodios de depresin, atribuidos originalmente a las crticas recibidas y sus fallidos intentos de demostracin de la hiptesis del continuo, aunque actualmente se cree que posea algn tipo de "depresin ciclo-manaca".1 Hoy en da, la comunidad matemtica reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lgico. Biografa Naci en el seno de una familia juda. Su padre fue el comerciante Georg Waldemar Cantor y su madre Mara Bohm. Su padre haba nacido en Copenhague, Dinamarca, pero emigr siendo joven al lugar donde nacera su hijo en 1845. Una enfermedad pulmonar provoc que el padre se trasladara en 1856 a Frncfort, Alemania. Todos estos eventos provocaron que distintas patrias reclamaran como hijo a Georg Cantor. La educacin primaria de Georg Cantor fue confiada a un profesor particular y despus sigui un curso en la escuela elemental de San Petersburgo. Cuando la familia se mud a Alemania, Cantor asisti a escuelas privadas de Frncfort y Damnstandt primero, pero luego ingres al Instituto de Wiesbaden, a sus 15 aos. Los estudios universitarios de Georg Cantor iniciaron en Zrich, en 1862. Pero pas a la Universidad de Berln al siguiente ao, despus de la muerte de su padre. En Berln se especializ en matemticas, filosofa y fsica. El inters de joven recay en las dos primeras. Tuvo como profesores en el campo de matemticas a Ernst Kummer, Karl Weierstrass y Leopold Kronecker. Uno de los actos de Cantor fue la siguiente afirmacin: ax + by + cz = 0 En la que a, b y c son nmeros enteros. A los 27 aos dio clase en la Universidad de Halle. A partir de 1872 fue catedrtico. Sus primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de una teora de nmeros irracionales. En 1874, apareci el primer trabajo de Cantor sobre la Teora de conjuntos. El estudio de los infinitos fue considerado por su maestro Kronecker como locura matemtica. Cantor descubri que los conjuntos infinitos no tienen siempre el mismo tamao, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamao que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, ms grandes los unos que los otros. Entre estos

infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial R. Este hecho supuso un desafo para un espritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendan sus descubrimientos no le ayudaron. Sufri de depresin, y fue internado repetidas veces en hospitales psiquitricos. Su mente luchaba contra varias paradojas de la teora de los conjuntos, que parecan invalidar toda su teora (hacerla inconsistente o contradictoria, en el sentido de que una cierta propiedad podra ser a la vez cierta y falsa). Adems, trat durante muchos aos de probar la hiptesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teora. El constructivismo negar este axioma, entre otras cosas, desarrollando toda una teora matemtica alternativa a la matemtica moderna. Empez a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios, y escribi artculos religiosos sobre el tema. Georg Cantor falleci en Halle, Alemania el 6 de enero de 1918, a los 73 aos de edad. Actualmente, su obra es ampliamente reconocida y ha sido acreedora de varios honores.

Bertrand Arthur William Russell, 3er Conde de Russell, OM, MRS, (18 de mayo de 1872, Trellech, Monmouthshire, Gales - 2 de febrero de 1970, Penrhyndeudraeth, Gales) fue un filsofo, matemtico y escritor britnico. Bertrand Russell fue hijo de John Russell, Vizconde de Amberley y de Katrine Louisa Stanley (1844 - 1874), esta fue hija de Edward Stanley, 2. Baron Stanley de Alderley, y hermana de Rosalind Howard, condesa de Carlisle. Escribi sobre una amplia gama de temas, desde los fundamentos de las matemticas y la teora de la relatividad al matrimonio, los derechos de las mujeres y el pacifismo. La vida de Russell fue apasionada, intensa y larga. Se fragu un nombre tanto en los crculos de especialistas como entre las multitudes que lo seguan con fervor o lo odiaban con intensidad. En matemticas su gran contribucin es la indudablemente importante Principia Mathematica con Alfred North Whitehead, libro en tres volmenes en donde a partir de ciertas nociones bsicas de la lgica y la teora de conjuntos se pretenda deducir la totalidad de las matemticas. Kurt Gdel ech abajo la pretendida demostracin, mostrando as el poder de los lenguajes formales, la posibilidad de modelar las matemticas y la fertilidad de la lgica. Un libro profundamente influyente e importante que contribuy al desarrollo de la lgica, la teora de conjuntos, la inteligencia artificial y la computacin, as como a la formacin de pensadores de la talla de David Hilbert, Ludwig Wittgenstein, Alan Turing, Willard Van Orman Quine y Kurt Gdel. En filosofa contribuy prcticamente en todas las reas, desde la misma metodologa abogando siempre por el anlisis y alertando a los filsofos de las trampas del lenguaje, sentando as el mtodo y las motivaciones de la filosofa analtica. Sus contribuciones de contenido incluyen su innegable artculo maestro Sobre el Denotar y una serie de libros y artculos en problemas desde la filosofa de las matemticas, la metafsica, la epistemologa, la inferencia cientfica y la tica a una serie de enfoques interesantes y frtiles al problema mente-cuerpo, enfoques discutidos hoy en da por variedad de filsofos importantes como David Chalmers, Michael Lockwood, Thomas Nagel, Grover Maxwell, Mario Bunge, etc. Russell fue un conocido pacifista durante la Primera Guerra Mundial, aunque se manifest a favor de tomar acciones blicas durante la Segunda Guerra Mundial, alegando que un mundo en donde el fascismo fuera la ideologa reinante sera un mundo en donde lo mejor de la civilizacin habra muerto y no valdra la pena vivir. Estuvo en prisin dos veces, la primera conectada con sus actividades pacifistas durante la gran guerra y la segunda por participar en una manifestacin contra la proliferacin de armas nucleares. Contrajo matrimonio cuatro veces. La ltima vez, con Edith Finch, pudo alcanzar la paz y entendimiento que siempre busc. Tuvo tres hijos, John, Kate y Conrad. Conrad se convirti en un importante poltico del Partido Liberal Demcrata en Inglaterra y en un historiador erudito, muri recientemente quinto conde de Russell.

Bertrand Russell Russell fue tambin adems de activista y pensador de primera lnea un soberbio polemista que se convirti en el cono del racionalismo para toda una generacin. Polemiz sobre el control de natalidad, los derechos de las mujeres, la inmoralidad de las armas nucleares, y sobre las deficiencias en los argumentos y razones esgrimidos a favor de la existencia de Dios. Siempre en sus escritos hizo gala no slo de un magnfico estilo literario sino tambin de un excelente sentido del humor y una habilidad para sorprender y provocar con la irona, el sarcasmo y la metfora. Sin duda alguna Lord Russell fue uno de los pensadores ms interesantes, profundos, mordaces y activos del siglo XX y dej un enorme legado de escritos de los cuales podemos extraer importantes lecciones. En 1962, a los 90 aos, medi en la crisis de los misiles de Cuba para evitar que se desatara un ataque militar, escribiendo cartas tanto a Jrushchov como al presidente Kennedy y siendo intermediario en sus respuestas mutuas. Organiz con Albert Einstein un manifiesto que dio vida a las Conferencias de Pugwash, ante la amenaza de una guerra nuclear y pas los ltimos quince aos de su vida haciendo campaa en contra de la fabricacin de armas nucleares. En esto segua el consejo que haba dado a un entrevistador, dicindole que el deber del filsofo en esos tiempos era evitar a toda costa un nuevo holocausto, la destruccin de la humanidad. Muri pacficamente a los 98 aos, en compaa de su ltima esposa, Edith Finch.

Filosofa analtica
Russell es reconocido como uno de los fundadores de la filosofa analtica, de hecho, inici diversas vas de investigacin. A principios del siglo XX, junto con G. E. Moore, Russell fue responsable en gran medida de la "rebelin britnica contra el idealismo", una filosofa influenciada en gran medida por Georg Hegel y su discpulo britnico, F. H. Bradley. Esta rebelin tuvo repercusin 30 aos despus en Viena por la "rebelin en contra de la metafsica" de los positivistas lgicos. Russell estaba especialmente disgustado por la doctrina idealista de las relaciones internas, las cuales mantienen que para conocer sobre una cosa en concreto, debemos conocer todas sus relaciones. Russell mostr que tal postura hara del espacio, del tiempo, de la ciencia, y del concepto de nmero algo sin sentido. Russell junto con Whitehead continu trabajando en ese campo de la lgica. Russell y Moore se esforzaron para eliminar las suposiciones de la filosofa que encontraron absurdas e incoherentes, para llegar a ver claridad y precisin en la

argumentacin por el uso exacto del lenguaje y por la divisin de las proposiciones filosficas en componentes ms simples. Russell, en particular, vio la lgica y la ciencia como la principal herramienta del filsofo. Por tanto, a diferencia de la mayora de los filsofos que le precedieron a l y a sus contemporneos, Russell no crea que hubiese un mtodo especfico para la filosofa. l crea que la principal tarea del filsofo era clarificar las proposiciones ms genricas sobre el mundo y eliminar la confusin. En particular, quera acabar con los excesos de la metafsica. Russell adopt los mtodos de Guillermo de Ockham sobre el principio de evitar la multiplicidad de entidades para un mismo uso, la navaja de Ockham, como parte central del mtodo de anlisis y el realismo.

Teora del conocimiento

La teora del conocimiento de Russell atraves muchas fases. Una vez que hubo desechado el neo-Hegelismo en su juventud, Russell se consolid como un realista filosfico durante el resto de su vida, creyendo que nuestras experiencias directas tienen el papel primordial en la adquisicin de conocimiento. Aunque algunos de sus puntos de vista han perdido empuje, su influencia se mantiene slida en la distincin entre las dos maneras en que nos familiarizamos con los objetos: conocimiento por familiaridad y conocimiento por descripcin. Durante un tiempo, Russell pens que slo podamos conocer mediante "datos sensoriales" percepciones momentneas de colores, sonidos, y similares y que todo lo dems, incluyendo los objetos fsicos que esas percepciones sensoriales representan, slo pueden ser inferidos o razonados, es decir conocidos por descripcin y no directamente. Esta diferenciacin ha llegado a ser de mucho ms amplio uso, aunque Russell posteriormente rechaz la idea de una percepcin sensorial intermedia. En su ltima etapa filosfica, Russell adopt un tipo de "monismo neutral", sosteniendo que la diferenciacin entre el mundo material y el mental era, en su anlisis final, arbitraria, y que ambos pueden reducirse a una esfera neutral, un punto de vista similar al sostenido por el filsofo americano William James y que fue formulado por primera vez por Baruch Spinoza, muy admirado por Russell. Sin embargo, en lugar de la experiencia pura de James, Russell caracteriz la esencia de nuestros estados iniciales de percepcin como eventos, una postura curiosamente parecida a la filosofa de procesos de su antiguo profesor Alfred North Whitehead.

Atomismo lgico
Quizs el tratamiento de anlisis filosfico ms sistemtico y metafsico, y su logicismo centrado en el empirismo, es evidente en lo que l llam Atomismo lgico, explicado en una serie de conferencias llamada "La Filosofa del Atomismo Lgico", dictada por l. En esos discursos, Russell expone su concepto de un lenguaje ideal, isomrfico, uno que reflejara el mundo, donde nuestro conocimiento puede ser reducido a trminos de proposiciones atmicas y sus componentes de funcin de verdad (lgica matemtica). Para Russell el atomismo lgico es una forma radical de empirismo, quien adems crea que el requerimiento ms importante para tal lenguaje ideal es que cada proposicin significativa debe consistir de trminos que se refieran directamente a los objetos que nos son familiares. Russell excluy ciertos trminos lgicos y formales como todos (all), el o la (the), es (is), y as otros, de su requisito isomrfico, pero nunca estuvo completamente satisfecho acerca de nuestra comprensin de tales trminos.

Uno de los temas centrales del atomismo de Russell es que el mundo consiste de hechos lgicamente independientes, una pluradidad de hechos, y que nuestro conocimiento depende de los datos de nuestra experiencia directa con ellos. Ms tarde en su vida, Russell comenz a dudar de los aspectos del atomismo lgico, especialmente su principio de isomorfismo, aunque continu creyendo que el proceso de filosofa debiera consistir de cosas desmenuzadas en sus componentes ms simples, aunque nunca alcanzaramos la tima verdad (hecho) atmica.

COMPUERTAS LGICAS
Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1. Un dgito binario se denomina un bit. La informacin est representada en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de clculos. La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas seales, Las seales elctricas tales como voltajes existen a travs del sistema digital en cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0. Por ejemplo, un sistema digital particular puede emplear una seal de 3 volts para representar el binario "1" y 0.5 volts para el binario "0". La siguiente ilustracin muestra un ejemplo de una seal binaria. Como se muestra en la figura, cada valor binario tiene una desviacin aceptable del valor nominal. La regin intermedia entre las dos regiones permitidas se cruza solamente durante la transicin de estado. Los terminales de entrada de un circuito digital aceptan seales binarias dentro de las tolerancias permitidas y los circuitos responden en los terminales de salida con seales binarias que caen dentro de las tolerancias permitidas. La lgica binaria tiene que ver con variables binarias y con operaciones que toman un sentido lgico. La manipulacin de informacin binaria se hace por circuitos lgicos que se denominan Compuertas. Las compuertas son bloques del hardware que producen seales en binario 1 0 cuando se satisfacen los requisitos de entrada lgica. Las diversas compuertas lgicas se encuentran comnmente en sistemas de computadoras digitales. Cada compuerta tiene un smbolo grfico diferente y su operacin puede describirse por medio de una funcin algebraica. Las relaciones entrada - salida de las variables binarias para cada compuerta pueden representarse en forma tabular en una tabla de verdad. A continuacin se detallan los nombres, smbolos, grficos, funciones algebraicas, y tablas de verdad de las compuertas ms usadas. Compuerta AND (ver funcionamiento) http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge002.png:

Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1.El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria (*).Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 1.

Compuerta OR: (ver funcionamiento) http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge004.png

La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 1. Compuerta NOT: (ver funcionamiento) http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge006.png

El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y viceversa. Compuerta Separador (yes): http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge008.png

Un smbolo tringulo por s mismo designa un circuito separador, el cual no

produce ninguna funcin lgica particular puesto que el valor binario de la salida es el mismo de la entrada. Este circuito se utiliza simplemente para amplificacin de la seal. Por ejemplo, un separador que utiliza 5 volt para el binario 1, producir una salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la misma.De sta manera, un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontrara en la pequea cantidad de corriente aplicada a la entrada del separador. Compuerta NAND: (ver funcionamiento) http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge010.png

Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal).La designacin NAND se deriva de la abreviacin NOT - AND. Una designacin ms adecuada habra sido AND invertido puesto que es la funcin AND la que se ha invertido.Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND. Compuerta NOR: (ver funcionamiento) http://www.profesormolina.com.ar/electronica/componentes/int/comp_log/ima ge012.png

La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR.

Navegando por internet, encontr un diagrama excelente y bsico de la implementacin de compuertas lgicas en una cerradura electrnica, quizs sea un copy and paste (copia y pega) del proyecto pero me di a la tarea de analizarlo a detalle y se los vengo a explicar,

adems trate de cambiar el uso de las compuertas lgicas por memorias GAL (Generic array logic), para reducir el uso de las compuertas, digo que intente ya que por fortuna pase mi materia en la universidad y no tuve que hacer proyecto. Pero qu es esto de cerradura electrnica: Bien el proyecto consiste en colocar una combinacin binaria de 4 bits, en dos diferentes dip switch, por lo cual la combinacin ser de dos dgitos, en los dip switch queda guardada el numero en binario que deseamos poner, lo cual ser la contrasea para abrir una puerta, encender un motor, activar una alarma, tiene muchas aplicaciones.

El diagrama est muy sencillo por una parte tienen ambos dip switch en donde guardaran los dos dgitos de forma binaria, y por otro lado estarn dos push button conectados a un diodo en paralelo con una resistencia, o esto se puede cambiar por un 555 en modo astable que a la vez estn conectados a un circuito integrado 4518B el cual es un contador base 10 sncrono, el cual espera un pulso del reloj para cambiar de estado, con esto quiero decir que la cerradura electrnica solo acepta combinaciones binarias del 0 al 9. Espero esta explicacin breve sea de mucha utilidad a continuacin les muestro el diagrama del circuito.

Lo que est en color rojo corresponde al dip 1. Lo de color azul corresponde al dip 2.

Lo de color morado es la salida. Lo de color amarillo son los correspondientes circuitos combinatorios de cada dip switch. Lo de color caf es para reiniciar los contadores a cero. Lo de color naranja es para ver si nuestras combinaciones son correctas. Bien como ya mencione. En ambos dip switch colocamos la combinacin que ser la clave para abrir la cerradura. Ejemplo Quiero que mi clave sea 92 Entonces tenemos que poner cada digito del nmero antes mencionado en binario esto es: 9 en binario seria 1001 la cual ira en el dip switch 1. 2 en binario seria 0010 la cual ira en el dip switch 2. Ahora apretamos los push button correspondiente hasta visualizar en cada display el nmero que corresponde. En el caso del display 1 tenemos que visualizar el 9, y en el display 2 visualizamos un 2. Al ver que la combinacin corresponde con las de los dip switch apretamos el push para ver si nuestras combinaciones son correctas. Y si esto corresponde obtendrn un 1 a la salida lo cual significa que las combinaciones en cada caso son iguales y activara lo que tengan conectado en la salida, en el caso del diagrama hay un led el cual prende si todo es correcto. Disculpen la psima redaccin pero ya me estoy poniendo a trabajar en ello, espero les haya servido cualquier cosa que no entiendan por favor de comentarlo, cualquier duda avsenme. Muchas gracias.

Una puerta lgica, o compuerta lgica, es un dispositivo electrnico que es la expresin fsica de un operador booleano en la lgica de conmutacin. Cada puerta lgica consiste en una red de dispositivos interruptores que cumple las condiciones booleanas para el operador particular. Son esencialmente circuitos de conmutacin integrados en un chip. Claude Elwood Shannon experimentaba con rels o interruptores electromagnticos para conseguir las condiciones de cada compuerta lgica, por ejemplo, para la funcin booleana Y (AND) colocaba interruptores en circuito serie, ya que con uno solo de stos que tuviera la condicin abierto, la salida de la compuerta Y sera = 0, mientras que para la implementacin de una compuerta O (OR), la conexin de los interruptores tiene una configuracin en circuito paralelo. La tecnologa microelectrnica actual permite la elevada integracin de transistores actuando como conmutadores en redes lgicas dentro de un pequeo circuito integrado. El chip de la CPU es una de las mximas expresiones de este avance tecnolgico. En nanotecnologa se est desarrollando el uso de una compuerta lgica molecular, que haga posible la miniaturizacin de circuitos.

Contenido
[ocultar]

1 Lgica directa o 1.1 Puerta S o Buffer o 1.2 Puerta AND o 1.3 Puerta OR o 1.4 Puerta OR-exclusiva (XOR) 2 Lgica negada o 2.1 Puerta NO (NOT) o 2.2 Puerta NO-Y (NAND) o 2.3 Puerta NO-O (NOR) o 2.4 Puerta equivalencia (XNOR) 3 Conjunto de puertas lgicas completo 4 Conjunto completo de puertas lgicas utilizando slo puertas NAND. Equivalencias. 5 Vase tambin 6 Enlaces externos

[editar] Lgica directa

[editar] Puerta S o Buffer

Smbolo de la funcin lgica S: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica S, realiza la funcin booleana igualdad. En la prctica se suele utilizar como amplificador de corriente o como seguidor de tensin, para adaptar impedancias (buffer en ingls). La ecuacin caracterstica que describe el comportamiento de la puerta S es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta SI Entrada A 0 Salida A 0

[editar] Puerta AND

Smbolo de la funcin lgica Y: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica Y, ms conocida por su nombre en ingls AND ( ), realiza la funcin booleana de producto lgico. Su smbolo es un punto (), aunque se suele omitir. As, el producto lgico de las variables A y B se indica como AB, y se lee A y B o simplemente A por B. La ecuacin caracterstica que describe el comportamiento de la puerta AND es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta AND Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 0 0 0 1

As, desde el punto de vista de la aritmtica mdulo 2, la compuerta AND implementa el producto mdulo 2.

[editar] Puerta OR

Smbolo de la funcin lgica O: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica O, ms conocida por su nombre en ingls OR ( realiza la operacin de suma lgica. La ecuacin caracterstica que describe el comportamiento de la puerta OR es: ),

Su tabla de verdad es la siguiente: Tabla de verdad puerta OR Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 0 1 1 1

Podemos definir la puerta O como aquella que proporciona a su salida un 1 lgico si al menos una de sus entradas est a 1.

[editar] Puerta OR-exclusiva (XOR)

Smbolo de la funcin lgica O-exclusiva: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica OR-exclusiva, ms conocida por su nombre en ingls XOR, realiza la funcin booleana A'B+AB'. Su smbolo es el ms (+) inscrito en un crculo. En la figura de la derecha pueden observarse sus smbolos en electrnica. La ecuacin caracterstica que describe el comportamiento de la puerta XOR es: |Su tabla de verdad es la siguiente: Tabla de verdad puerta XOR

Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 0 1 1 0

Se puede definir esta puerta como aquella que da por resultado uno, cuando los valores en las entradas son distintos. ej: 1 y 0, 0 y 1 (en una compuerta de dos entradas). Se obtiene cuando ambas entradas tienen distinto valor. Si la puerta tuviese tres o ms entradas , la XOR tomara la funcin de suma de paridad, cuenta el nmero de unos a la entrada y si son un nmero impar, pone un 1 a la salida, para que el nmero de unos pase a ser par. Esto es as porque la operacin XOR es asociativa, para tres entradas escribiramos: a (b c) o bien (a b) c. Su tabla de verdad sera: XOR de tres entradas Entrada A Entrada B Entrada C Salida 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1

Desde el punto de vista de la aritmtica mdulo 2, la puerta XOR implementa el producto mdulo 2.

[editar] Lgica negada

[editar] Puerta NO (NOT)

Smbolo de la funcin lgica NO: a) Contactos, b) Normalizado y c) No normalizada La puerta lgica NO (NOT en ingls) realiza la funcin booleana de inversin o negacin de una variable lgica. Una variable lgica A a la cual se le aplica la negacin se pronuncia como "no A" o "A negada". La ecuacin caracterstica que describe el comportamiento de la puerta NOT es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta NOT Entrada A 0 1 Salida 1 0

Se puede definir como una puerta que proporciona el estado inverso del que est en su entrada.

[editar] Puerta NO-Y (NAND)

Smbolo de la funcin lgica NO-Y: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica NO-Y, ms conocida por su nombre en ingls NAND, realiza la operacin de producto lgico negado. En la figura de la derecha pueden observarse sus smbolos en electrnica. La ecuacin caracterstica que describe el comportamiento de la puerta NAND es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta NAND Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 1 1 1 0

Podemos definir la puerta NO-Y como aquella que proporciona a su salida un 0 lgico nicamente cuando todas sus entradas estn a 1.

[editar] Puerta NO-O (NOR)

Smbolo de la funcin lgica NO-O: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica NO-O, ms conocida por su nombre en ingls NOR, realiza la operacin de suma lgica negada. En la figura de la derecha pueden observarse sus smbolos en electrnica. La ecuacin caracterstica que describe el comportamiento de la puerta NOR es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta NOR Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 1 0 0 0

Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1 lgico slo cuando todas sus entradas estn a 0. La puerta lgica NOR constituye un conjunto completo de operadores.

[editar] Puerta equivalencia (XNOR)

Smbolo de la funcin lgica equivalencia: a) Contactos, b) Normalizado y c) No normalizado La puerta lgica equivalencia, realiza la funcin booleana AB+~A~B. Su smbolo es un punto () inscrito en un crculo. En la figura de la derecha pueden observarse sus smbolos en electrnica. La ecuacin caracterstica que describe el comportamiento de la puerta XNOR es:

Su tabla de verdad es la siguiente: Tabla de verdad puerta XNOR Entrada A Entrada B Salida 0 0 1 1 0 1 0 1 1 0 0 1

Se puede definir esta puerta como aquella que proporciona un 1 lgico, slo si las dos entradas son iguales, esto es, 0 y 0 1 y 1 (2 encendidos o 2 apagados). Slo es verdadero si ambos componentes tiene el mismo valor lgico

[editar] Conjunto de puertas lgicas completo

Un conjunto de puertas lgicas completo es aquel con el que se puede implementar cualquier funcin lgica. A continuacin se muestran distintos conjuntos completos (uno por lnea):

Puertas AND, OR y NOT. Puertas AND y NOT.

Puertas OR y NOT. Puertas NAND. Puertas NOR.

Adems, un conjunto de puertas lgicas es completo si puede implementar todas las puertas de otro conjunto completo conocido. A continuacin se muestran las equivalencias al conjunto de puertas lgicas completas con las funciones NAND y NOR.

[editar] Conjunto completo de puertas lgicas utilizando slo puertas NAND. Equivalencias.
Conjunto de puertas lgicas completo : A B 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 Salida funcin NAND(A,B) 0 1 1 1 Salida funcin NOR(A,B) 0 0 0 1

Equivalencias del conjunto completo anterior con slo puertas NAND :

Equivalencias del conjunto completo anterior con slo puertas NOR :

Algoritmo QuineMcCluskey
De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda El Algoritmo QuineMcCluskey es un mtodo de simplificacin de funciones booleanas desarrollado por Willard Van Orman Quine y Edward J. McCluskey. Es funcionalmente idntico a la utilizacin del mapa de Karnaugh, pero su forma tabular lo

hace ms eficiente para su implementacin en lenguajes computacionales, y provee un mtodo determinstico de conseguir la mnima expresin de una funcin booleana.

Contenido
[ocultar]

1 Pasos 2 Complejidad 3 Ejemplo o 3.1 Paso 1: Encontrando implicantes primos o 3.2 Paso 2: tabla de implicantes primos 4 Vase tambin 5 Enlaces externos

[editar] Pasos
El mtodo consta de dos pasos: 1. Encontrar todos los implicantes primos de la funcin. 2. Usar esos implicantes en una tabla de implicantes primos para encontrar los implicantes primos esenciales, los cuales son necesarios y suficientes para generar la funcin.

[editar] Complejidad
Aunque es ms prctico que el mapa de Karnaugh, cuando se trata de trabajar con ms de cuatro variables, el tiempo de resolucin del algoritmo Quine-McCluskey crece de forma exponencial con el aumento del nmero de variables. Se puede demostrar que para una funcin de n variables el lmite superior del nmero de implicantes primos es 3n/n. Si n = 32 habr ms de 6.5 * 1015 implicantes primos. Funciones con un nmero grande de variables tienen que ser minimizadas con otros mtodos heursticos.

[editar] Ejemplo
[editar] Paso 1: Encontrando implicantes primos
Minimizando una funcin arbitraria:

m0

m1

m4

m5

m6

m7

m8

m9

m10

m11

m12

m13

m14

m15

Uno fcilmente puede formar la expresin cannica suma de productos de esta tabla, simplemente sumando minitrminos (dejando fuera las redundancias) donde la funcin se evala con 1:

Por supuesto, esta expresin no es mnima. Para optimizarla, primero son colocados todos los minitrminos evaluados en la funcin como 1 en una tabla. Las redundancias tambin son agregadas a la tabla, estas pueden combinarse con los minitrminos:

N. de 1s

Minter m

Representacin binaria

m4 m8

0100 1000

m9 m10 m12

1001 1010 1100

m11 m14

1011 1110

m15

1111

En este punto, uno puede empezar a combinar los minitrminos entre s. Si dos minitrminos slo varan en un solo dgito, ese dgito debe reemplazarse por un guin "-" indicando que ese bit no importa. Los trminos que ya no pueden combinarse ms son marcados con "*". Cuando van de tamao 2 a 4, tratamos '-' como un valor de bit. Ejemplo: -110 y -100 o -11- pueden ser combinados, pero no -110 y 011-. (Consejo: agrupar los '-' primero.)

Nmero de 1s Minterm Bin | Implicantes de tamao 2 | Implicantes de tamao 4 --------------------------------|-------------------------|----------------------1 m4 0100 | m(4,12) -100* | m(8,9,10,11) 10--* m8 1000 | m(8,9) 100| m(8,10,12,14) 1--0* --------------------------------| m(8,10) 10-0 |-----------------------2 m9 1001 | m(8,12) 1-00 | m(10,11,14,15) 1-1-* m10 1010 |-------------------------| m12 1100 | m(9,11) 10-1 | --------------------------------| m(10,11) 101| 3 m11 1011 | m(10,14) 1-10 | m14 1110 | m(12,14) 11-0 | --------------------------------|-------------------------| 4 m15 1111 | m(11,15) 1-11 | | m(14,15) 111|

[editar] Paso 2: tabla de implicantes primos

Los trminos marcados con "*" ya no pueden combinarse ms, en este punto ya tenemos la tabla de implicantes primos. En el costado van los implicantes primos recientemente generados, y en la parte superior los minitrminos utilizados. Los minitrminos correspondientes a las redundancias son omitidos en este paso, no se colocan en la parte superior.

4 8

1 1 1 1 0 1 2 5

- 1

X X X

1 0

X X

1 -

X X

X 1 -

En esta tabla vemos los minitrminos que "cubre" cada implicante primo. Ninguno de los implicantes de esta tabla est incluido dentro de otro (esto queda garantizado en el paso uno), pero si puede estar "cubierto" por dos o ms implicantes. Es el caso de

que est cubierto por que est cubierto por

y y .

Por este motivo, cada uno de estos dos implicantes slo son esenciales en ausencia del otro. Un proceso adicional simple para reducir estos implicantes es prueba y error, pero un proceso ms sistemtico es el mtodo de Petrick. En el caso que estamos analizando, los dos implicantes primos y no llegan a incluir todos los minitrminos por lo que podemos combinar estos implicantes con cada uno de los implicantes no esenciales para conseguir dos funciones mnimas:

Las dos son equivalentes a esta funcin original: