LOGICA SIMBOLICA

Autor: LORENTE TALLADA JUAN MANUEL.
Año: 1978.
Universidad: VALENCIA .
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: FACULTAD DE FILOSOFIA Y C. C. DE LA EDUCACION UNIVERSIDAD DE VALENCIA..

Resumen: EL TRABAJO CONSISTE EN LA PRESENTACION DE UN CALCULO QUE ARITMETIZA EL METODO DE RESOLUCION DE ROBINSON. SE PRESENTA PARA EL CALCULO PROPOSICIONAL Y SE AMPLIA AL CALCULO DE PREDICADOS PREVIA NORMALIZACION SKOLEMIANA. ACOMPAÑAN AL MISMO UN BREVIARIO DEL LENGUAJE APL Y UNA SERIE DE PROGRAMAS CONDUCENTES A 1) UNA FORMALIZACION EN POLACA DEL PROBLEMA. 2) SU REDUCCION A FORMAS NORMALES COGNITIVA Y DISYUNTIVA 3) SU ARITMETIZACION 4) SU PREPARACION PARA SER ANALIZADO POR COMPUTADOR 5) SENDOS PROGRAMAS PARA COMPUTAR POR EL METODO DE RESOLUCION LOS PROBLEMAS CORRESPONDIENTES AL CALCULO DE ENUNCIADOS Y A LOS DEL CALCULO DE PREDICADOS