P. 1
Tipos de Lógica

Tipos de Lógica

|Views: 10.109|Likes:
Publicado porMilo Aguilar

More info:

Published by: Milo Aguilar on Sep 01, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/29/2015

pdf

text

original

Tipos de Lógica • Lógica Modal

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios.1 Por ejemplo, en la oración "es necesario que 2+2=4", la expresión "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4". En un sentido más restringido, sin embargo, se llama lógica modal al sistema formal que se ocupa de las expresiones "es necesario que" y "es posible que".1 Este artículo trata exclusivamente sobre este sistema formal. Vocabulario La lógica modal sólo agrega dos símbolos al vocabulario de la lógica proposicional: el símbolo , que representa la expresión del lenguaje natural "es necesario que", y el símbolo , que representa la expresión "es posible que". Ambos símbolos se prefijan a proposiciones, de modo que se lee "es necesario que p", y se lee "es posible que p". Además, en la lógica modal clásica, ambos símbolos son interdefinibles por medio del otro y de la negación; así:

Esto implica que en principio, sólo es necesario tomar uno de los dos símbolos como primitivo, ya que el otro puede ser definido a partir de éste y del vocabulario de la lógica proposicional. En general, el símbolo que se toma como primitivo es el de necesidad. Estas interdefiniciones son paralelas a las de los cuantificadores en la lógica de primer orden:

Las razones de este pararelismo resultarán más claras en la sección de semántica de mundos posibles. Gramática La gramática nos indica qué secuencias de signos del vocabulario están bien construidas. A estas secuencias se las llama fórmulas bien formadas. La gramática de la lógica modal es igual a la de la lógica proposicional, excepto que añade una regla para los operadores modales:

Si es una fórmula bien formada, entonces

también lo es.

Algunos ejemplos de fórmulas bien formadas del lenguaje serán, por lo tanto:

Reglas de Inferencia La regla de inferencia más propia de la lógica modal se llama N (o regla de Necesitación), y dice que si una fórmula es un teorema, entonces "es necesario que " también es un teorema. En otros términos:

A esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lógica proposicional. Axiomas Cuáles deben ser los axiomas de la lógica 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 posición filosófica que se defiende. La siguiente es una lista de algunos de los axiomas más conocidos: Nombre K T (o M) 4 5 B Axioma Lectura informal Si es necesario que implica , entonces si es necesario, también 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 lógica modal es tan antigua como el Organon de Aristóteles y tuvo gran desarrollo durante la Edad Media. La lógica modal contemporánea, sin embargo, surge a principios del siglo XX como una reacción a la lógica clásica que maduró en las obras de autores como Gottlob Frege, Bertrand Russell y Alfred North Whitehead. Los patrones de razonamiento válidos, aquellos que indican una relación de consecuencia lógica entre un conjunto de enunciados –las premisas– y otro enunciado –la conclusión–

en un argumento, están en parte determinados por cuáles sean las constantes lógicas. En la lógica clásica los siguientes patrones de razonamiento son válidos: 1. 2. 3. 4. 5. Estos patrones de razonamiento se conocen como las paradojas de la implicación material, porque son argumentos válidos que sin embargo parecen poco naturales o incluso absurdos. Por ejemplo, los siguientes argumentos serían válidos: 3. Si hoy es lunes entonces mañana es martes y si hoy es miércoles entonces mañana es jueves. Por lo tanto, o bien, si hoy es lunes entonces mañana es jueves, o bien, si hoy es miércoles entonces mañana 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 diría que tiene premisas verdaderas y conclusión falsa, pero como mínimo parece extraño que podamos probar la existencia de Dios de un modo tan sencillo a partir de una premisa tan plausible (¡no parece que haya una relación de consecuencia lógica entre la premisa y la conclusión!). En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo después de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el significado de la expresión "si... entonces" del lenguaje natural. Lewis lo llama implicación estricta. El nuevo condicional requiere, para ser verdadero, una relación más fuerte entre el antecedente y el consecuente que el condicional clásico. Lewis define su condicional estricto en términos del condicional clásico más la noción de necesidad: "p implica estrictamente q" si y sólo si De 1918 a 1932 Lewis prepara la segunda edición del Survey. Durante este período surgen multitud de trabajos sobre el tema. Becker desvía la atención del análisis de las conectivas tipo "condicional estricto" a las propias nociones modales: son éstas las que requieren clarificación. Existen al menos tres factores que hicieron que la lógica modal tuviera "mala prensa" en la primera mitad del siglo XX. En primer lugar, la interpretación clásica de la consecuencia lógica eliminaba las nociones modales en favor de una visión formalista. En segundo lugar, a diferencia del caso de la lógica clásica (que fue axiomatizada de un modo completo por Frege), las nociones modales dieron lugar a distintos sistemas axiomáticos. En tercer lugar, la lógica modal se desarrolló sin un análisis semántico. A esto se suman las críticas de Quine que comienzan en los años treinta.

La dicotomía entre el rigor y la precisión del modelado matemático en todo los campos y la intrínseca incertidumbre de ''el mundo real'' no es generalmente aceptada por los científicos. filósofos y analistas de negocios.. la teoría de conjuntos difusos y la teoría de probabilidad tienen diferentes tipos de incertidumbre. física...• Lógica Borrosa La lógica borrosa es una rama de la inteligencia artificial que se funda en el concepto "Todo es cuestión de grado" . Nosotros simplemente aproximamos estos eventos a funciones numéricas y escogemos un resultado en lugar de hacer un análisis del conocimiento empírico. biología. Sin embargo procesamos y entendemos de manera implícita la imprecisión de la información fácilmente. ingeniería. la temperatura es ahora considerada caliente. Este tipo de imprecisión o difusidad asociado continuamente a los fenómenos es común en todos los campos de estudio: sociología.. o incluso en la semántica que describe lo que son. Esta frase marcó una fuerte necesidad de distinguir la lógica difusa de la teoría de probabilidad. biología o economía La lógica borrosa es entonces definida como un sistema matemático que modela funciones no lineales. tienen implícito un cierto grado de difusidad en la descripción de su naturaleza. Estamos capacitados para formular planes. es así como las reglas siempre convierten un conjunto borroso en otro.. que convierte unas entradas en salidas acordes con los planteamientos lógicos que usan el razonamiento aproximado. considere las siguientes sentencias: • • • La temperatura está caliente La inflación actual aumenta rápidamente Los grandes proyectos generalmente tardan mucho . ENTONCES. tomar decisiones y reconocer conceptos compatibles con altos niveles de vaguedad y ambigüedad. Es entonces posible con la lógica borrosa gobernar un sistema por medio de reglas de 'sentido común' las cuales se refieren a cantidades indefinidas. Conceptos Básicos Conjuntos difusos. color... Tal como la entendemos ahora. En muchos casos el mismo concepto puede tener diferentes grados de imprecisión en diferentes contextos o tiempo. Un día cálido en invierno no es exactamente lo mismo que un día cálido en primavera. Conceptos imprecisos. Aparecieron numerosas publicaciones que presentaban los fundamentos básicos con aplicaciones potenciales. Historia Los conjuntos difusos fueron introducidos por primera vez en 1965. donde los valores lingüísticos de la premisa y el consecuente están definidos por conjuntos borrosos.. oceanografía. En cierto nivel. así que emigramos a un simple grado. física. la creciente disciplina de la lógica difusa provee por sí misma un medio para acoplar estas tareas. Aceptamos la imprecisión como una consecuencia natural de ''la forma de las cosas en el mundo''.. Se fundamenta en los denominados conjuntos borrosos y un sistema de inferencia borroso basado en reglas de la forma " SI. Mientras la motivación original fue ayudar a manejar aspectos imprecisos del mundo real. lo cual permite manejar información vaga o de difícil especificación si quisiéramos hacer cambiar con esta información el funcionamiento o el estado de un sistema especifico. momento. psicología. finanzas.. es decir. la lógica difusa puede ser vista como un lenguaje que permite trasladar sentencias sofisticadas en lenguaje natural a un lenguaje matemático formal. Las reglas involucradas en un sistema borroso. Esta imprecisión puede estar asociada con su forma. la práctica temprana de la lógica difusa permitió el desarrollo de aplicaciones prácticas.. o estas reglas pueden también ser formuladas por un experto humano. La definición exacta de cuando la temperatura va de templada a caliente es imprecisa -no podemos identificar un punto simple de templado. En general la lógica borrosa se aplica tanto a sistemas de control como para modelar cualquier sistema continuo de ingeniería. pueden ser aprendidas con sistemas adaptativos que aprenden al ' observar ' como operan las personas los dispositivos reales. etc. posición. textura. La mayoría de los fenómenos que encontramos cada día son imprecisos. ".

