Suppes, Patrick

Introducción a la lógica matemática / Patrick Suppes. - 1a. Edición - México Reverte 1992 - 280 página Ilustraciones 23 cm.

Lenguaje de la lógica proposicional

Tablas de verdad y tautologías

Inferencias y deducción formal

Reglas de inferencia

Lógica de predicados (cuantificadores)

Teoría de conjuntos elementales

Axiomatización y consistencia

Estructuras lógicas y modelos

Principios de demostración matemática

Introducción a la metateoría

"Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.





9789686708011

QA9 / .S9618