Professional Documents
Culture Documents
Intuitivamente, una derivacin de C a partir de {A1, ..., An} es una secuencia de frmulas que
empieza con {A1, ..., An}, acaba con C, y contiene entre aqullas y sta una serie de frmulas que
podemos ver como pasos intermedios. No tiene por qu ser fcil producir una derivacin. Sin
embargo, es una tarea rutinaria determinar si una secuencia de frmulas es o no es una derivacin.
Por ltimo, aunque probar que C es derivable a partir de {A1, ..., An} slo exige mostrar una
derivacin, probar que C no es derivable a partir de {A1, ..., An} exigira examinar una a una las
infinitas derivaciones posibles con objeto de constatar que ninguna de ellas parte de {A1, ..., An} y
acaba en C.
formal que cuenta con ellas, y no con otras, tiene la potencia suficiente para expresar todas las
funciones de verdad existentes. Ello significa que, para cada funcin de verdad, existe en el
lenguaje formal al menos una fbf cuya tabla de verdad coincide justamente con esa funcin.
En otras palabras, un conjunto de conectivas o funciones de verdad es adecuado si constituye una
base completa del espacio de funciones lgicas, si sirve para expresar todas las funciones lgicas
posibles
deductivo esta dado nicamente por un conjunto de reglas bsicas de tranformacin que se
clasifican en reglas de introduccin y de eliminacin de manera tal que para cada constante lgica
bsica hay una regla de introduccin y una de eliminacin. Ademas de estas reglas bsicas de
pueden establecer otras muchas reglas de tranformacin que corresponden a relaciones deductivas
demostradas entre determinada fbf tomadas como premisas y determinada fbf tomada como
conclusin, cuya demostracin ha de poderse realizar mediante el mero uso de reglas bsicas y a las
que se denominan reglas derivadas.
Hay que aclarar, que el nombre de deduccin natural de estos sitemas viene dado por el hehco de
que los procesos deductivos naturales de los umanos parecen consistir en meras reglas de
tranformacin para pasar de unas proposiciones a alguna proposicin, sin que se encuentre nada
similar unos primeros postulados o axiomas subyacentes en tales procesos deductivos naturales.