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]

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]

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] 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:

Other Languages
Deutsch: Implikation
فارسی: استلزام
Bahasa Indonesia: Konsekuensi logis
日本語: 論理的帰結
Nederlands: Logisch gevolg
slovenščina: Implikacija
українська: Умовивід
中文: 蕴涵