| Introducción a la lógica | Formalización: los símbolos de la lógica | Valores de verdad y tablas de verdad | Derivación | Reglas de inferencia |
La lógica proposicional es una lógica deductiva que partiendo de enunciados iniciales, llamados premisas, llega a un enunciado final o conclusión. De este modo, un razonamiento es correcto cuando la conclusión se deriva lógicamente de los enunciados iniciales o premisas.
Éste es el modo con el que operaremos en la derivación: aplicando reglas, desde las premisas, hasta llegar a la conclusión y comprobar que, efectivamente, son las reglas del razonamiento válido las que nos permiten inferir la conclusión desde las premisas.
En nuestras operaciones las premisas vendrán marcadas por una raya a la izquierda, las líneas derivadas incluirán, a la derecha, la regla por la que ha sido deducida y los números de las líneas sobre las que se ha aplicado dicha regla.
Veamos un ejemplo: Pongamos que nos piden derivar p Λ q, partiendo de las siguientes premisas: -1 p -2 q Añadiríamos una tercera línea, p Λ q (conclusión), que justificaríamos por la aplicación de la regla anterior sobre la 1 y la 2. El resultado sería el siguiente. -1 p -2 q 3 p Λ q IC 1,2 |
En un gran número de casos la derivación se hace de modo directo mediante la aplicación de reglas de inferencia, sin embargo, ciertas reglas implican la utilización de supuestos, enunciados que no han sido justificados mediante ninguna regla, pero que nosotros proponemos estratégicamente. Al introducir un supuesto abrimos un corchete que cerraremos en la línea derivada que estemos buscando. Por ejemplo:
-1 p
┌ 2 ┐p
└ 3 p Λ ┐p Conj 2,3
4 ┐┐p Abs 2-3
Dentro del tramo del supuesto podemos operar sobre enunciados libres de supuestos, aquellos que se sitúan fuera del corchete, pero una vez cerrado, ya no podremos utilizar las líneas entre paréntesis para otras operaciones, ya que no se afirmaban sino dentro de un supuesto.
| Introducción a la lógica | Formalización: los símbolos de la lógica | Valores de verdad y tablas de verdad | Derivación | Reglas de inferencia |
No hay comentarios:
Publicar un comentario