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.
- Introduction.
- Statement Logic I: A New Language.
- Statement Logic II: Semantic Methods.
- Statement Logic III: Syntactic Methods.
- Predicate Logic I: Syntax And Semantics.
- Predicate Logic II: Semantic Methods.
- Monadic Predicate Logic III: Syntactic Methods.
- Extensions To L: Identity, Relations And Functions.
Autor/es: Joseph Bessie / Stuart Glennan
Edición: 1ra Edición
ISBN: 0534551211
Tipo: Solucionario
Formato: PDF
Idioma: Inglés
EmoticonEmoticon