5. 5. 1/3. .1]).8 al conjunto VARIOS y en grado . Es decir un conjunto difuso A se considera como un conjunto de pares ordenados.8) MUCHOS =(. entonces los conjuntos definidos a continuación son difusos: • • • POCOS = (. y el segundo componente especifica precisamente quién es ése elemento de u. Para un conjunto difuso de nivel-m se considera como su universo de discusión al conjunto de conjuntos difusos de nivel-(m-1). Como veremos la fusificación es independiente de cualquier capacidad para medir. La superficie de la región de un conjunto difuso es el universo de valores. . Si podemos incorporar estos conceptos logramos que los sistemas sean potentes y se aproximen más a la realidad. es más natural considerarlo simplemente como un grado de pertenencia. Para los conjuntos difusos tipo-n. respectivamente). Existen 4 operaciones básicas de conjuntos en esta lógica: unión. b) Un conjunto en el sentido usual es también difuso pues su función característica u es también una función u [0.8/4. complemento y unión exclusiva.1] (en lugar de ser puntos de [0. se dice que u pertenece más a A (de modo que 0 y 1 denotan la no pertenencia y la pertenencia completa. los conjuntos son considerados como sistemas bivalentes con sus estados alternando entre inclusión y exclusión.4/4) VARIOS = (. Operaciones.0 a MUCHOS. sobreentendiendo que los conjuntos difusos de nivel-1 son conjuntos difusos ordinarios. 4. Esta es una pregunta importante ya que es la parte fundamental de las medidas de la teoría difusa. 2. 1/6. En general los grados de pertenencia son subjetivos en el sentido de que su especificación es una cuestión objetiva. son incompatibles con el modelado tradicional y el diseño de sistemas de información. Un conjunto difuso tiene muchas propiedades intrínsecas que afectan la forma del conjunto.6/7.8/8. Sin embargo. Ejemplo: Sea U =11.1/10) Note que el elemento 4 pertenece en grado . la transición entre estos dos estados es siempre inmediata. Puede notarse además que: a) Mientras más próximo está (u) a el valor 1. La pertenencia de estos conjuntos está siempre totalmente categorizada y no existe ambigüedad o dicotomía acerca de la pertenencia.8/7.4/1. 8. o sea que los conjuntos difusos son una generalización de los conjuntos usuales. 3. . 9. .1] que denota el grado de pertenencia de un elemento u de U en A. Todos estos conceptos se tratarán más adelante. intersección.5/3.1]. Dado que existen solamente dos estados. La altura de un conjunto difuso es como máximo un grado de pertenencia y es una cota cercana al concepto de normalización. por ejemplo los conjuntos difusos de nivel-m y los conjuntos difusos tipo-n. También los conjuntos difusos tipo-1 son equivalentes a los conjuntos difusos ordinarios. 6. Se debe aclarar que aunque puede interpretarse como el grado de verdad de que la expresión ''u A'' sea cierta.9/9. La característica de la función discriminante refleja este espacio bivaluado Esto indica que la función de pertenencia para el conjunto A es cero si x no es un elemento en A y la función de pertenencia es si x es un elemento en A. Zadeh ha hecho algunas extensiones a los conceptos de conjuntos difusos ordinarios que se han explicado. . 7. Las propiedades más importantes de un conjunto difuso son las concernientes a las dimensiones verticales del conjunto difuso (altura y normalización) y las dimensiones horizontales (conjunto soporte y cortes "alpha"). Pero. en los que el primer componente es un número en el rango [0.4/6. . su uso y como participa en un modelo.4 al conjunto POCOS. En la lógica Booleana tradicional.8/2. . los valores de las funciones de pertenencia son conjuntos difusos de tipo-(n-1) del intervalo [0. . es la imprecisión un concepto artificial utilizado para aumentar o disminuir en uno o más las propiedades de los fenómenos? o es una parte intrínseca del fenómeno en sí mismo?. en grado . 1/5. ya que un conjunto difuso es un conjunto que no tiene límites bien definidos. .• • • Nuestros precios están por abajo de los precios de la competencia IBM es una compañía grande y agresiva Alejandro es alto pero Ana no es bajita Estas proposiciones forman el núcleo de nuestras relaciones con ''la forma de las cosas en el mundo''.

Las tres operaciones mencionadas se pueden extender de varias formas a conjuntos difusos. Decidir si un valor es o no es miembro de cualquier conjunto difuso en particular.. es decir se cumplen las condiciones de asociatividad. distributividad. tomamos el operador ''muy'' que podemos caracterizar con un significado de que aún cuando no tenga validez universal sea sólo una aproximación. En el sentido de que una variable lingüística toma variables difusas como sus valores.. Ejemplos de etiquetas tipo I. etc.. En otras palabras. las etiquetas lingüísticas pueden ser caracterizadas cómo operadores más que construcciones complicadas sobre las operaciones primitivas de conjuntos difusos. el operador ''muy'' actúa en el conjunto difuso asociado al significado del operando ''alto''. menos. Una variable lingüística siempre representa un espacio difuso. estas operaciones son aplicadas al nivel de pertenencia.. y.. ''ligeramente''. Asumimos que si el significado de un término x es un conjunto difuso A. absorción. Una variable lingüística encapsula las propiedades de aproximación o conceptos de imprecisión en un sistema y da una forma de computar adecuada. complemento y las leyes de Morgan. El centro de las técnicas de modelado difuso es la idea de variable lingüística. puede considerarse como un operador que actúa sobre un conjunto difuso asociado al significado de su operando. En el sistema se optó por extender las operaciones en el sentido clásico. como una consecuencia de los conjuntos difusos. ''más o menos''. ''ligeramente''. x . será obligatorio sacrificar a otras. el conjunto de conjuntos de U forman un álgebra booleana. coincidan con las comunes.x partiendo del conocimiento del significado de sus componentes atómicos x . ''mucho''. Zadeh también considera que las etiquetas lingüísticas pueden clasificarse en dos categorías que informalmente se definen como sigue: • Tipo I: las que pueden representarse como operadores que actúan en un conjunto difuso: ''muy''. uno de los problemas básicos en semántica es que se desea calcular el significado de un término compuesto x=x . Por ejemplo en el caso de un término compuesto ''muy alto''. conmutatividad. Lo importante del concepto de variable lingüística es su estimación de variable de alto orden más que una variable difusa. existen definiciones específicas para combinar y especificar nuevos conjuntos difusos. Es importante aclarar que se hará mayor énfasis en que estas representaciones se proponen principalmente para ilustrar el enfoque. De acuerdo a éste punto de vista y sabiendo que el lenguaje natural es muy rico y complejo. más que para proporcionar una definición exacta de las etiquetas lingüísticas. etc. elementos neutros. ídem potencia.. con las operaciones comunes de intersección. ''bastante''. dados dos conjuntos difusos A y B. La idea básica sugerida por Zadeh es que una etiqueta lingüística tal como ''muy''. y para mantener la vigencia de alguna. que son instancias de lo que . es decir. una variable lingüística es el nombre de un conjunto difuso. Estas extensiones resultantes satisfacen en forma general sólo a algunas de las condiciones listadas anteriormente. etc. ''virtualmente''. Esto reduce la aparente complejidad de describir un sistema que debe concordar con su semántica.. de modo que al restringirlas a los conjuntos usuales. Más y menos Se pueden definir etiquetas lingüísticas artificiales. Este conjunto de funciones teóricas provee las herramientas fundamentales de la lógica. En el campo de la semántica difusa cuantitativa al significado de un término "x" se le representa como un conjunto difuso M(x) del universo de discusión. • Tipo II: las que requieren una descripción de cómo actúan en los componentes del conjunto difuso (operando): ''esencialmente''. ''estrictamente''. En el caso usual. 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. Desde su raíz. ''más o menos''. ''prácticamente''. Una representación aproximada para una etiqueta lingüística se puede lograr en términos de combinaciones o composiciones de las operaciones básicas explicadas en la sección anterior.. ''técnicamente''. Si tenemos un conjunto difuso llamado ''largo'' éste es una simple variable lingüística y puede ser empleada como una regla-base en un sistema basado en la longitud de un proyecto en particular Si duración-proyecto es largo entonces la-terminación-de-tareas es DECRECIENTE. Desde este punto de vista. entonces el significado de muy X. unión y complemento. requiere algunas nociones de cómo esta construido el conjunto. ''altamente''. del universo y de los límites de éste. por ejemplo: más.Al igual que en los conjuntos convencionales. Las etiquetas lingüísticas y operadores.

Clase de Es una etiqueta lingüística que tiene el efecto de reducir el grado de pertenencia de los elementos que están en el ''centro'' (grados de pertenencia grandes) de una clase x e incrementa el de aquellos que están en su periferia (grados de pertenencia pequeños). y sólo aumenta el grado de pertenencia de aquellos elementos que tienen un grado de pertenencia cercano al . además. Su caracterización envuelve una descripción de forma que afectan a los componentes del operando. sin embargo. Con lógica difusa. y que. . 80% verdad si hay pocas nubes. la sentencia "hoy es un día soleado". En general. cuya función es proporcionar ligeras variantes de la concentración y la dilatación. Es también utilizada en algunos correctores de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha. Existen casos. 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. y por lo tanto es más compleja que las del tipo I. ''más o menos rectangular'' etc. Como la magnitud de las ponderaciones es una medida del atributo asociado. puede ser 100% verdad si no hay nubes.puede llamarse acentuador y desacentuador respectivamente. Los exponentes se eligen de modo que se de la igualdad aproximada: mas mas x = menos muy x. las proposiciones pueden ser representadas con grados de veracidad o falsedad. juega el papel de difusificador. 50% verdad si existe neblina y 0% si llueve todo el día. Etiquetas tipo II. 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 pequeño. Por ejemplo. en los que su significado puede definirse en términos de etiquetas lingüísticas tipo I. La Lógica Difusa ha sido probada para ser particularmente útil en sistemas expertos y otras aplicaciones de inteligencia artificial. la definición de una etiqueta de este tipo debe formularse como un algoritmo difuso que envuelve etiquetas tipo I. ejemplo: Mas o menos Otra etiqueta lingüística interesante es ''más o menos'' que en sus usos más comunes como ''más o menos inteligente''. bajo la suposición de que el dominio del operando es un conjunto ordenado linealmente. Ligeramente Su efecto es dependiente de la definición de proximidad u ordenamientos en el dominio del operando. Un tipo de lógica que reconoce más que simples valores verdaderos y falsos. Su efecto puede describirse aproximadamente como una modificación de los coeficientes de ponderación de una combinación convexa. se pueden utilizar para definir etiquetas lingüísticas cuyo significado difiere ligeramente de otras.

unión y complemento haciendo uso de las mismas funciones de pertenencia: B (x) = minµA(x).. poco. lento. es posible definir las operaciones de intersección. a las que se les podrá dar un significado mediante distintas reglas semánticas. se pueden ir complicando las expresiones. Además. estas expresiones son bastante arbitrarias y podrían haberse definido de muchas otras maneras.) pueden ir calculándose todas las expresiones anteriores . como "gato pardo" o "ligero cambio".. Una Variable Lingüística es aquella variable cuyos valores son palabras o sentencias que van a enmarcarse en un lenguaje predeterminado. rápido.µA(x) En realidad. Así. La velocidad es RÁPIDA. µB(x) )∩µA B (x) = max ( µA(x). El ganso es CLARO y muy ALEGRE. la expresión "x no es PEQUEÑO" puede calcularse a partir de la original calculando el complemento de la siguiente forma: µ_no_PEQUEÑA (x) = 1.Operaciones entre conjuntos Difusos Los Conjuntos Difusos se pueden operar entre sí del mismo modo que los conjuntos clásicos. µB(x) )∪µA A (x)¬µ = 1 . podrán dar lugar a sentencias generadas por reglas sintácticas. Por ejemplo. Los Conjuntos Difusos son capaces de captar por sí mismos la vaguedad lingüística de palabras y frases comúnmente aceptadas. Para estas variables lingüísticas se utilizará un nombre y un valor lingüístico sobre un Universo de Discurso. Esto obliga a considerar otras definiciones más generales para las operaciones entre los Conjuntos Difusos. Puesto que los primeros son una generalización de los segundos. < Variables Lingüísticas La Teoría de Conjuntos Difusos puede utilizarse para representar expresiones lingüísticas que se utilizan para describir conjuntos o algoritmos. Las expresiones anteriores pueden dar lugar a expresiones lingüísticas más complejas como: • • • X no es PEQUEÑO. La velocidad es RÁPIDA pero no muy RÁPIDA.µ_PEQUEÑO (x) Tratando de esta forma los distintos modificadores lingüísticos (muy. La habilidad humana de comunicarse mediante definiciones vagas o inciertas es un atributo importante de la inteligencia. En la actualidad se considera correcto definir el operador intersección mediante cualquier aplicación t-norma y el operador unión mediante cualquier aplicación s-norma. El ganso es CLARO. Los Conjuntos Difusos pueden utilizarse para representar expresiones tales como: • • • X es PEQUEÑO.

La lógica dialéctica de Hegel El acto mismo del conocimiento es la introducción de la contradicción. que definen tres modelos de verdad: lo verdadero. A que no es ni + ni .• Lógica Polivalente Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. a partir de su teorema de la incompletitud la lógica intuicionista desarrollada por Brouwer. Vasiliev. Charles Sanders Peirce y Nicolai A. con diferentes enfoques. hasta infinito. . especialmente los modelos de Kripke. lo falso y lo problemático la lógica difusa de Zadeh. que enfatiza en la incertidumbre y es una lógica de la probabilidad la lógica polivalente de Gödel. Pueden considerarse como polivalentes: • • • • • • • la lógica dialéctica de Hegel la lógica trivalente para valores infinitos de Łukasiewicz la lógica modal. Un ejemplo para ilustrar la trivalenecia en física ha sido la paradoja del gato de Schrödinger. es la proposición que quiere rechazar la contradicción y al hacerlo incurre precisamente en contradicción: A debe ser +A ó -A. que restringe la validez de la lógica clásica a lo demostrable la logica producto. El principio del tercero excluido.1 Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres. la transición y la transformación. Stephen Kleene elaboró las tablas de verdad para un sistema de lógica trivalente. de n mundos o un número infinito de "mundos" posibles.y por lo mismo es +A y -A. Es una lógica del movimiento. pero fueron expuestas anteriormente. Otras lógicas se proponen como polivalentes o n-valentes. por Hegel. tetravalente La lógica trivalente como la del universo de los modelos de Kripke que contienen tres "mundos" posibles. Lógica polivalente de Gödel Formula lo siguiente:: si v(x) = 0 y 0 de otro modo. porque en realidad todo cambia continuamente y la misma cosa se transforma en otra cosa. Algo es ello mismo y es otro. Las lógicas polivalentes se difundieron especialmente a partir de los trabajos de los filósofos polacos Jan Łukasiewicz y Emil Post y sus relaciones con la física cuántica. "algo o es A o no es A". Hugh MacColl. con lo cual ya queda introducido el tercer término.

En particular. es un teorema. se niega el principio de la doble negacióncon el fin de mantener la validez del principio de no contradicción. a causa de la particular definición del operador NOT se verifica que: es un teorema no es un teorema. . Lógica polivalente y doble negación Es interesante observar como en las lógicas de Gödel y producto. es un teorema. al igual que en la lógica intuicionista.Lógica producto Formula lo siguiente:: si v(x) = 0 y 0 de otro modo.

En un razonamiento inductivo válido. El cuervo número 2 también era negro. por ejemplo: Jessica y Alan tienen tres hijos: Sofía. la información que obtenemos por medio de esta modalidad de razonamiento es siempre una información incierta y discutible. • Incompleto: la conclusión va más allá de los datos que dan las premisas. todos los cuervos son negros. Acertar en la conclusión será una cuestión de probabilidades. Kevin es rubio. Conclusión: • Luego. El razonamiento sólo es una síntesis incompleta de todas las premisas. la verdad de las premisas (10. Andrea es rubia. de hecho. simultáneamente. A mayor cantidad de datos. Ahora bien. El cuervo número 3 también era negro. De ahí que la conclusión de un razonamiento inductivo sólo pueda considerarse probable y. es posible afirmar las premisas y. de la observación repetida de objetos o acontecimientos de la misma índole se establece una conclusión para todos los objetos o eventos de dicha naturaleza. En este razonamiento se generaliza para todos los elementos de un conjunto la propiedad observada en un número finito de casos.• Lógica 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 tanto.1 Dentro del razonamiento inductivo se distinguen dos tipos: • Completo: se acerca a un razonamiento deductivo porque la conclusión no aporta más información que la ya dada por las premisas. por ejemplo) no convierte en verdadera la conclusión. En él se estudian todos los individuos abarcados por la extensión del concepto tratado. ya que podría haber una excepción. La verdad de las premisas no garantiza la verdad de la conclusión. negar la conclusión sin contradecirse. Andrea y Kevin: Sofía es rubia. . mayor probabilidad.000 observaciones favorables a esta conclusión. Por ejemplo. Juan es rubio. Premisas: • • • He observado el cuervo número 1 y era de color negro. Por ejemplo: María es rubia. Por lo tanto todos los hijos de Alan y Jessica son rubios. Pedro es rubio.

y las otras dos deben ser. es una instancia del esquema de axioma (en el sistema de Jan Łukasiewicz). o bien axiomas. Si esta secuencia ha de ser una deducción. entonces. no es un axioma. la siguiente es una deducción de la fórmula lógica proposicional: en el sistema de la Se trata de una secuencia de tres fórmulas.1 2 Por ejemplo. o bien axiomas. Para que esta secuencia sea una deducción. o bien deducciones previas. entonces la última fórmula será la conclusión. Esta secuencia constituye. . . una deducción. Por lo que todas las personas son rubias. La segunda fórmula. sólo falta que sea posible inferir la última fórmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. por lo tanto. de modo que es una premisa. o bien premisas. por medio del modus ponens (la única regla de inferencia del sistema de Łukasiewicz) es posible deducir la última fórmula a partir de las otras dos. o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia. una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas. y tampoco puede ser deducida de la fórmula previa. de las cuales la última es designada como la conclusión (la conclusión de la deducción). y todas las fórmulas en la secuencia son. es decir la fórmula siendo deducida. una deducción es una secuencia finita de fórmulas.1 En su definición formal. Y en efecto. La primera fórmula. • Lógica Deductiva En lógica. y por lo tanto es un axioma. o bien premisas.Jorge es rubio.

Entre estos . apareció el primer trabajo de Cantor sobre la Teoría de conjuntos. A los 27 años dio clase en la Universidad de Halle. y admite que significa un salto cualitativo importante en el raciocinio lógico. el conjunto de los racionales es enumerable. que es la base de las matemáticas modernas. Cuando la familia se mudó a Alemania. Tuvo como profesores en el campo de matemáticas a Ernst Kummer. En 1874. El estudio de los infinitos fue considerado por su maestro Kronecker como locura matemática. A partir de 1872 fue catedrático. En Berlín se especializó en matemáticas. del mismo tamaño que el conjunto de los naturales. Vivió aquejado por episodios de depresión. b y c son números enteros. Uno de los actos de Cantor fue la siguiente afirmación: ax² + by² + cz² = 0 En la que a. es decir. Su padre fue el comerciante Georg Waldemar Cantor y su madre María Bohm. Alemania. a sus 15 años. Una enfermedad pulmonar provocó que el padre se trasladara en 1856 a Fráncfort. más grandes los unos que los otros.Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo. filosofía y física. o sea el mismo cardinal: por ejemplo. Karl Weierstrass y Leopold Kronecker.1 Hoy en día. inventor con Dedekind y Frege de la teoría de conjuntos. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales). pero luego ingresó al Instituto de Wiesbaden. pero emigró siendo joven al lugar donde nacería su hijo en 1845. Dinamarca. Pero pasó a la Universidad de Berlín al siguiente año. Biografía Nació en el seno de una familia judía. Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño. en 1862. por lo tanto. Cantor asistió a escuelas privadas de Fráncfort y Damnstandt primero. la comunidad matemática reconoce plenamente su trabajo. Los estudios universitarios de Georg Cantor iniciaron en Zúrich. Todos estos eventos provocaron que distintas patrias reclamaran como hijo a Georg Cantor. aunque actualmente se cree que poseía algún tipo de "depresión ciclo-maníaca". La educación primaria de Georg Cantor fue confiada a un profesor particular y después siguió un curso en la escuela elemental de San Petersburgo. después de la muerte de su padre. mientras que el de los reales no lo es: existen. Su padre había nacido en Copenhague. atribuidos originalmente a las críticas recibidas y sus fallidos intentos de demostración de la hipótesis del continuo. 3 de marzo de 1845 Halle. varios infinitos. El interés de joven recayó en las dos primeras. Sus primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de una teoría de números irracionales. 6 de enero de 1918) fue un matemático alemán.

Además. Su mente luchaba contra varias paradojas de la teoría de los conjuntos. y escribió artículos religiosos sobre el tema.infinitos. El constructivismo negará este axioma. Actualmente. Georg Cantor falleció en Halle. entre otras cosas. su obra es ampliamente reconocida y ha sido acreedora de varios honores. desarrollando toda una teoría matemática alternativa a la matemática moderna. trató durante muchos años de probar la hipótesis del continuo. asimilado al espacio vectorial R³. a los 73 años de edad. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus descubrimientos no le ayudaron. y fue internado repetidas veces en hospitales psiquiátricos. que parecían invalidar toda su teoría (hacerla inconsistente o contradictoria. . Sufrió de depresión. y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría. Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Alemania el 6 de enero de 1918. lo que se sabe hoy que es imposible. Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios. en el sentido de que una cierta propiedad podría ser a la vez cierta y falsa). los hay tan grandes que no tienen correspondencia en el mundo real.

desde los fundamentos de las matemáticas y la teoría de la relatividad al matrimonio. La vida de Russell fue apasionada. con Edith Finch. la inteligencia artificial y la computación. mostrando así el poder de los lenguajes formales. MRS. la metafísica. Russell fue un conocido pacifista durante la Primera Guerra Mundial. Un libro profundamente influyente e importante que contribuyó al desarrollo de la lógica. Penrhyndeudraeth. (18 de mayo de 1872. Tuvo tres hijos. 3er Conde de Russell. En filosofía contribuyó prácticamente en todas las áreas. condesa de Carlisle. Mario Bunge. Contrajo matrimonio cuatro veces. la teoría de conjuntos. Gales) fue un filósofo. intensa y larga. murió recientemente quinto conde de Russell. matemático y escritor británico. John. La última vez.º Baron Stanley de Alderley. libro en tres volúmenes en donde a partir de ciertas nociones básicas de la lógica y la teoría de conjuntos se pretendía deducir la totalidad de las matemáticas. enfoques discutidos hoy en día por variedad de filósofos importantes como David Chalmers. Trellech. desde la misma metodología abogando siempre por el análisis y alertando a los filósofos de las trampas del lenguaje. 2. Alan Turing. Kate y Conrad. Escribió sobre una amplia gama de temas. Vizconde de Amberley y de Katrine Louisa Stanley (1844 . la posibilidad de modelar las matemáticas y la fertilidad de la lógica. los derechos de las mujeres y el pacifismo. pudo alcanzar la paz y entendimiento que siempre buscó.1874). Michael Lockwood.Bertrand Arthur William Russell. la inferencia científica y la ética a una serie de enfoques interesantes y fértiles al problema mente-cuerpo.2 de febrero de 1970. Grover Maxwell. Sus contribuciones de contenido incluyen su innegable artículo maestro Sobre el Denotar y una serie de libros y artículos en problemas desde la filosofía de las matemáticas. y hermana de Rosalind Howard. Ludwig Wittgenstein. etc. Willard Van Orman Quine y Kurt Gödel. Thomas Nagel. la primera conectada con sus actividades pacifistas durante la gran guerra y la segunda por participar en una manifestación contra la proliferación de armas nucleares. esta fue hija de Edward Stanley. aunque se manifestó a favor de tomar acciones bélicas durante la Segunda Guerra Mundial. sentando así el método y las motivaciones de la filosofía analítica. . Gales . así como a la formación de pensadores de la talla de David Hilbert. Se fraguó un nombre tanto en los círculos de especialistas como entre las multitudes que lo seguían con fervor o lo odiaban con intensidad. En matemáticas su gran contribución es la indudablemente importante Principia Mathematica con Alfred North Whitehead. OM. Kurt Gödel echó abajo la pretendida demostración. Conrad se convirtió en un importante político del Partido Liberal Demócrata en Inglaterra y en un historiador erudito. Estuvo en prisión dos veces. Bertrand Russell fue hijo de John Russell. alegando que un mundo en donde el fascismo fuera la ideología reinante sería un mundo en donde lo mejor de la civilización habría muerto y no valdría la pena vivir. la epistemología. Monmouthshire.

y sobre las deficiencias en los argumentos y razones esgrimidos a favor de la existencia de Dios. Russell fue responsable en gran medida de la "rebelión británica contra el idealismo". En 1962. Polemizó sobre el control de natalidad. la inmoralidad de las armas nucleares. Sin duda alguna Lord Russell fue uno de los pensadores más interesantes. las cuales mantienen que para conocer sobre una cosa en concreto. Russell y Moore se esforzaron para eliminar las suposiciones de la filosofía que encontraron absurdas e incoherentes. y del concepto de número algo sin sentido. Russell junto con Whitehead continuó trabajando en ese campo de la lógica. el sarcasmo y la metáfora. Organizó con Albert Einstein un manifiesto que dio vida a las Conferencias de Pugwash. profundos. del tiempo. Esta rebelión tuvo repercusión 30 años después en Viena por la "rebelión en contra de la metafísica" de los positivistas lógicos. A principios del siglo XX. E. Murió pacíficamente a los 98 años. Edith Finch. los derechos de las mujeres. medió en la crisis de los misiles de Cuba para evitar que se desatara un ataque militar. En esto seguía el consejo que había dado a un entrevistador. la destrucción de la humanidad. mordaces y activos del siglo XX y dejó un enorme legado de escritos de los cuales podemos extraer importantes lecciones. Siempre en sus escritos hizo gala no sólo de un magnífico estilo literario sino también de un excelente sentido del humor y una habilidad para sorprender y provocar con la ironía. F. en compañía de su última esposa. una filosofía influenciada en gran medida por Georg Hegel y su discípulo británico. Bradley. Moore. Filosofía analítica Russell es reconocido como uno de los fundadores de la filosofía analítica. de la ciencia. Russell mostró que tal postura haría del espacio. junto con G. inició diversas vías de investigación. Russell estaba especialmente disgustado por la doctrina idealista de las relaciones internas. debemos conocer todas sus relaciones. escribiendo cartas tanto a Jrushchov como al presidente Kennedy y siendo intermediario en sus respuestas mutuas.Bertrand Russell Russell fue también además de activista y pensador de primera línea un soberbio polemista que se convirtió en el ícono del racionalismo para toda una generación. de hecho. para llegar a ver claridad y precisión en la . ante la amenaza de una guerra nuclear y pasó los últimos quince años de su vida haciendo campaña en contra de la fabricación de armas nucleares. H. diciéndole que el deber del filósofo en esos tiempos era evitar a toda costa un nuevo holocausto. a los 90 años.

la navaja de Ockham. como parte central del método de análisis y el realismo. Por tanto. Russell. pero nunca estuvo completamente satisfecho acerca de nuestra comprensión de tales términos. y que ambos pueden reducirse a una esfera neutral. En esos discursos. sosteniendo que la diferenciación entre el mundo material y el mental era. vio la lógica y la ciencia como la principal herramienta del filósofo. explicado en una serie de conferencias llamada "La Filosofía del Atomismo Lógico". en su análisis final. sólo pueden ser inferidos o razonados. En su última etapa filosófica. quien además creía que el requerimiento más importante para tal lenguaje ideal es que cada proposición significativa debe consistir de términos que se refieran directamente a los objetos que nos son familiares. Él creía que la principal tarea del filósofo era clarificar las proposiciones más genéricas sobre el mundo y eliminar la confusión. de su requisito isomórfico. el o la (the). y así otros. en particular. incluyendo los objetos físicos que esas percepciones sensoriales representan. Durante un tiempo. creyendo que nuestras experiencias directas tienen el papel primordial en la adquisición de conocimiento. es decir conocidos por descripción y no directamente. isomórfico. su influencia se mantiene sólida en la distinción entre las dos maneras en que nos familiarizamos con los objetos: “conocimiento por familiaridad” y “conocimiento por descripción”. Russell caracterizó la esencia de nuestros estados iniciales de percepción como “eventos”. en lugar de la “experiencia pura” de James. muy admirado por Russell. es (is). es evidente en lo que él llamó Atomismo lógico. Teoría del conocimiento La teoría del conocimiento de Russell atravesó muchas fases. a diferencia de la mayoría de los filósofos que le precedieron a él y a sus contemporáneos. Russell adoptó un tipo de "monismo neutral". uno que reflejaría el mundo. donde nuestro conocimiento puede ser reducido a términos de proposiciones atómicas y sus componentes de función de verdad (lógica matemática). una postura curiosamente parecida a la filosofía de procesos de su antiguo profesor Alfred North Whitehead. Russell expone su concepto de un lenguaje ideal. En particular. quería acabar con los excesos de la metafísica. aunque Russell posteriormente rechazó la idea de una percepción sensorial intermedia. Russell no creía que hubiese un método específico para la filosofía. dictada por él. Sin embargo. Russell excluyó ciertos términos lógicos y formales como todos (all). Russell adoptó los métodos de Guillermo de Ockham sobre el principio de evitar la multiplicidad de entidades para un mismo uso. Aunque algunos de sus puntos de vista han perdido empuje. arbitraria. sonidos. y su logicismo centrado en el empirismo.argumentación por el uso exacto del lenguaje y por la división de las proposiciones filosóficas en componentes más simples. Una vez que hubo desechado el neo-Hegelismo en su juventud. Esta diferenciación ha llegado a ser de mucho más amplio uso. un punto de vista similar al sostenido por el filósofo americano William James y que fue formulado por primera vez por Baruch Spinoza. y similares— y que todo lo demás. Russell pensó que sólo podíamos conocer mediante "datos sensoriales" —percepciones momentáneas de colores. Para Russell el atomismo lógico es una forma radical de empirismo. Russell se consolidó como un realista filosófico durante el resto de su vida. Atomismo lógico Quizás el tratamiento de análisis filosófico más sistemático y metafísico. .

