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

Disyunción exclusiva y Modus tollendo ponens

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

Diferencia entre Disyunción exclusiva y Modus tollendo ponens

Disyunción exclusiva vs. Modus tollendo ponens

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

Similitudes entre Disyunción exclusiva y Modus tollendo ponens

Disyunción exclusiva y Modus tollendo ponens tienen 2 cosas en común (en Unionpedia): Disyunción lógica, Lógica proposicional.

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 Modus tollendo ponens · 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.

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

La lista de arriba responde a las siguientes preguntas

Comparación de Disyunción exclusiva y Modus tollendo ponens

Disyunción exclusiva tiene 27 relaciones, mientras Modus tollendo ponens tiene 28. Como tienen en común 2, el índice Jaccard es 3.64% = 2 / (27 + 28).

Referencias

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

¡Hey! ¡Ahora tenemos Facebook! »