¡Más rápido que el navegador!
27 relaciones: Alfred North Whitehead, Atenuación (retórica), Bertrand Russell, Christoph Sigwart, Complemento de un conjunto, Consecuente, Conversión lógica, Equivalencia lógica, Fórmula bien formada, Georg Wilhelm Friedrich Hegel, Inferencia, Lógica bivalente, Lógica clásica, Lógica intuicionista, Lógica proposicional, Metalógica, Negación lógica, Principia Mathematica, Principio del tercero excluido, Regla de inferencia, Reglas de reemplazo, Stephen Kleene, Tautología, Teoría de conjuntos, Teorema, Valor de verdad, Verdad lógica.
Alfred North Whitehead
Alfred North Whitehead, OM, MRS (15 de febrero de 1861- 30 de diciembre de 1947) fue un matemático y filósofo inglés.
¡Nuevo!!: Doble negación (lógica) y Alfred North Whitehead · Ver más »
Atenuación (retórica)
La atenuación (del latín attenuatio), también denominada litotes, lítotes (del bajo latín litŏtes, y este del griego λιτότης) o litote (del francés litote), y con menos frecuencia extenuación (del latín extenuatio), es una figura retórica, relacionada con la ironía y el eufemismo, mediante la cual se afirma algo, disminuyendo (atenuando) o negando lo contrario de lo que se quiere afirmar o decir: "No poco".
¡Nuevo!!: Doble negación (lógica) y Atenuación (retórica) · Ver más »
Bertrand Russell
Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.
¡Nuevo!!: Doble negación (lógica) y Bertrand Russell · Ver más »
Christoph Sigwart
Christoph Sigwart (28 de marzo de 1830- 4 de agosto de 1904), fue un filósofo alemán, exponente del psicologismo, y un clásico o precursor de la lógica de las normas o ciencia normativa.
¡Nuevo!!: Doble negación (lógica) y Christoph Sigwart · Ver más »
Complemento de un conjunto
El complemento de un conjunto o conjunto complementario es otro conjunto que contiene todos los elementos que no están en el conjunto original.
¡Nuevo!!: Doble negación (lógica) y Complemento de un conjunto · Ver más »
Consecuente
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.
¡Nuevo!!: Doble negación (lógica) y Consecuente · Ver más »
Conversión lógica
Se dice convertir una proposición, en referencia a lo que tradicionalmente han sido los juicios aristotélicos, a la sustitución de los términos entre sí.
¡Nuevo!!: Doble negación (lógica) y Conversión lógica · Ver más »
Equivalencia lógica
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico.
¡Nuevo!!: Doble negación (lógica) y Equivalencia lógica · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Doble negación (lógica) y Fórmula bien formada · Ver más »
Georg Wilhelm Friedrich Hegel
Georg Wilhelm Friedrich Hegel (Stuttgart, 27 de agosto de 1770-Berlín, 14 de noviembre de 1831) fue el filósofo más notable del Idealismo alemán, el último de la Modernidad, llamado incluso la "conciencia de la modernidad".
¡Nuevo!!: Doble negación (lógica) y Georg Wilhelm Friedrich Hegel · Ver más »
Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.
¡Nuevo!!: Doble negación (lógica) e Inferencia · Ver más »
Lógica bivalente
Una lógica clásica es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión).
¡Nuevo!!: Doble negación (lógica) y Lógica bivalente · 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!!: Doble negación (lógica) y Lógica clásica · Ver más »
Lógica intuicionista
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.
¡Nuevo!!: Doble negación (lógica) y Lógica intuicionista · 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!!: Doble negación (lógica) 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!!: Doble negación (lógica) y Metalógica · Ver más »
Negación lógica
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
¡Nuevo!!: Doble negación (lógica) y Negación lógica · Ver más »
Principia Mathematica
Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead y publicados entre 1910 y 1913.
¡Nuevo!!: Doble negación (lógica) y Principia Mathematica · Ver más »
Principio del tercero excluido
El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
¡Nuevo!!: Doble negación (lógica) y Principio del tercero excluido · 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!!: Doble negación (lógica) y Regla de inferencia · Ver más »
Reglas de reemplazo
En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión.....
¡Nuevo!!: Doble negación (lógica) y Reglas de reemplazo · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Doble negación (lógica) y Stephen Kleene · 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!!: Doble negación (lógica) y Tautología · 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!!: Doble negación (lógica) y Teoría de conjuntos · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Doble negación (lógica) y Teorema · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Doble negación (lógica) y Valor de 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!!: Doble negación (lógica) y Verdad lógica · Ver más »
Redirecciona aquí:
Eliminación de la doble negación.
