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

Modus ponendo ponens

Índice Modus ponendo ponens

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.

31 relaciones: Afirmación del consecuente, Antecedente (lógica), Apódosis, Argumento, Condicional material, Consecuencia lógica, Consecuente, Disyunción lógica, Doble negación (lógica), Falacia, Forma lógica, Implicación material, Inteligencia artificial, Latín, Lógica proposicional, Metalógica, Modus ponendo tollens, Modus tollendo ponens, Modus tollendo tollens, Negación del antecedente, Problema de la justificación de la deducción, Razonamiento deductivo, Regla de inferencia, Silogismo hipotético, Sistema formal, Solidez, Susanne Bobzien, Tabla de verdad, Validez (lógica), Verdad, Verdad 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.

¡Nuevo!!: Modus ponendo ponens y Afirmación del consecuente · Ver más »

Antecedente (lógica)

Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces".

¡Nuevo!!: Modus ponendo ponens y Antecedente (lógica) · Ver más »

Apódosis

El consecuente o apódosis en algunos contextos, es la segunda mitad de una proposición hipotética.

¡Nuevo!!: Modus ponendo ponens y Apódosis · Ver más »

Argumento

Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento o idea mediante el cual se intenta probar, refutar o incluso justificar una proposición o tesis.

¡Nuevo!!: Modus ponendo ponens y Argumento · 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.

¡Nuevo!!: Modus ponendo ponens y Condicional material · 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.

¡Nuevo!!: Modus ponendo ponens y Consecuencia lógica · Ver más »

Consecuente

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

¡Nuevo!!: Modus ponendo ponens y Consecuente · 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.

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

Doble negación (lógica)

En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta".

¡Nuevo!!: Modus ponendo ponens y Doble negación (lógica) · 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.

¡Nuevo!!: Modus ponendo ponens y Falacia · 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.

¡Nuevo!!: Modus ponendo ponens y Forma lógica · 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.

¡Nuevo!!: Modus ponendo ponens e Implicación material · Ver más »

Inteligencia artificial

La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.

¡Nuevo!!: Modus ponendo ponens e Inteligencia artificial · 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.

¡Nuevo!!: Modus ponendo ponens y Latín · 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.

¡Nuevo!!: Modus ponendo ponens y Lógica proposicional · 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.

¡Nuevo!!: Modus ponendo ponens y Metalógica · Ver más »

Modus ponendo tollens

Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.

¡Nuevo!!: Modus ponendo ponens y Modus ponendo 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.

¡Nuevo!!: Modus ponendo ponens y Modus tollendo ponens · Ver más »

Modus tollendo tollens

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.

¡Nuevo!!: Modus ponendo 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.

¡Nuevo!!: Modus ponendo ponens y Negación del antecedente · Ver más »

Problema de la justificación de la deducción

El problema de la justificación de la deducción es el problema de la filosofía de la lógica acerca de cómo justificar los métodos deductivos propios de las ciencias formales, suponiendo que necesitan ser justificados.

¡Nuevo!!: Modus ponendo ponens y Problema de la justificación de la deducción · Ver más »

Razonamiento deductivo

El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.

¡Nuevo!!: Modus ponendo ponens y Razonamiento deductivo · 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).

¡Nuevo!!: Modus ponendo ponens y Regla de inferencia · Ver más »

Silogismo hipotético

En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas.

¡Nuevo!!: Modus ponendo ponens y Silogismo hipotético · 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.

¡Nuevo!!: Modus ponendo ponens y Sistema formal · Ver más »

Solidez

En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.

¡Nuevo!!: Modus ponendo ponens y Solidez · 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.

¡Nuevo!!: Modus ponendo ponens 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.

¡Nuevo!!: Modus ponendo ponens 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.

¡Nuevo!!: Modus ponendo ponens y Validez (lógica) · Ver más »

Verdad

La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha afirmación se refiereMerriam-Webster's Online Dictionary,, 2005.

¡Nuevo!!: Modus ponendo ponens y Verdad · Ver más »

Verdad lógica

Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.

¡Nuevo!!: Modus ponendo ponens y Verdad lógica · Ver más »

Redirecciona aquí:

Afirmación del antecedente, Modus ponens.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »