Descripción
El texto abarca la lógica elemental, la declaración de la lógica a través de la lógica relacional con la identidad y símbolos de función. Los autores familiarizan a los estudiantes con las técnicas formales en un nivel adecuado para ellos, y además se extienden lo suficiente y lo suficientemente profundo en el tema, adecuado para un breve curso de postgrado.
El texto incluye las tablas de verdad completas y breves, y presenta el método de la verdad (consistencia), los árboles y la deducción natural para el conjunto de la lógica elemental. La organización del texto permite a los instructores cubrir sólo la lógica de declaración, o la lógica de declaración combinada con diversas extensiones en la lógica de predicados: lógica monádica con o sin identidad, o la lógica anterior más relacional con o sin identidad y con o sin símbolos de función.
En cada etapa, el instructor puede elegir proseguir árboles de verdad y/o deducción natural. Un capítulo final ofrece una perspectiva para su estudio y aplicaciones de la lógica.
Déjanos un comentario
2 comentarios