MANUAL DE LOGICA ELEMENTAL

MANUAL DE LOGICA ELEMENTAL. ESCRIBA UN SUB-TITULO

Editorial:
TRILLAS
Año de edición:
Materia
Matemáticas
ISBN:
978-607-17-2685-8
Páginas:
348
Encuadernación:
Rústica
$360.00
IVA incluido
En stock
Añadir a la cesta

Primera parte

-Preliminares

-Teoría de conjuntos

-Primeras nociones de lógica

Segunda parte

-Lógica proposicional

-Lenguaje formal proposicional

-Semántica formal: la consecuencia proposicional

-Cálculos deductivos: la deducibilidad proposicional

Tercera parte

-Lógica de predicados

-Lenguaje formal cuantificacional

-Semántica formal: la consecuencia cuantificacional

-Cálculos deductivos: la deducibilidad cuantificacional

En este texto introductorio a la lógica formal se da un tratamiento básico a los temas y problemas de la lógica clásica de primer orden, con énfasis en los aspectos semánticos de los sistemas lógicos.

El libro se divide en tres partes: en la primera se introducen elementos de la teoría estándar de conjuntos y conceptos básicos de lógica formal. Las partes segunda y tercera se enfocan en la lógica proposicional y en la lógica de cuantificadores, respectivamente, de manera que se respeta el orden común de temas en manuales universitarios de lógica simbólica: primero se revisa la estructura y el funcionamiento de cada lenguaje formal, luego e presenta una semántica que lo interpreta y, finalmente, el cálculo o los cálculos correspondientes a tal lenguaje y semántica. El lector encontrará aquí explicaciones claras y didácticas- cuidando el rigor y la precisión formal requeridos en la lógica simbólica contemporánea- que presentan de manera progresiva los elementos de cada parte, y en las que lo revisado se ilustra con diversos ejemplos.

El presente constituye un manual de apoyo para cursos universitarios de lógica en diversas áreas, tanto de humanidades como de ingenierías y ciencias, e incluso para lectores disciplinados que desean introducirse de modo autodidacta en esta ciencia.