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

Conectiva lógica y Disyunción exclusiva

Accesos rápidos: Diferencias, Similitudes, Coeficiente de Similitud Jaccard, Referencias.

Diferencia entre Conectiva lógica y Disyunción exclusiva

Conectiva lógica vs. Disyunción exclusiva

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

Similitudes entre Conectiva lógica y Disyunción exclusiva

Conectiva lógica y Disyunción exclusiva tienen 16 cosas en común (en Unionpedia): Asociatividad (álgebra), Álgebra de Boole, Bicondicional, Condicional material, Conjunción lógica, Conmutatividad, David Hilbert, Disyunción lógica, Función booleana, Función de verdad, Involución (matemática), Lógica de primer orden, Lógica proposicional, Puerta lógica, Tabla de verdad, Valor de verdad.

Asociatividad (álgebra)

La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: \circledcirc, que cumpla la igualdad: Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos.

Asociatividad (álgebra) y Conectiva lógica · Asociatividad (álgebra) y Disyunción exclusiva · 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.

Álgebra de Boole y Conectiva lógica · Álgebra de Boole y Disyunción exclusiva · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

Bicondicional y Conectiva lógica · Bicondicional y Disyunción exclusiva · Ver más »

Condicional material

El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

Condicional material y Conectiva lógica · Condicional material y Disyunción exclusiva · 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.

Conectiva lógica y Conjunción lógica · Conjunción lógica y Disyunción exclusiva · Ver más »

Conmutatividad

En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar dos elementos no depende del orden en el que se toman.

Conectiva lógica y Conmutatividad · Conmutatividad y Disyunción exclusiva · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

Conectiva lógica y David Hilbert · David Hilbert y Disyunción exclusiva · 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.

Conectiva lógica y Disyunción lógica · Disyunción exclusiva y Disyunción lógica · 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.

Conectiva lógica y Función booleana · Disyunción exclusiva y Función booleana · Ver más »

Función de verdad

En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad.

Conectiva lógica y Función de verdad · Disyunción exclusiva y Función de verdad · Ver más »

Involución (matemática)

En matemática, una involución o función involutiva es una función matemática que es su propia inversa: Definida la función: Esta función cumple la propiedad involutiva si: para todo x de A, se cumple que la función de la función de x es x. O, de otra manera.

Conectiva lógica e Involución (matemática) · Disyunción exclusiva e Involución (matemática) · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

Conectiva lógica y Lógica de primer orden · Disyunción exclusiva y Lógica de primer orden · 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.

Conectiva lógica y Lógica proposicional · Disyunción exclusiva y Lógica proposicional · 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.

Conectiva lógica y Puerta lógica · Disyunción exclusiva y Puerta lógica · 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.

Conectiva lógica y Tabla de verdad · Disyunción exclusiva y Tabla de verdad · 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.

Conectiva lógica y Valor de verdad · Disyunción exclusiva y Valor de verdad · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Conectiva lógica y Disyunción exclusiva

Conectiva lógica tiene 64 relaciones, mientras Disyunción exclusiva tiene 27. Como tienen en común 16, el índice Jaccard es 17.58% = 16 / (64 + 27).

Referencias

En este artículo se encuentra la relación entre Conectiva lógica y Disyunción exclusiva. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »