¡Más rápido que el navegador!
27 relaciones: Afirmación del consecuente, Argumento ad ignorantiam, Consecuencia lógica, Consecuente, Contraposición lógica, Estoicismo, Falacia, Forma lógica, Implicación material, Introducción de la conjunción, Latín, Lógica de primer orden, Lógica proposicional, Metalógica, Modus ponendo ponens, Modus tollendo ponens, Negación del antecedente, Non sequitur (lógica), Prueba formal, Reductio ad absurdum, Regla de inferencia, Sistema formal, Susanne Bobzien, Tabla de verdad, Teoría de conjuntos, Transposición (lógica), 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.
¡Nuevo!!: Modus tollendo tollens y Afirmación del consecuente · Ver más »
Argumento ad ignorantiam
En lógica, un argumento ad ignorantiam o argumentum ad ignorantiam, también conocido como llamada a la ignorancia, es una falacia informal que consiste en defender una proposición, argumentando que no existe prueba de lo contrario, diciendo la incapacidad de un oponente a presentar pruebas convincentes de lo contrario.
¡Nuevo!!: Modus tollendo tollens y Argumento ad ignorantiam · 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 tollendo tollens 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 tollendo tollens y Consecuente · Ver más »
Contraposición lógica
En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición.
¡Nuevo!!: Modus tollendo tollens y Contraposición lógica · Ver más »
Estoicismo
El estoicismo es una escuela filosófica fundada por Zenón de Citio en Atenas a principios del Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural.
¡Nuevo!!: Modus tollendo tollens y Estoicismo · 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 tollendo tollens 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 tollendo tollens 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 tollendo tollens e Implicación material · Ver más »
Introducción de la conjunción
Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional.
¡Nuevo!!: Modus tollendo tollens e Introducción de la conjunción · 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 tollendo tollens y Latín · 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.
¡Nuevo!!: Modus tollendo tollens 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.
¡Nuevo!!: Modus tollendo tollens 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 tollendo tollens y Metalógica · Ver más »
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.
¡Nuevo!!: Modus tollendo tollens y Modus ponendo ponens · 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 tollendo tollens y Modus tollendo ponens · 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 tollendo tollens y Negación del antecedente · Ver más »
Non sequitur (lógica)
En lógica, non sequitur (del latín «no se sigue») es un argumento en el cual la conclusión no se deduce (no se sigue) de las premisas.
¡Nuevo!!: Modus tollendo tollens y Non sequitur (lógica) · Ver más »
Prueba formal
En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia.
¡Nuevo!!: Modus tollendo tollens y Prueba formal · Ver más »
Reductio ad absurdum
Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.
¡Nuevo!!: Modus tollendo tollens y Reductio ad absurdum · 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 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.
¡Nuevo!!: 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.
¡Nuevo!!: 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.
¡Nuevo!!: Modus tollendo tollens y Tabla de verdad · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Modus tollendo tollens y Teoría de conjuntos · Ver más »
Transposición (lógica)
En la lógica proposicional, la transposición o transformación del condicional es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados.
¡Nuevo!!: Modus tollendo tollens y Transposición (lógica) · 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 tollendo tollens y Validez (lógica) · Ver más »
Redirecciona aquí:
Ley de contraposición, Modus tolendo tollens, Modus tollens, Negación del consecuente.
