Consecuencia lógica
De Wikipedia, la enciclopedia libre
La consecuencia lógica es la relación que conecta una afirmación cualquiera o un conjunto de afirmaciones cualesquiera con aquello que está lógicamente implicado por ella o ellas. Por ejemplo, la proposición "A Juan le gusta cantar canciones de amor que lo hagan sufrir" se sigue como consecuencia lógica de las proposiciones "A todos los mexicanos les gusta cantar canciones de amor que los hagan sufrir" y "Juan es mexicano".
Desde el punto de vista semántico, el símbolo |= representa la relación de consecuencia lógica. Allí donde Σ es un conjunto de fórmulas de un sistema formal S y donde φ es una fórmula de S:
-
-
- φ es una consecuencia lógica en S de Σ si cadhttp://es.wikipedia.org/wiki/Consecuencia_l%C3%B3gica
-
Artículoa uno de los modelos de S que asigna el valor de verdad a cada miembro de Σ también asigna el valor de verdad a φ. Lo anterior puede abreviarse como sigue:
-
-
-
-
- Σ |= φ
-
-
-
-
-
- Una fórmula φ es una verdad modelo-teórica de S si cada uno de los modelos de S asigna el valor de verdad a φ.
-
