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

Absorción (lógica)

Índice Absorción (lógica)

Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.

19 relaciones: Alfred North Whitehead, Apódosis, Bertrand Russell, Conjunción lógica, Consecuencia lógica, Consecuente, Distributividad, Forma lógica, Implicación material, Introducción de la conjunción, Lógica proposicional, Metalógica, Principia mathematica, Principio del tercero excluido, Reglas de inferencia, Sistema formal, Tautología, Teorema, Validez (lógica).

Alfred North Whitehead

Alfred North Whitehead, OM, MRS (15 de febrero de 1861 al 30 de diciembre de 1947) fue un matemático y filósofo inglés.

¡Nuevo!!: Absorción (lógica) y Alfred North Whitehead · Ver más »

Apódosis

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

¡Nuevo!!: Absorción (lógica) y Apódosis · Ver más »

Bertrand Russell

Bertrand Arthur William Russell, tercer conde de Russell, OM, MRS (Trellech, 18 de mayo de 1872 - Penrhyndeudraeth, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofía analítica, sus trabajos matemáticos y su activismo social.

¡Nuevo!!: Absorción (lógica) y Bertrand Russell · Ver más »

Conjunción lógica

En razonamiento formal, una conjunción lógica (\and) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.

¡Nuevo!!: Absorción (lógica) y Conjunción lógica · 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!!: Absorción (lógica) 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!!: Absorción (lógica) y Consecuente · Ver más »

Distributividad

En matemáticas y en particular en álgebra abstracta, la distributiva es la propiedad de los operadores binarios que generaliza la propiedad distributiva del álgebra elemental.

¡Nuevo!!: Absorción (lógica) y Distributividad · 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!!: Absorción (lógica) y Forma lógica · Ver más »

Implicación material

En lógica proposicional, la implicación material 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!!: Absorción (lógica) 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!!: Absorción (lógica) e Introducción de la conjunción · Ver más »

Lógica proposicional

La lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

¡Nuevo!!: Absorción (lógica) y Lógica proposicional · Ver más »

Metalógica

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

¡Nuevo!!: Absorción (lógica) y Metaló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 publicados entre 1910 y 1913.

¡Nuevo!!: Absorció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 tercero excluso o en latín principium tertii exclusi (también conocido como tertium non datur o una tercera (cosa) no se da), es un principio de lógica clásica según el cual la disyunción de una proposición y de su negación es siempre verdadera.

¡Nuevo!!: Absorción (lógica) y Principio del tercero excluido · Ver más »

Reglas 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!!: Absorción (lógica) y Reglas de inferencia · Ver más »

Sistema formal

Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas.

¡Nuevo!!: Absorción (lógica) y Sistema formal · Ver más »

Tautología

En lógica proposicional, una tautología (del griego ταυτολογία, "decir lo mismo") 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!!: Absorción (lógica) y Tautología · Ver más »

Teorema

Un teorema es una proposición que afirma una verdad demostrable.

¡Nuevo!!: Absorción (lógica) 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!!: Absorción (lógica) y Validez (lógica) · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »