24/4/2020 Consecuencia lógica - Wikipedia, la enciclopedia libre

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.1 La relación de consecuencia lógica es un concepto central a la lógica.1 Dos
características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y
además «formal».1

Índice
Explicaciones de la consecuencia lógica
Consecuencia semántica
Consecuencia sintáctica
Véase también
Notas y referencias

Explicaciones de la consecuencia lógica

En esta sección se introducen algunas explicaciones conocidas de la noción de consecuencia lógica.

Consecuencia semántica
Una manera estándar de caracterizar a la noción de consecuencia lógica es a través de la teoría de
modelos.1 A la noción de consecuencia lógica definida de esta manera se la llama consecuencia
semántica, para distinguirla de otras concepciones de la misma noción. Según esta estrategia, una
conclusión es una consecuencia lógica de las premisas cuando es imposible que las premisas sean
verdaderas y la conclusión falsa. O dicho más precisamente, cuando toda interpretación que hace
verdaderas a las premisas también hace verdadera a la conclusión.1 Es decir, cuando todo modelo de las
premisas es también un modelo de la conclusión.1

Cuando una conclusión A es una consecuencia semántica de un conjunto de premisas en un lenguaje

formal L, se escribe:

Consecuencia sintáctica
Otra manera de caracterizar a la relación de consecuencia lógica es a través de la teoría de la
demostración.1 A la noción de consecuencia lógica definida de esta manera se la llama consecuencia
sintáctica, para distinguirla de otras concepciones de la misma noción. Según esta estrategia, una

https://es.wikipedia.org/wiki/Consecuencia_lógica 1/2
24/4/2020 Consecuencia lógica - Wikipedia, la enciclopedia libre

conclusión es una consecuencia lógica de las premisas cuando existe una demostración de la conclusión a
partir de las premisas.1 Es decir cuando, usando solamente las premisas, los axiomas y las reglas de
inferencia permitidas, es posible construir una derivación de la conclusión.

Cuando una conclusión A es una consecuencia sintáctica de un conjunto de premisas en un sistema

formal S, se escribe:

Véase también
Validez (lógica)
Condicional material
Implicación

Notas y referencias
1. Beall, JC; Restall, Greg. «Logical Consequence» (http://plato.stanford.edu/archives/fall2009/entries/logi
cal-consequence/). Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009
Edition).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Consecuencia_lógica&oldid=124425917»

Esta página se editó por última vez el 20 mar 2020 a las 16:35.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Consecuencia_lógica 2/2