¡Más rápido que el navegador!
20 relaciones: Afirmación del consecuente, Consecuencia lógica, Consecuente, Forma lógica, Lógica, Lógica clásica, Lógica no clásica, Lógica proposicional, Metalógica, Modus tollendo ponens, Negación del antecedente, Premisa, Prueba formal, Regla de inferencia, Relación transitiva, Sentencia condicional, Sistema formal, Tautología, Teorema, 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!!: Silogismo hipotético y Afirmación del consecuente · 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!!: Silogismo hipotético 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!!: Silogismo hipotético y Consecuente · 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!!: Silogismo hipotético y Forma lógica · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Silogismo hipotético y Lógica · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Silogismo hipotético y Lógica clásica · Ver más »
Lógica no clásica
Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas.
¡Nuevo!!: Silogismo hipotético y Lógica no clásica · 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!!: Silogismo hipotético 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!!: Silogismo hipotético y Metalógica · 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!!: Silogismo hipotético 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!!: Silogismo hipotético y Negación del antecedente · Ver más »
Premisa
Una premisa es cada una de las proposiciones anteriores a la conclusión del argumento.
¡Nuevo!!: Silogismo hipotético y Premisa · 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!!: Silogismo hipotético y Prueba formal · 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!!: Silogismo hipotético y Regla de inferencia · Ver más »
Relación transitiva
Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
¡Nuevo!!: Silogismo hipotético y Relación transitiva · Ver más »
Sentencia condicional
Los tipos más conocidos de sentencias condicionales son el SI..ENTONCES (if..then), el SI..ENTONCES..SI NO (if..then..else) y el SEGÚN (case o switch), aunque también podríamos mencionar al manejo de excepciones como una alternativa más moderna para evitar el "anidamiento" de carne condicionales.
¡Nuevo!!: Silogismo hipotético y Sentencia condicional · 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!!: Silogismo hipotético y Sistema formal · Ver más »
Tautología
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
¡Nuevo!!: Silogismo hipotético y Tautología · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Silogismo hipotético y Teorema · 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!!: Silogismo hipotético y Validez (lógica) · Ver más »
