Información General

• Autores: María Manzano, María Antonia Huertas Sánchez
• Editores: Alianza
• Año de publicación: 2004
• País: España
• Idioma: español
• ISBN: 978-84-206-4570-4, 84-206-4570-2
• Texto completo no disponible (Saber más ...)

Reseñas

• Ha sido reseñado en:

  • Manual de lógica: María Manzano y Antonia Huertas, Lógica para Principiantes, Filosofía y Pensamiento, Alianza editorial, Madrid, 2004.

    María Ponte Azcárate

    Laguna: Revista de Filosofía, ISSN 1132-8177, Nº 15, 2004, págs. 227-228

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Índice

• Parte 1. Lógica proposicional
  1. Introducción general.- 2. El lenguaje de la lógica proposicional.- 3. Semántica.- 4. Tableaux semánticos.- 5. Otros cálculos proposicionales
  Parte 2. Conjuntos y diagramas
  6. Teoría básica de conjuntos.- 7. Diagramas de Venn.- 8. Relaciones y funciones
  Parte 3. Lógica de primer orden
  9. El lenguaje de la lógica de primer orden.- 10. Semántica.- 11. Tableaux para lógica de primer orden.- 12. Otros cálculos de primer orden.
  Apéndices
  Bibliografía
  Índice analítico.

  
  

Descripción principal

• Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepción, poniendo especial énfasis en la semántica. Aporta técnicas sencillas de prueba: diagramas de Venn para la lógica de predicados monarios y tableaux semánticos, cálculos de resolución y de deducción natural, tanto para la lógica proposicional como para la de primer orden. Contiene varios apéndices con un glosario, un índice analítico y unas notas históricas sobre los fundamentos de la lógica en el siglo XX. Le acompaña un CD interactivo con más de 2.000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.