Diferencia entre revisiones de «Consecuencia lógica»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 23:45 3 mar 2010

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 por lo tanto 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]

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 $\Gamma$ en un lenguaje formal L, se escribe:

\Gamma \models _{L}A

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 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 $\Gamma$ en un sistema formal S, se escribe:

\Gamma \vdash _{S}A

Véase también

Validez (lógica)

Notas y referencias

↑ ^a ^b ^c ^d ^e ^f ^g ^h Beall, JC; Restall, Greg. «Logical Consequence». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009 Edition).

[SEP-1] ↑ ^a ^b ^c ^d ^e ^f ^g ^h Beall, JC; Restall, Greg. «Logical Consequence». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009 Edition).

[1]

@@ Línea 14: / Línea 14: @@
 === 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]].<ref name=SEP/> 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 conclusión es una consecuencia lógica de las premisas cuando existe una demostración de la conclusión a partir de las premisas.<ref name=SEP/> 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.
+Otra manera de caracterizar a la relación de consecuencia lógica es a través de la [[teoría de la demostración]].<ref name=SEP/> 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 conclusión es una consecuencia lógica de las premisas cuando existe una demostración de la conclusión a partir de las premisas.<ref name=SEP/> 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 <math>\Gamma</math> en un [[sistema formal]] ''S'', se escribe:algun hombre que le guste esxoo adulto
+Cuando una conclusión ''A'' es una consecuencia sintáctica de un conjunto de premisas <math>\Gamma</math> en un [[sistema formal]] ''S'', se escribe:
-hola chicos
 :<math>\Gamma \vdash_{S} A</math>