Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
La principal ventaja de estos sistemas «de la primera generación» [,,,], es la simplicidad de reglas de derivación, reducidas a dos:
a) regla de separación (o modus ponens, nombre de una variante del silogismo hipotético):
b) regla de sustitución en los axiomas y teoremas.
Esta ventaja tiene como contrapartida el carácter artificial de la construcción, que aparece ya en la elección de los axiomas, y el carácter tedioso y pesado de las demostraciones.
Así, el sistema de Frege (modificado por Lukasiewicz) supone tres axiomas, construidos sólo con los operadores [...].
Se puede demostrar que la fórmula
que parecer expresar una verdad lógica más fundamental que cada uno de los tres axiomas, es en realidad un teorema, obtenido por demostración: al sustituir en el axioma 2,
se obtiene una fórmula cuya forma es el axioma 1:
dos aplicaciones de la regla de separación permiten obtener
Título | |
---|---|
Autor | |
Editorial | |
Ciudad | |
Año | |
Edición | |
Idioma |