¡Más rápido que el navegador!
35 relaciones: Aristóteles, Augustus De Morgan, Circuito digital, Conjunción, Conjunción lógica, Cuantificador existencial, Cuantificador universal, Disyunción, Disyunción lógica, Dualidad (matemática), Expresión (informática), Forma normal conjuntiva, Forma normal disyuntiva, George Boole, Guillermo de Ockham, Ingeniería electrónica, Ingeniería informática, Intersección de conjuntos, Isomorfismo, Lógica modal, Lógica proposicional, Lenguaje formal, Metalógica, Programa informático, Proposición, Prueba formal, Puerta lógica, Regla de inferencia, Sentencia condicional, Tautología, Teoría de la probabilidad, Teoría de modelos, Teorema, Unión de conjuntos, Verdad lógica.
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Leyes de De Morgan y Aristóteles · Ver más »
Augustus De Morgan
Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871) fue un matemático y lógico británico nacido en la India.
¡Nuevo!!: Leyes de De Morgan y Augustus De Morgan · Ver más »
Circuito digital
Un circuito digital (también, circuito lógico) es aquel que maneja la información en forma binaria, es decir, con valores de "1" y "0".
¡Nuevo!!: Leyes de De Morgan y Circuito digital · Ver más »
Conjunción
Conjunción puede hacer referencia a.
¡Nuevo!!: Leyes de De Morgan y Conjunción · Ver más »
Conjunción lógica
En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
¡Nuevo!!: Leyes de De Morgan y Conjunción lógica · Ver más »
Cuantificador existencial
En el lenguaje de predicados en lógica matemática, se usa el símbolo: \exists, llamado cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un elemento del conjunto, B, al que hace referencia la variable, que cumple la proposición escrita a continuación.
¡Nuevo!!: Leyes de De Morgan y Cuantificador existencial · Ver más »
Cuantificador universal
En lógica, se usa el símbolo \forall, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
¡Nuevo!!: Leyes de De Morgan y Cuantificador universal · Ver más »
Disyunción
Disyunción (del latín disiunctĭo, -ōnis 'desunión') significa separar o desunir.
¡Nuevo!!: Leyes de De Morgan y Disyunción · Ver más »
Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
¡Nuevo!!: Leyes de De Morgan y Disyunción lógica · Ver más »
Dualidad (matemática)
En matemáticas, una dualidad, en términos generales, traduce conceptos, teoremas o estructuras matemáticas en otros conceptos, teoremas o estructuras, mediante una correspondencia uno a uno, a menudo (pero no siempre) por medio de una operación de involución: si el dual de A es B, entonces el dual de B es A. Tales involuciones a veces tienen puntos fijos, de modo que el dual de A es A en sí mismo.
¡Nuevo!!: Leyes de De Morgan y Dualidad (matemática) · Ver más »
Expresión (informática)
En programación, una expresión es una combinación de constantes, variables o funciones, que es interpretada de acuerdo a las normas particulares de precedencia y asociación para un lenguaje de programación en particular.
¡Nuevo!!: Leyes de De Morgan y Expresión (informática) · Ver más »
Forma normal conjuntiva
En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a una conjunción de cláusulas, donde una cláusula es una disyunción de literales, donde un literal y su complemento no pueden aparecer en la misma cláusula.
¡Nuevo!!: Leyes de De Morgan y Forma normal conjuntiva · Ver más »
Forma normal disyuntiva
En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas.
¡Nuevo!!: Leyes de De Morgan y Forma normal disyuntiva · Ver más »
George Boole
George Boole (Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico.
¡Nuevo!!: Leyes de De Morgan y George Boole · Ver más »
Guillermo de Ockham
Guillermo de Ockham, también Occam, Ockam, o varias otras grafías (en inglés: William of Ockham) (c.1285-9 de abril de 1347) fue un filósofo, lógico, teólogo y fraile franciscano inglés, conocido principalmente por ser el representante más destacado de nominalismo frente a las escuelas tomistas y escotistas; y por la Navaja de Ockham, un principio metodológico e innovador, y por sus obras significativas en lógica, medicina y teología.
¡Nuevo!!: Leyes de De Morgan y Guillermo de Ockham · Ver más »
Ingeniería electrónica
La ingeniería electrónica es una rama de la ingeniería que se encarga de resolver problemas de la ingeniería tales como el control de procesos industriales y de sistemas electrónicos de potencia, instrumentación y control, así como la transformación de electricidad para el funcionamiento de diversos aparatos eléctricos.
¡Nuevo!!: Leyes de De Morgan e Ingeniería electrónica · Ver más »
Ingeniería informática
La ingeniería informática es la rama de la ingeniería que aplica los fundamentos de la ciencia de la computación, la ingeniería en computadores, la ingeniería de sistemas de información, la ingeniería de ''software'' y la ingeniería de redes y comunicaciones, para el desarrollo de todo tipo de software, hardware computacional y comunicaciones.
¡Nuevo!!: Leyes de De Morgan e Ingeniería informática · Ver más »
Intersección de conjuntos
En teoría de conjuntos, la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto que contiene los elementos comunes a los conjuntos partida.
¡Nuevo!!: Leyes de De Morgan e Intersección de conjuntos · Ver más »
Isomorfismo
En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.
¡Nuevo!!: Leyes de De Morgan e Isomorfismo · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Leyes de De Morgan y Lógica modal · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Leyes de De Morgan y Lógica proposicional · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Leyes de De Morgan y Lenguaje formal · Ver más »
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.
¡Nuevo!!: Leyes de De Morgan y Metalógica · Ver más »
Programa informático
Un programa informático o programa de computadora es una secuencia de instrucciones u órdenes basadas en un lenguaje de programación que una computadora interpreta para resolver un problema o una función especifica.
¡Nuevo!!: Leyes de De Morgan y Programa informático · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Leyes de De Morgan y Proposición · Ver más »
Prueba formal
En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia.
¡Nuevo!!: Leyes de De Morgan y Prueba formal · Ver más »
Puerta lógica
Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar, incluir o excluir según sus propiedades lógicas.
¡Nuevo!!: Leyes de De Morgan y Puerta lógica · Ver más »
Regla de inferencia
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
¡Nuevo!!: Leyes de De Morgan y Regla de inferencia · Ver más »
Sentencia condicional
Los tipos más conocidos de sentencias condicionales son el SI..ENTONCES (if..then), el SI..ENTONCES..SI NO (if..then..else) y el SEGÚN (case o switch), aunque también podríamos mencionar al manejo de excepciones como una alternativa más moderna para evitar el "anidamiento" de carne condicionales.
¡Nuevo!!: Leyes de De Morgan y Sentencia condicional · Ver más »
Tautología
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
¡Nuevo!!: Leyes de De Morgan y Tautología · Ver más »
Teoría de la probabilidad
La teoría de la probabilidad es una rama de las matemáticas que estudia los fenómenos aleatorios y estocásticos.
¡Nuevo!!: Leyes de De Morgan y Teoría de la probabilidad · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Leyes de De Morgan y Teoría de modelos · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Leyes de De Morgan y Teorema · Ver más »
Unión de conjuntos
En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.
¡Nuevo!!: Leyes de De Morgan y Unión de conjuntos · Ver más »
Verdad lógica
Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.
¡Nuevo!!: Leyes de De Morgan y Verdad lógica · Ver más »
Redirecciona aquí:
Ley de De Morgan, Ley de Morgan, Leyes de DeMorgan, Leyes de Morgan, Leyes de de morgan, Leyes de morgan.
