Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Disyunción lógica

Índice 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.

25 relaciones: Álgebra de Boole, Bit, Conectiva lógica, Conjunción lógica, Conjunto universal, Distributividad, Disyunción exclusiva, Electrónica, George Boole, Lógica proposicional, Lenguaje formal, Leyes de De Morgan, Operación binaria, Operación interna, Operador a nivel de bits, Par ordenado, Proposición, Puerta lógica, Puerta OR, Razonamiento deductivo, Tabla de verdad, Teoría de conjuntos, Unión de conjuntos, Valor de verdad, William Stanley Jevons.

Á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 »

Bit

En informática o teoría de la información, el bit corresponde a un dígito del sistema de numeración binario y representa la unidad mínima de información.

¡Nuevo!!: Disyunción lógica y Bit · 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 »

Conjunto universal

En matemáticas, principalmente en teoría de conjuntos y lógica de clases, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado.

¡Nuevo!!: Disyunción lógica y Conjunto universal · 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 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 »

Electrónica

La electrónica es una rama de la física aplicada que comprende la física, la ingeniería, la tecnología y las aplicaciones que tratan con la emisión, el flujo y el control de los electrones u otras partículas cargadas eléctricamente— en el vacío y la materia.

¡Nuevo!!: Disyunción lógica y Electrónica · 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!!: Disyunción lógica y George Boole · 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 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!!: Disyunción lógica y Lenguaje formal · 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 »

Operación binaria

Se define como operación binaria (o ley de composición) aquella operación matemática, que necesita el operador y dos operandos (argumentos) para que se calcule un valor.

¡Nuevo!!: Disyunción lógica y Operación binaria · Ver más »

Operación interna

Una operación matemática, se dice que es una operación interna, en un conjunto A si para todos los valores de la operación el resultado pertenece a A. En el caso de un conjunto A \, y una operación binaria \circledcirc definida sobre él (A, \circledcirc), tendremos que para dos elementos cualesquiera del conjunto A operados bajo \circledcirc, el resultado siempre pertenece al mismo conjunto A. Es decir: El resultado siempre pertenece al mismo conjunto.

¡Nuevo!!: Disyunción lógica y Operación interna · 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 »

Par ordenado

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.

¡Nuevo!!: Disyunción lógica y Par ordenado · Ver más »

Proposición

En filosofía y lógica, el término proposición se usa para referirse a.

¡Nuevo!!: Disyunción lógica y Proposición · 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!!: Disyunción lógica y Puerta lógica · 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 »

Razonamiento deductivo

El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.

¡Nuevo!!: Disyunción lógica y Razonamiento deductivo · 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 de conjuntos

La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.

¡Nuevo!!: Disyunción lógica y Teoría de conjuntos · 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 »

Valor de verdad

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.

¡Nuevo!!: Disyunción lógica y Valor de verdad · Ver más »

William Stanley Jevons

William Stanley Jevons (Liverpool, 1 de septiembre de 1835 - Hastings, 13 de agosto de 1882) fue un economista, filósofo y lógico inglés.

¡Nuevo!!: Disyunción lógica y William Stanley Jevons · Ver más »

Redirecciona aquí:

Disyuncion logica, Disyuncion lógica, Disyunción inclusiva, O inclusivo, OR lógico, .

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »