LÓGICA DE PRIMER ORDEN

Rústica editorial con solapas. Contenido: Prólogos a la primera y segunda edicion / Introducción (Nombres - Funciones - Sentencias - Predicados - Conectores - Variables - Terminos y Fórmulas - Cuantificadores - Descripciones - Paréntesis - Formalization - Formalismos - Lenguaje y metalenguaje) / Sintaxis: Gramática de los formalismos (Signos comunes a todos los formalismos - Signos peculiares de un formalismo - Filas de signos - Términos y fórmulas - Inducción semiótica - Estancia libre y ligada de una variable - Sustitución de una variable por un término - Convenciones notacionales) / Sintaxis: Un cálculo Deductivo (Reglas primitivas de inferencia. Deducciones - Reglas derivadas de inferencia - Ejercicios de deducción - Teoremas sintácticos sobre la deducibilidad - Cuasieliminación de descriptores - Consistencia y contradicción - Consistencia máxima y ejemplificación) / Smántica (Interpretaciones - Denotación y satisfacción - Interpretación y sustitución - Satisfacibilidad, validez y consecuencia - Independencia - Ejercicios de prueba de independencia - Corrección semántica - Consistencia y satisfacibilidad - Completud semántica) / Bibliografía e Índice. 140págs