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 exclusiva y Lógica proposicional

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

Diferencia entre Disyunción exclusiva y Lógica proposicional

Disyunción exclusiva vs. Lógica proposicional

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

Similitudes entre Disyunción exclusiva y Lógica proposicional

Disyunción exclusiva y Lógica proposicional tienen 13 cosas en común (en Unionpedia): Álgebra de Boole, Bicondicional, Condicional material, Conectiva lógica, Conjunción lógica, Disyunción lógica, Función de verdad, Lógica de primer orden, Leyes de De Morgan, Modus tollendo ponens, Operación (matemática), Tabla de verdad, Valor de verdad.

Á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 Disyunción exclusiva · Álgebra de Boole y Lógica proposicional · 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 Disyunción exclusiva · Bicondicional y Lógica proposicional · 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 Disyunción exclusiva · Condicional material y Lógica proposicional · 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.

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

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

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

Disyunción exclusiva y Función de verdad · Función de verdad y Lógica proposicional · 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.

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

Disyunción exclusiva y Leyes de De Morgan · Lógica proposicional y Leyes de De Morgan · 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.

Disyunción exclusiva y Modus tollendo ponens · Lógica proposicional y Modus tollendo ponens · Ver más »

Operación (matemática)

Una operación matemática es una función sobre una tupla y que obtiene un resultado, aplicando unas reglas preestablecidas sobre la tupla.

Disyunción exclusiva y Operación (matemática) · Lógica proposicional y Operación (matemática) · 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.

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

Disyunción exclusiva y Valor de verdad · Lógica proposicional y Valor de verdad · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Disyunción exclusiva y Lógica proposicional

Disyunción exclusiva tiene 27 relaciones, mientras Lógica proposicional tiene 81. Como tienen en común 13, el índice Jaccard es 12.04% = 13 / (27 + 81).

Referencias

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

¡Hey! ¡Ahora tenemos Facebook! »