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

Disyunción lógica

Índice Disyunción lógica

En razonamiento formal, una disyunción lógica (\or) (en específico, una disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso sólo 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

Álgebra de Boole también llamada álgebra booleana, en informática y matemática es una estructura algebraica que esquematiza las operaciones lógicas.

¡Nuevo!!: Disyunción lógica y Álgebra de Boole · Ver más »

Bit

Bit es el acrónimo de Binary digit (o sea de ‘dígito binario’, en español denominado como bit, y en menor medida como bitio).

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

Conectiva lógica

En lógica, una conectiva lógica, o simplemente 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 (\and) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo 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 y en particular en álgebra abstracta, la distributiva es la propiedad de los operadores binarios que generaliza la propiedad distributiva del álgebra elemental.

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

Disyunción exclusiva

La disyunción exclusiva (también llamada "o" exclusivo, o desigualdad material en lógica proposicional) 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 la rama de la física y especialización de la ingeniería, que estudia y emplea sistemas cuyo funcionamiento se basa en la conducción y el control del flujo de los electrones u otras partículas cargadas eléctricamente.

¡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 es un sistema formal cuyos elementos más simples representan proposiciones, 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 primitivos y reglas para unir esos símbolos están formalmente especificados.

¡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 el (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 booleana u otras funciones como sumar o restar, incluyen o excluyen 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

En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas.

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

Tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, 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 la 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 y filósofo 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! »