especialmente su principio de isomorfismo. y que nuestro conocimiento depende de los datos de nuestra experiencia directa con ellos. aunque nunca alcanzaríamos la útima verdad (hecho) atómica.Uno de los temas centrales del atomismo de Russell es que el mundo consiste de hechos lógicamente independientes. Más tarde en su vida. Russell comenzó a dudar de los aspectos del atomismo lógico. una pluradidad de hechos. aunque continuó creyendo que el proceso de filosofía debiera consistir de cosas desmenuzadas en sus componentes más simples. .

La manipulación de información binaria se hace por circuitos lógicos que se denominan Compuertas. Compuerta AND (ver funcionamiento) http://www. cada valor binario tiene una desviación aceptable del valor nominal. . y tablas de verdad de las compuertas más usadas. Como se muestra en la figura.Las compuertas AND pueden tener más de dos entradas y por definición. La información binaria se representa en un sistema digital por cantidades físicas denominadas señales.png: Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La información está representada en las computadoras digitales en grupos de bits. los dígitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de cálculos. Por ejemplo.com. símbolos. Un dígito binario se denomina un bit. funciones algebraicas. gráficos. Utilizando diversas técnicas de codificación los grupos de bits pueden hacerse que representen no solamente números binarios sino también otros símbolos discretos cualesquiera. La siguiente ilustración muestra un ejemplo de una señal binaria. A continuación se detallan los nombres. Las relaciones entrada . que tiene dos dígitos 0 y 1.profesormolina. un sistema digital particular puede emplear una señal de 3 volts para representar el binario "1" y 0. Cada compuerta tiene un símbolo gráfico diferente y su operación puede describirse por medio de una función algebraica.salida de las variables binarias para cada compuerta pueden representarse en forma tabular en una tabla de verdad. la salida es 0.COMPUERTAS LÓGICAS Las computadoras digitales utilizan el sistema de números binarios. Estas condiciones también son especificadas en la tabla de verdad para la compuerta AND. Las compuertas son bloques del hardware que producen señales en binario 1 ó 0 cuando se satisfacen los requisitos de entrada lógica.5 volts para el binario "0". Las diversas compuertas lógicas se encuentran comúnmente en sistemas de computadoras digitales. Utilizando arreglos binarios y diversas técnicas de codificación. Las señales eléctricas tales como voltajes existen a través del sistema digital en cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0.ar/electronica/componentes/int/comp_log/ima ge002. La lógica binaria tiene que ver con variables binarias y con operaciones que toman un sentido lógico.El símbolo de operación algebraico de la función AND es el mismo que el símbolo de la multiplicación de la aritmética ordinaria (*). Los terminales de entrada de un circuito digital aceptan señales binarias dentro de las tolerancias permitidas y los circuitos responden en los terminales de salida con señales binarias que caen dentro de las tolerancias permitidas. La compuerta AND produce la multiplicación lógica AND: esto es: la salida es 1 si la entrada A y la entrada B están ambas en el binario 1: de otra manera. la salida es 1 si todas las entradas son 1. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B están en 1. tales como dígitos decimales o letras de alfabeto. La región intermedia entre las dos regiones permitidas se cruza solamente durante la transición de estado.

es igual a la operación de aritmética de suma. o función complementaria.profesormolina.ar/electronica/componentes/int/comp_log/ima ge008.ar/electronica/componentes/int/comp_log/ima ge006.com. El círculo pequeño en la salida de un símbolo gráfico de un inversor designa un inversor lógico. el cual no .Compuerta OR: (ver funcionamiento) http://www. Compuerta NOT: (ver funcionamiento) http://www. El símbolo algebraico de la función OR (+). Las compuertas OR pueden tener más de dos entradas y por definición la salida es 1 si cualquier entrada es 1.profesormolina.ar/electronica/componentes/int/comp_log/ima ge004. Compuerta Separador (yes): http://www. El símbolo algebraico utilizado para el complemento es una barra sobra el símbolo de la variable binaria. esto es. Produce el NOT. de otra manera.com.png Un símbolo triángulo por sí mismo designa un circuito separador. Si la variable binaria posee un valor 0.com. la salida es 1 si la entrada A o la entrada B o ambas entradas son 1. Es decir cambia los valores binarios 1 a 0 y viceversa. la compuerta NOT cambia su estado al valor 1 y viceversa.profesormolina.png La compuerta OR produce la función sumadora.png El circuito NOT es un inversor que invierte el nivel lógico de una señal binaria. la salida es 0.

profesormolina.com. Una designación más adecuada habría sido AND invertido puesto que es la función AND la que se ha invertido. Sin embargo. Compuerta NOR: (ver funcionamiento) http://www. Compuerta NAND: (ver funcionamiento) http://www.png Es el complemento de la función AND. que consiste en una compuerta AND seguida por un pequeño círculo (quiere decir que invierte la señal). como se indica por el símbolo gráfico. producirá una salida de 5 volt cuando la entrada es 5 volt. Este circuito se utiliza simplemente para amplificación de la señal. Las compuertas NOR pueden tener más de dos entradas. encontré un diagrama excelente y básico de la implementación de compuertas lógicas en una cerradura electrónica. y la salida es siempre el complemento de la función AND. la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la misma.AND.com. y la salida es siempre el complemento de la función OR. Navegando por internet.profesormolina.produce ninguna función lógica particular puesto que el valor binario de la salida es el mismo de la entrada. un separador que utiliza 5 volt para el binario 1. Por ejemplo. un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontraría en la pequeña cantidad de corriente aplicada a la entrada del separador.De ésta manera. . quizás 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.png La compuerta NOR es el complemento de la compuerta OR y utiliza el símbolo de la compuerta OR seguido de un círculo pequeño (quiere decir que invierte la señal).La designación NAND se deriva de la abreviación NOT .ar/electronica/componentes/int/comp_log/ima ge012.ar/electronica/componentes/int/comp_log/ima ge010.Las compuertas NAND pueden tener más de dos entradas.

