¡Más rápido que el navegador!
89 relaciones: Alfabeto lógico, Algoritmo de Floyd-Warshall, Argumento de Penrose-Lucas, Aritmética recursiva primitiva, Augustus De Morgan, Álgebra de Boole, Álgebra de Lindenbaum-Tarski, Baga, biga, higa, Base de conocimiento, Categoría (Kant), Cálculo lógico, Cálculo proposicional de Frege, Cláusula (lógica), Computadora de tubos de vacío, Conectiva lógica, Conjunción lógica, Conjunción opuesta, Consecuente, Cuantificador (lingüística), Deducción natural, Desigualdad triangular, Dilema constructivo, Dilema destructivo, Distributividad, Disyunción, Disyunción exclusiva, Disyunción opuesta, El acertijo lógico más difícil, Eliminación de la disyunción, Equisatisfactibilidad, Erotética, Espectro de una sentencia, Estado de salida, Estoicismo, Evaluación de cortocircuito, Falacia, Falso dilema, Forma normal conjuntiva, Forma normal disyuntiva, Formas canónicas (álgebra de Boole), Función booleana, Función mayorante, Función monótona, Gottfried Leibniz, Gottlob Frege, Grafo de Petersen generalizado, Gramática booleana, Gráficos existenciales, Historia general de la naturaleza y teoría del cielo, Igualdad lógica, ..., Inclusivo, Juego de la vida, Lógica de 1-bit, Lógica estoica, Lógica infinitaria, Lógica proposicional, Lenguaje ensamblador, Leyes de De Morgan, Matriz (matemática), Maxterm, Modus ponendo ponens, Modus tollendo ponens, Número de Dedekind, Negación lógica, Notación matemática, O (desambiguación), Operador a nivel de bits, Or, Orden total, PDP-8, Perceptrón, Pleca, Poetas del Lenguaje, Principio de Hanlon, Project Euler, Prolog, Puerta OR, Resolución (lógica), Retículo distributivo, Reunión (Francia), Semiótica polar, Signos más y menos, Simetría, Sophismata, Tabla de verdad, Teoría informal de conjuntos, Teorema de Cook, Unión de conjuntos, Unidad aritmética lógica. Expandir índice (39 más) »
Alfabeto lógico
El alfabeto lógico, también llamado Alfabeto Lógico X-stem (XLA), constituye un conjunto icónico de símbolos lógicos booleanos que representan sistemáticamente dieciséis posibles funciones de verdad binarias de la lógica.
¡Nuevo!!: Disyunción lógica y Alfabeto lógico · Ver más »
Algoritmo de Floyd-Warshall
En informática, el algoritmo de Floyd-Warshall, descrito en 1959 por Bernard Roy, es un algoritmo de análisis sobre grafos para encontrar el camino mínimo en grafos dirigidos ponderados.
¡Nuevo!!: Disyunción lógica y Algoritmo de Floyd-Warshall · Ver más »
Argumento de Penrose-Lucas
El argumento de Penrose-Lucas es un argumento lógico parcialmente basado en una teoría desarrollada por el matemático y lógico Kurt Gödel.
¡Nuevo!!: Disyunción lógica y Argumento de Penrose-Lucas · Ver más »
Aritmética recursiva primitiva
La aritmética recursiva primitiva (PRA por sus siglas en inglés) es una formalización libre de cuantificadores de los números naturales.
¡Nuevo!!: Disyunción lógica y Aritmética recursiva primitiva · 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!!: Disyunción lógica y Augustus De Morgan · Ver más »
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
¡Nuevo!!: Disyunción lógica y Álgebra de Boole · Ver más »
Álgebra de Lindenbaum-Tarski
En lógica matemática, el álgebra de Lindenbaum-Tarski (también conocida como álgebra de Lindenbaum) de una teoría lógica T consiste en las clases de equivalencia de sentencias de la teoría (es decir, el cociente, bajo la relación de equivalencia ~ definida de tal manera que p ~ q exactamente cuando p y q son probablemente equivalentes en T). Es decir, dos oraciones son equivalentes si la teoría T prueba que cada una implica a la otra.
¡Nuevo!!: Disyunción lógica y Álgebra de Lindenbaum-Tarski · Ver más »
Baga, biga, higa
Baga biga higa es una canción compuesta por el cantautor vasco Mikel Laboa en 1969.
¡Nuevo!!: Disyunción lógica y Baga, biga, higa · Ver más »
Base de conocimiento
Una base de conocimiento es un tipo especial de base de datos para la gestión del conocimiento.
¡Nuevo!!: Disyunción lógica y Base de conocimiento · Ver más »
Categoría (Kant)
En la filosofía de Immanuel Kant, una categoría (Categorie en el original o Kategorie en alemán moderno) es un concepto puro del entendimiento (Verstand).
¡Nuevo!!: Disyunción lógica y Categoría (Kant) · Ver más »
Cálculo lógico
El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.
¡Nuevo!!: Disyunción lógica y Cálculo lógico · Ver más »
Cálculo proposicional de Frege
Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional.
¡Nuevo!!: Disyunción lógica y Cálculo proposicional de Frege · Ver más »
Cláusula (lógica)
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman.
¡Nuevo!!: Disyunción lógica y Cláusula (lógica) · Ver más »
Computadora de tubos de vacío
Una computadora de tubos de vacío, ahora denominada computadora de primera generación, es una computadora que usa tubos de vacío para sus circuitos lógicos.
¡Nuevo!!: Disyunción lógica y Computadora de tubos de vacío · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Disyunción lógica y Conectiva lógica · 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!!: Disyunción lógica y Conjunción lógica · Ver más »
Conjunción opuesta
En razonamiento formal, una conjunción opuesta (\uparrow) (también conocida como incompatibilizador, barra de Nicod, trazo de Sheffer o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma.
¡Nuevo!!: Disyunción lógica y Conjunción opuesta · Ver más »
Consecuente
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.
¡Nuevo!!: Disyunción lógica y Consecuente · Ver más »
Cuantificador (lingüística)
En el campo de la lingüística se conoce como "cuantificador" a toda palabra (o locución) que denote o indique cantidad, como por ejemplo: todo, mucho, demasiado, bastante, bastante poco, poco, nada, etc. Pueden pertenecer a varias categorías gramaticales.
¡Nuevo!!: Disyunción lógica y Cuantificador (lingüística) · Ver más »
Deducción natural
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente al construir demostraciones matemáticas.
¡Nuevo!!: Disyunción lógica y Deducción natural · Ver más »
Desigualdad triangular
La desigualdad triangular o desigualdad de Minkowski es un teorema de geometría euclidiana que establece: Este resultado ha sido generalizado a otros contextos más sofisticados como espacios vectoriales.
¡Nuevo!!: Disyunción lógica y Desigualdad triangular · Ver más »
Dilema constructivo
Dilema constructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Disyunción lógica y Dilema constructivo · Ver más »
Dilema destructivo
Dilema destructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Disyunción lógica y Dilema destructivo · Ver más »
Distributividad
En matemáticas, la distributividad es la propiedad de las operaciones binarias que generaliza la propiedad distributiva del álgebra elemental.
¡Nuevo!!: Disyunción lógica y Distributividad · Ver más »
Disyunción
Disyunción (del latín disiunctĭo, -ōnis 'desunión') significa separar o desunir.
¡Nuevo!!: Disyunción lógica y Disyunción · Ver más »
Disyunción exclusiva
En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, "or" fuerte, "or" exclusivo, o desigualdad material) es un operador lógico simbolizado como XOR, EOR, EXOR, ⊻, ⊕ o \nleftrightarrow es un tipo de disyunción lógica de dos operandos.
¡Nuevo!!: Disyunción lógica y Disyunción exclusiva · Ver más »
Disyunción opuesta
En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización \downarrow debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero si y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma.
¡Nuevo!!: Disyunción lógica y Disyunción opuesta · Ver más »
El acertijo lógico más difícil
«El acertijo lógico más difícil del mundo» es un título que acuñó George Boolos en La República (1992) bajo el título «L'indovinello più difficile del mondo» para el siguiente acertijo lógico inspirado en Raymond Smullyan: Tres dioses A, B, y C son llamados, en algún orden, Verdad, Falso, y Aleatorio.
¡Nuevo!!: Disyunción lógica y El acertijo lógico más difícil · Ver más »
Eliminación de la disyunción
En lógica proposicional, la eliminación de la disyunción (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica.
¡Nuevo!!: Disyunción lógica y Eliminación de la disyunción · Ver más »
Equisatisfactibilidad
En lógica, dos fórmulas son equisatisfactibles si la primera fórmula es satisfactible siempre que la segunda fórmula lo fuera también, y viceversa.
¡Nuevo!!: Disyunción lógica y Equisatisfactibilidad · Ver más »
Erotética
La erotética (también lógica erotética, lógica interrogativa o lógica de las preguntas y respuestas) (Del griego antiguo έρωτητική ('érotitikí', interrogativo), en Aristóteles 'διαλεκτική έρωτητική' (interrogativo dialéctico) y también derivado de ἐρωτάω (erotáo) 'interrogar; por implicación pedir, requerir'.) es el estudio de las expresiones en las que se manifiestan preguntas, expresiones interrogativas o erotemas, lo mismo que las respuestas correspondientes.
¡Nuevo!!: Disyunción lógica y Erotética · Ver más »
Espectro de una sentencia
En lógica matemática, el espectro de una oración es el conjunto de números naturales que ocurren como el tamaño de un modelo finito en el que una sentencia dada es verdadera.
¡Nuevo!!: Disyunción lógica y Espectro de una sentencia · Ver más »
Estado de salida
El estado de salida o código de salida (en inglés: exit status) de un proceso en programación informática es un número que el proceso proceso hijo envía a un proceso padre cuando ha terminado de ejecutar un procedimiento específico o tarea delegada.
¡Nuevo!!: Disyunción lógica y Estado de salida · Ver más »
Estoicismo
El estoicismo es una escuela filosófica fundada por Zenón de Citio en Atenas a principios del Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural.
¡Nuevo!!: Disyunción lógica y Estoicismo · Ver más »
Evaluación de cortocircuito
La evaluación de corto-circuito, evaluación mínima, o evaluación McCarthy (por el científico John McCarthy) denota la semántica de algunos operadores booleanos en algunos lenguajes de programación en los cuales el segundo argumento no se ejecuta o evalúa si el primer argumento de la función AND evalúa y el resultado es falso, el valor total tiene que ser falso; y cuando el primer argumento de la función OR evalúa y el resultado es verdadero, el valor total tiene que ser verdadero.
¡Nuevo!!: Disyunción lógica y Evaluación de cortocircuito · Ver más »
Falacia
En lógica, una falacia (del latín fallacia ‘engaño’) es un argumento que parece válido, pero no lo es.
¡Nuevo!!: Disyunción lógica y Falacia · Ver más »
Falso dilema
La falacia informal del falso dilema involucra una situación en la que se presentan dos puntos de vista como las únicas opciones posibles, cuando en realidad existen una o más opciones alternativas que no han sido consideradas.
¡Nuevo!!: Disyunción lógica y Falso dilema · 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!!: Disyunción lógica 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!!: Disyunción lógica y Forma normal disyuntiva · Ver más »
Formas canónicas (álgebra de Boole)
En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa.
¡Nuevo!!: Disyunción lógica y Formas canónicas (álgebra de Boole) · Ver más »
Función booleana
En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
¡Nuevo!!: Disyunción lógica y Función booleana · Ver más »
Función mayorante
En lógica binaria, la función mayorante u operador mediano es una función matemática que va desde n entradas a una salida.
¡Nuevo!!: Disyunción lógica y Función mayorante · Ver más »
Función monótona
En matemáticas, una función entre conjuntos ordenados se dice monótona (o isótona) si conserva el orden dado.
¡Nuevo!!: Disyunción lógica y Función monótona · Ver más »
Gottfried Leibniz
Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
¡Nuevo!!: Disyunción lógica y Gottfried Leibniz · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Disyunción lógica y Gottlob Frege · Ver más »
Grafo de Petersen generalizado
En teoría de grafos, los grafos de Petersen generalizados son una familia de grafos cúbicos formada al conectar los vértices de un polígono regular con los vértices correspondientes de un estrella.
¡Nuevo!!: Disyunción lógica y Grafo de Petersen generalizado · Ver más »
Gramática booleana
Las gramáticas booleanas, introducidas por Okhotin, son una clase de gramáticas formales estudiadas en la teoría de lenguajes formales.
¡Nuevo!!: Disyunción lógica y Gramática booleana · Ver más »
Gráficos existenciales
Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce.
¡Nuevo!!: Disyunción lógica y Gráficos existenciales · Ver más »
Historia general de la naturaleza y teoría del cielo
La Historia general de la naturaleza y teoría del cielo (Allgemeine Naturgeschichte und Theorie des Himmels) es una obra de Immanuel Kant, que escribió en 1755 y publicó anónimamente en el mismo año.
¡Nuevo!!: Disyunción lógica e Historia general de la naturaleza y teoría del cielo · Ver más »
Igualdad lógica
La igualdad lógica es una conectiva lógica que corresponde a la igualdad en el álgebra de Boole y a la proposición bicondicional en lógica proposicional.
¡Nuevo!!: Disyunción lógica e Igualdad lógica · Ver más »
Inclusivo
Lo inclusivo es, en general, lo que incluye algo o tiene capacidad de ello.
¡Nuevo!!: Disyunción lógica e Inclusivo · Ver más »
Juego de la vida
El Juego de la vida es un autómata celular diseñado por el matemático británico John Horton Conway en 1970.
¡Nuevo!!: Disyunción lógica y Juego de la vida · Ver más »
Lógica de 1-bit
En arquitectura de ordenador, los procesadores de 1-bit son aquellos que usan números enteros de 1 bit u otras unidades de dato son los que son 1 bit (1/8 octeto).
¡Nuevo!!: Disyunción lógica y Lógica de 1-bit · Ver más »
Lógica estoica
La lógica estoica es el sistema de lógica proposicional desarrollado por los filósofos del estoicismo en la antigua Grecia.
¡Nuevo!!: Disyunción lógica y Lógica estoica · Ver más »
Lógica infinitaria
Una lógica infinita es una lógica que permite declaraciones infinitamente largas y / o pruebas infinitamente largas.
¡Nuevo!!: Disyunción lógica y Lógica infinitaria · 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!!: Disyunción lógica y Lógica proposicional · Ver más »
Lenguaje ensamblador
El lenguaje ensamblador o assembler (en inglés: assembler language y la abreviación asm) es un lenguaje de programación que se usa en los microprocesadores.
¡Nuevo!!: Disyunción lógica y Lenguaje ensamblador · Ver más »
Leyes de De Morgan
En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
¡Nuevo!!: Disyunción lógica y Leyes de De Morgan · Ver más »
Matriz (matemática)
En matemática, una matriz es un conjunto bidimensional de números.
¡Nuevo!!: Disyunción lógica y Matriz (matemática) · Ver más »
Maxterm
Un maxterm, máxterm, maxtérmino o maxitérmino consiste únicamente en una expresión algebraica booleana de disyunción lógica de una serie de variables booleanas, cada una de las cuales puede estar negada o no.
¡Nuevo!!: Disyunción lógica y Maxterm · Ver más »
Modus ponendo ponens
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.
¡Nuevo!!: Disyunción lógica y Modus ponendo ponens · Ver más »
Modus tollendo ponens
El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E,HurleyCopi y Cohen o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,HurleyCopi y Cohen y en lógica proposicional, una regla de inferencia válida.
¡Nuevo!!: Disyunción lógica y Modus tollendo ponens · Ver más »
Número de Dedekind
En combinatoria, los números de Dedekind son una sucesión entera de rápido crecimiento cuyo nombre se dio póstumamente en honor a Richard Dedekind, quien las definió por primera vez en 1897.
¡Nuevo!!: Disyunción lógica y Número de Dedekind · Ver más »
Negación lógica
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
¡Nuevo!!: Disyunción lógica y Negación lógica · Ver más »
Notación matemática
La matemática se apoya en un lenguaje simbólico formal, la notación matemática, que sigue una serie de convenciones propias.
¡Nuevo!!: Disyunción lógica y Notación matemática · Ver más »
O (desambiguación)
O (u o) puede designar.
¡Nuevo!!: Disyunción lógica y O (desambiguación) · Ver más »
Operador a nivel de bits
Una operación bit a bit o bitwise opera sobre números binarios a nivel de sus bits individuales.
¡Nuevo!!: Disyunción lógica y Operador a nivel de bits · Ver más »
Or
OR, Or u or puede referirse a.
¡Nuevo!!: Disyunción lógica y Or · Ver más »
Orden total
En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X.
¡Nuevo!!: Disyunción lógica y Orden total · Ver más »
PDP-8
El PDP-8 (Programmed Data Processor - 8) es un miniordenador de 12 bits creada por Digital Equipment Corporation (DEC) en abril de 1965, de la serie PDP.
¡Nuevo!!: Disyunción lógica y PDP-8 · Ver más »
Perceptrón
En el campo de las Redes Neuronales, el perceptrón, creado por Frank Rosenblatt, se refiere a.
¡Nuevo!!: Disyunción lógica y Perceptrón · Ver más »
Pleca
La pleca es un carácter usado en matemáticas para representar el valor absoluto, el módulo, determinantes, como símbolo de «tal que» o «que cumple» y con índices como símbolo de rango; en lexicografía, para separar acepciones y subacepciones; y, en informática, como operador de disyunción «o» o para tuberías.
¡Nuevo!!: Disyunción lógica y Pleca · Ver más »
Poetas del Lenguaje
Los poetas del lenguaje (o "L.
¡Nuevo!!: Disyunción lógica y Poetas del Lenguaje · Ver más »
Principio de Hanlon
El principio de Hanlon, también conocido como la navaja de Hanlon es un principio o regla empírica que establece: «Nunca atribuyas a la maldad lo que se explica adecuadamente por la estupidez».
¡Nuevo!!: Disyunción lógica y Principio de Hanlon · Ver más »
Project Euler
Project Euler (Proyecto Euler, llamado así por el matemático Leonhard Euler) es un sitio web dedicado a una serie de problemas matemáticos diseñados para ser resueltos por programas computacionales.
¡Nuevo!!: Disyunción lógica y Project Euler · Ver más »
Prolog
Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.
¡Nuevo!!: Disyunción lógica y Prolog · Ver más »
Puerta OR
La puerta OR o compuerta OR es una puerta lógica digital que implementa la disyunción lógica, se comporta de acuerdo a la tabla de verdad mostrada a la derecha.
¡Nuevo!!: Disyunción lógica y Puerta OR · Ver más »
Resolución (lógica)
En Lógica Resolución es una regla de inferencia utilizada sobre cierto tipo de proposiciones lógicas y es especialmente utilizada para los demostradores automatizados de teoremas.
¡Nuevo!!: Disyunción lógica y Resolución (lógica) · Ver más »
Retículo distributivo
En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra.
¡Nuevo!!: Disyunción lógica y Retículo distributivo · Ver más »
Reunión (Francia)
Reunión o La Reunión (La Réunion; en criollo reunionés: La Rényon) es una isla situada en el océano Índico occidental, al este de Madagascar, en el hemisferio sur.
¡Nuevo!!: Disyunción lógica y Reunión (Francia) · Ver más »
Semiótica polar
La semiótica polar es un concepto en el ámbito de la semiótica, que es la ciencia de los signos.
¡Nuevo!!: Disyunción lógica y Semiótica polar · Ver más »
Signos más y menos
Los signos más (+) y menos (−) se utilizan para identificar números positivos o negativos respectivamente.
¡Nuevo!!: Disyunción lógica y Signos más y menos · Ver más »
Simetría
La simetría (del griego őύν "con" y μέτροv "medida") es un rasgo característico de formas geométricas, sistemas, ecuaciones y otros objetos materiales, o entidades abstractas, relacionada con su invariancia bajo ciertas transformaciones, movimientos o intercambios.
¡Nuevo!!: Disyunción lógica y Simetría · Ver más »
Sophismata
Sophismata (de la palabra griega σόφισμα, 'sophisma', que también dio lugar al término relacionado " sofisma ") en la filosofía medieval y la literatura medieval es un género de argumento académico basado en oraciones difíciles o desconcertantes con fines educativos que presentan dificultades de análisis lógico que deben ser resueltas.
¡Nuevo!!: Disyunción lógica y Sophismata · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Disyunción lógica y Tabla de verdad · Ver más »
Teoría informal de conjuntos
La Teoría Informal de Conjuntos es una de las diversas teorías que se han desarrollado en torno al debate de los fundamentos de matemáticas.
¡Nuevo!!: Disyunción lógica y Teoría informal de conjuntos · Ver más »
Teorema de Cook
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures".
¡Nuevo!!: Disyunción lógica y Teorema de Cook · 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!!: Disyunción lógica y Unión de conjuntos · Ver más »
Unidad aritmética lógica
En computación, la unidad aritmética lógica o unidad aritmético-lógica, también conocida como ALU (siglas en inglés de arithmetic logic unit), es un circuito digital que realiza operaciones aritméticas (suma, resta) y operaciones lógicas (SI, Y, O, NO) entre los valores de los argumentos (uno o dos) Por mucho, los circuitos electrónicos más complejos son los que están construidos dentro de los chips de microprocesadores modernos.
¡Nuevo!!: Disyunción lógica y Unidad aritmética lógica · Ver más »
Redirecciona aquí:
Disyuncion logica, Disyuncion lógica, Disyunción inclusiva, O inclusivo, OR lógico, .
