consecuencialogica

Lógica Matemática I

Consecuencia Lógica
Desde un punto de vista lógico, un argumento no es más que una sucesión (finita)
de premisas o hipótesis y una conclusión.
1, … , n

Un argumento escorrecto si la conclusión es consecuencia, si se sigue, de las
premisas; en otro caso el argumento es incorrecto. En lógica nos limitamos al estudio
de los argumentos desde la perspectiva de su corrección.La relación de consecuencia, es decir, la relación que se da entre las premisas y la
conclusión de un argumento correcto, no es relativa, no varía de un sujeto a otro: un
argumento es correcto o no loes; otra cosa es que sepamos si lo es.
Hemos dicho que un argumento es correcto si su conclusión se sigue, o es
consecuencia, de sus premisas. Si bien no hay duda de que sabemos reconocer
ciertosargumentos correctos como tales, también es cierto que nos veríamos en
serias dificultades para explicar qué queremos decir, en general, cuando decimos que
la conclusión de un argumento correcto se siguede sus premisas.
Una de las características esenciales de los argumentos correctos es que si las
premisas son verdaderas, la conclusión también será verdadera. Y de aquí que si la
conclusión de unargumento correcto es falsa, por lo menos una de las hipótesis es
falsa. Podemos decir, en lenguaje coloquial, que los argumentos correctos trasmiten o
heredan la verdad de las premisas a laconclusión.
La lógica proposicional (lógica de los conectivos) retoma esta característica como
punto de partida para definir lo que es un argumento correcto bajo el nombre de
Consecuencia Lógica. Para nosotrosrepercute en generalizar la noción de
implicación lógica, generalización que haremos no solo para un número finito de
hipótesis, sino para un conjunto arbitrario de B–fórmulas.
Definición. Sea    ⊆B.
1). a). Sea  ∈

B

2. Diremos que  Satisface a  syss  ∗   1.

b). Diremos que  es Satisfacible syss
hay una asignación de valores de verdad a los bloques, que satisface a .

Rafael...