Lo que está en color rojo corresponde al dip 1. tiene muchas aplicaciones. por lo cual la combinación será de dos dígitos. con esto quiero decir que la cerradura electrónica solo acepta combinaciones binarias del 0 al 9.además trate de cambiar el uso de las compuertas lógicas por memorias GAL (Generic array logic). . o esto se puede cambiar por un 555 en modo astable que a la vez están conectados a un circuito integrado 4518B el cual es un contador base 10 síncrono. el cual espera un pulso del reloj para cambiar de estado. y por otro lado estarán dos push button conectados a un diodo en paralelo con una resistencia. digo que intente ya que por fortuna pase mi materia en la universidad y no tuve que hacer proyecto. El diagrama está muy sencillo por una parte tienen ambos dip switch en donde guardaran los dos dígitos de forma binaria. en los dip switch queda guardada el numero en binario que deseamos poner. para reducir el uso de las compuertas. lo cual será la contraseña para abrir una puerta. Lo de color azul corresponde al dip 2. activar una alarma. Pero qué es esto de cerradura electrónica: Bien el proyecto consiste en colocar una combinación binaria de 4 bits. encender un motor. Espero esta explicación breve sea de mucha utilidad a continuación les muestro el diagrama del circuito. en dos diferentes dip switch.

Y si esto corresponde obtendrán 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. Ahora apretamos los push button correspondiente hasta visualizar en cada display el número que corresponde. espero les haya servido cualquier cosa que no entiendan por favor de comentarlo. en el caso del diagrama hay un led el cual prende si todo es correcto. Lo de color café es para reiniciar los contadores a cero. y en el display 2 visualizamos un 2. 2 en binario seria 0010 la cual iría en el dip switch 2. Lo de color amarillo son los correspondientes circuitos combinatorios de cada dip switch. .Lo de color morado es la salida. En el caso del display 1 tenemos que visualizar el 9. En ambos dip switch colocamos la combinación que será la clave para abrir la cerradura. Ejemplo Quiero que mi clave sea 92 Entonces tenemos que poner cada digito del número antes mencionado en binario esto es: 9 en binario seria 1001 la cual iría en el dip switch 1. Al ver que la combinación corresponde con las de los dip switch apretamos el push para ver si nuestras combinaciones son correctas. Lo de color naranja es para ver si nuestras combinaciones son correctas. Disculpen la pésima redacción pero ya me estoy poniendo a trabajar en ello. Bien como ya mencione. cualquier duda avísenme. Muchas gracias.

Cada puerta lógica consiste en una red de dispositivos interruptores que cumple las condiciones booleanas para el operador particular. es un dispositivo electrónico que es la expresión física de un operador booleano en la lógica de conmutación. La tecnología microelectrónica actual permite la elevada integración de transistores actuando como conmutadores en redes lógicas dentro de un pequeño circuito integrado. o compuerta lógica. la conexión de los interruptores tiene una configuración en circuito paralelo. Son esencialmente circuitos de conmutación integrados en un chip. Claude Elwood Shannon experimentaba con relés o interruptores electromagnéticos para conseguir las condiciones de cada compuerta lógica. para la función booleana Y (AND) colocaba interruptores en circuito serie. por ejemplo. . En nanotecnología se está desarrollando el uso de una compuerta lógica molecular. ya que con uno solo de éstos que tuviera la condición «abierto». mientras que para la implementación de una compuerta O (OR).Una puerta lógica. la salida de la compuerta Y sería = 0. El chip de la CPU es una de las máximas expresiones de este avance tecnológico. que haga posible la miniaturización de circuitos.

5 Véase también 6 Enlaces externos [editar] Lógica directa [editar] Puerta SÍ o Buffer Símbolo de la función lógica SÍ: a) Contactos. Equivalencias.1 Puerta NO (NOT) o 2.Contenido [ocultar] • • • • • • 1 Lógica directa o 1. b) Normalizado y c) No normalizado La puerta lógica SÍ.3 Puerta NO-O (NOR) o 2.2 Puerta AND o 1.4 Puerta equivalencia (XNOR) 3 Conjunto de puertas lógicas completo 4 Conjunto completo de puertas lógicas utilizando sólo puertas NAND.1 Puerta SÍ o Buffer o 1. En la práctica se suele utilizar como amplificador de corriente o como seguidor de tensión.4 Puerta OR-exclusiva (XOR) 2 Lógica negada o 2.2 Puerta NO-Y (NAND) o 2. realiza la función booleana igualdad. La ecuación característica 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 .3 Puerta OR o 1. para adaptar impedancias (buffer en inglés).

Su símbolo es un punto (·). aunque se suele omitir. el producto lógico de las variables A y B se indica como AB.1 1 [editar] Puerta AND Símbolo de la función lógica Y: a) Contactos. desde el punto de vista de la aritmética módulo 2. y se lee A y B o simplemente A por B. más conocida por su nombre en inglés AND ( ). realiza la función booleana de producto lógico. Así. La ecuación característica 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í. [editar] Puerta OR . b) Normalizado y c) No normalizado La puerta lógica Y. la compuerta AND implementa el producto módulo 2.

b) Normalizado y c) No normalizado La puerta lógica OR-exclusiva. 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 lógico si al menos una de sus entradas está a 1. [editar] Puerta OR-exclusiva (XOR) Símbolo de la función lógica O-exclusiva: a) Contactos. b) Normalizado y c) No normalizado La puerta lógica O. más conocida por su nombre en inglés XOR. realiza la función booleana A'B+AB'. más conocida por su nombre en inglés OR ( realiza la operación de suma lógica. La ecuación característica que describe el comportamiento de la puerta OR es: ). En la figura de la derecha pueden observarse sus símbolos en electrónica. La ecuación característica que describe el comportamiento de la puerta XOR es: |Su tabla de verdad es la siguiente: Tabla de verdad puerta XOR .Símbolo de la función lógica O: a) Contactos. Su símbolo es el más (+) inscrito en un círculo.

Si la puerta tuviese tres o más entradas . la puerta XOR implementa el producto módulo 2. Su tabla de verdad sería: 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 aritmética módulo 2. pone un 1 a la salida. Se obtiene cuando ambas entradas tienen distinto valor. 0 y 1 (en una compuerta de dos entradas). [editar] Lógica negada [editar] Puerta NO (NOT) .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. para que el número de unos pase a ser par. cuando los valores en las entradas son distintos. Esto es así porque la operación XOR es asociativa. la XOR tomaría la función de suma de paridad. cuenta el número de unos a la entrada y si son un número impar. ej: 1 y 0. para tres entradas escribiríamos: a (b c) o bien (a b) c.

b) Normalizado y c) No normalizada La puerta lógica NO (NOT en inglés) realiza la función booleana de inversión o negación de una variable lógica. realiza la operación de producto lógico negado. Una variable lógica A a la cual se le aplica la negación se pronuncia como "no A" o "A negada". En la figura de la derecha pueden observarse sus símbolos en electrónica. más conocida por su nombre en inglés NAND. [editar] Puerta NO-Y (NAND) Símbolo de la función lógica NO-Y: a) Contactos.Símbolo de la función lógica NO: a) Contactos. b) Normalizado y c) No normalizado La puerta lógica NO-Y. La ecuación característica que describe el comportamiento de la puerta NAND es: . La ecuación característica 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.

realiza la operación de suma lógica negada. b) Normalizado y c) No normalizado La puerta lógica NO-O. [editar] Puerta NO-O (NOR) Símbolo de la función lógica NO-O: a) Contactos. más conocida por su nombre en inglés NOR. La ecuación característica 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 .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 lógico únicamente cuando todas sus entradas están a 1. En la figura de la derecha pueden observarse sus símbolos en electrónica.

En la figura de la derecha pueden observarse sus símbolos en electrónica. OR y NOT. [editar] Puerta equivalencia (XNOR) Símbolo de la función lógica equivalencia: a) Contactos. A continuación se muestran distintos conjuntos completos (uno por línea): • • Puertas AND. 0 y 0 ó 1 y 1 (2 encendidos o 2 apagados). Su símbolo es un punto (·) inscrito en un círculo. La puerta lógica NOR constituye un conjunto completo de operadores. b) Normalizado y c) No normalizado La puerta lógica equivalencia. La ecuación característica 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 lógico. sólo si las dos entradas son iguales. realiza la función booleana AB+~A~B. .Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1 lógico sólo cuando todas sus entradas están a 0. Sólo es verdadero si ambos componentes tiene el mismo valor lógico [editar] Conjunto de puertas lógicas completo Un conjunto de puertas lógicas completo es aquel con el que se puede implementar cualquier función lógica. Puertas AND y NOT. esto es.

un conjunto de puertas lógicas es completo si puede implementar todas las puertas de otro conjunto completo conocido. Además. Equivalencias.B) 0 0 0 1 Equivalencias del conjunto completo anterior con sólo puertas NAND : • • • • Equivalencias del conjunto completo anterior con sólo puertas NOR : • • • • . [editar] Conjunto completo de puertas lógicas utilizando sólo puertas NAND. Puertas NAND. Conjunto de puertas lógicas 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 función NAND(A. Puertas NOR.B) 0 1 1 1 Salida función NOR(A. A continuación se muestran las equivalencias al conjunto de puertas lógicas completas con las funciones NAND y NOR.• • • Puertas OR y NOT.

McCluskey. la enciclopedia libre Saltar a navegación. Es funcionalmente idéntico a la utilización del mapa de Karnaugh.Algoritmo Quine–McCluskey De Wikipedia. búsqueda El Algoritmo Quine–McCluskey es un método de simplificación de funciones booleanas desarrollado por Willard Van Orman Quine y Edward J. pero su forma tabular lo .

2.hace más eficiente para su implementación en lenguajes computacionales. Funciones con un número grande de variables tienen que ser minimizadas con otros métodos heurísticos. Contenido [ocultar] • • • • • 1 Pasos 2 Complejidad 3 Ejemplo o 3. Se puede demostrar que para una función de n variables el límite superior del número de implicantes primos es 3n/n.1 Paso 1: Encontrando implicantes primos o 3. el tiempo de resolución del algoritmo Quine-McCluskey crece de forma exponencial con el aumento del número de variables.2 Paso 2: tabla de implicantes primos 4 Véase también 5 Enlaces externos [editar] Pasos El método consta de dos pasos: 1. Encontrar todos los implicantes primos de la función. Si n = 32 habrá más de 6. los cuales son necesarios y suficientes para generar la función. [editar] Complejidad Aunque es más práctico que el mapa de Karnaugh. cuando se trata de trabajar con más de cuatro variables. [editar] Ejemplo [editar] Paso 1: Encontrando implicantes primos Minimizando una función arbitraria: A B C D f . Usar esos implicantes en una tabla de implicantes primos para encontrar los implicantes primos esenciales.5 * 1015 implicantes primos. y provee un método determinístico de conseguir la mínima expresión de una función booleana.

m0 0 0 0 0 0 m1 0 0 0 1 0 m² 0 0 1 0 0 m³ 0 0 1 1 0 m4 0 1 0 0 1 m5 0 1 0 1 0 m6 0 1 1 0 0 m7 0 1 1 1 0 m8 1 0 0 0 1 m9 1 0 0 1 X m10 1 0 1 0 1 m11 1 0 1 1 1 m12 1 1 0 0 1 m13 1 1 0 1 0 .

tratamos '-' como un valor de bit. Si dos minitérminos sólo varían en un solo dígito.m14 1 1 1 0 X m15 1 1 1 1 1 Uno fácilmente puede formar la expresión canónica suma de productos de esta tabla. Ejemplo: -110 y -100 o -11. de 1s Minter m Representación binaria 1 m4 m8 0100 1000 2 m9 m10 m12 1001 1010 1100 3 m11 m14 1011 1110 4 m15 1111 En este punto. ese dígito debe reemplazarse por un guión "-" indicando que ese bit no importa. pero no -110 y 011-. simplemente sumando minitérminos (dejando fuera las redundancias) donde la función se evalúa con 1: Por supuesto. Cuando van de tamaño 2 a 4. (Consejo: agrupar los '-' primero. Para optimizarla. esta expresión no es mínima. Las redundancias también son agregadas a la tabla.) .pueden ser combinados. primero son colocados todos los minitérminos evaluados en la función como 1 en una tabla. Los términos que ya no pueden combinarse más son marcados con "*". estas pueden combinarse con los minitérminos: N. uno puede empezar a combinar los minitérminos entre sí.

12) 1-00 | m(10.15) 1-1-* m10 1010 |-------------------------| m12 1100 | m(9.9. y en la parte superior los minitérminos utilizados.11) 10--* m8 1000 | m(8.Número de 1s Minterm Bin | Implicantes de tamaño 2 | Implicantes de tamaño 4 --------------------------------|-------------------------|----------------------1 m4 0100 | m(4. Ninguno de los implicantes de esta tabla está incluido dentro de otro (esto queda garantizado en el paso uno).14) 1--0* --------------------------------| m(8. 4 8 1 1 1 1 0 1 2 5 X X . En el costado van los implicantes primos recientemente generados.10.15) 1-11 | | m(14.15) 111| [editar] Paso 2: tabla de implicantes primos Los términos marcados con "*" ya no pueden combinarse más.12.1 0 X X X 1 0 - X X X 1 - 0 X X X 1 - - En esta tabla vemos los minitérminos que "cubre" cada implicante primo. en este punto ya tenemos la tabla de implicantes primos.14.11. Los minitérminos correspondientes a las redundancias son omitidos en este paso.14) 1-10 | m14 1110 | m(12.9) 100| m(8. no se colocan en la parte superior.10.11) 10-1 | --------------------------------| m(10.12) -100* | m(8.10) 10-0 |-----------------------2 m9 1001 | m(8.11) 101| 3 m11 1011 | m(10.14) 11-0 | --------------------------------|-------------------------| 4 m15 1111 | m(11. Es el caso de . pero si puede estar "cubierto" por dos o más implicantes.

En el caso que estamos analizando. cada uno de estos dos implicantes sólo son esenciales en ausencia del otro. Un proceso adicional simple para reducir estos implicantes es prueba y error. pero un proceso más sistemático es el método de Petrick. los dos implicantes primos y no llegan a incluir todos los minitérminos por lo que podemos combinar estos implicantes con cada uno de los implicantes no esenciales para conseguir dos funciones mínimas: Las dos son equivalentes a esta función original: .que está cubierto por que está cubierto por y y . o Por este motivo.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->