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

Modus ponendo ponens y Modus tollendo tollens

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

Diferencia entre Modus ponendo ponens y Modus tollendo tollens

Modus ponendo ponens vs. Modus tollendo tollens

El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional. El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional.

Similitudes entre Modus ponendo ponens y Modus tollendo tollens

Modus ponendo ponens y Modus tollendo tollens tienen 16 cosas en común (en Unionpedia): Afirmación del consecuente, Consecuencia lógica, Consecuente, Falacia, Forma lógica, Implicación material, Latín, Lógica proposicional, Metalógica, Modus tollendo ponens, Negación del antecedente, Regla de inferencia, Sistema formal, Susanne Bobzien, Tabla de verdad, Validez (lógica).

Afirmación del consecuente

En lógica, la afirmación del consecuente, también llamado error recíproco o error converso, es una falacia formal.

Afirmación del consecuente y Modus ponendo ponens · Afirmación del consecuente y Modus tollendo tollens · Ver más »

Consecuencia lógica

En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.

Consecuencia lógica y Modus ponendo ponens · Consecuencia lógica y Modus tollendo tollens · Ver más »

Consecuente

En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.

Consecuente y Modus ponendo ponens · Consecuente y Modus tollendo tollens · Ver más »

Falacia

En lógica, una falacia (del latín fallacia ‘engaño’) es un argumento que parece válido, pero no lo es.

Falacia y Modus ponendo ponens · Falacia y Modus tollendo tollens · Ver más »

Forma lógica

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados.

Forma lógica y Modus ponendo ponens · Forma lógica y Modus tollendo tollens · Ver más »

Implicación material

En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado.

Implicación material y Modus ponendo ponens · Implicación material y Modus tollendo tollens · Ver más »

Latín

El latín (autoglotónimo: Lingua Latina o Latīnum; en griego clásico: Λατινικὴ ɣλῶττα; en neogriego: Λατινική γλώσσα o Λατινικά) es una lengua itálica perteneciente al subgrupo latino-falisco, y a su vez a la familia de las lenguas indoeuropeas, que fue hablada en la Antigua Roma y posteriormente durante la Edad Media y la Edad Moderna, llegando hasta la Edad Contemporánea, pues se mantuvo como lengua científica hasta el.

Latín y Modus ponendo ponens · Latín y Modus tollendo tollens · 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.

Lógica proposicional y Modus ponendo ponens · Lógica proposicional y Modus tollendo tollens · Ver más »

Metalógica

La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.

Metalógica y Modus ponendo ponens · Metalógica y Modus tollendo tollens · 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.

Modus ponendo ponens y Modus tollendo ponens · Modus tollendo ponens y Modus tollendo tollens · Ver más »

Negación del antecedente

En lógica, la negación del antecedente, también llamado error inverso, es una falacia formal.

Modus ponendo ponens y Negación del antecedente · Modus tollendo tollens y Negación del antecedente · Ver más »

Regla de inferencia

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

Modus ponendo ponens y Regla de inferencia · Modus tollendo tollens y Regla de inferencia · Ver más »

Sistema formal

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.

Modus ponendo ponens y Sistema formal · Modus tollendo tollens y Sistema formal · Ver más »

Susanne Bobzien

Susanne Bobzien, FBA, es una filósofa germano-británica, cuya investigación se centra en la filosofía de la lógica y el lenguaje, el determinismo y la libertad y la filosofía antigua.

Modus ponendo ponens y Susanne Bobzien · Modus tollendo tollens y Susanne Bobzien · 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.

Modus ponendo ponens y Tabla de verdad · Modus tollendo tollens y Tabla de verdad · Ver más »

Validez (lógica)

En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión.

Modus ponendo ponens y Validez (lógica) · Modus tollendo tollens y Validez (lógica) · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Modus ponendo ponens y Modus tollendo tollens

Modus ponendo ponens tiene 31 relaciones, mientras Modus tollendo tollens tiene 27. Como tienen en común 16, el índice Jaccard es 27.59% = 16 / (31 + 27).

Referencias

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

¡Hey! ¡Ahora tenemos Facebook! »