Introducción a la lógica matemática / Patrick Suppes, Shirley Hill

Incluye índice analítico, índice alfabético

1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad.

Modernamente la lógica se ha convertido en una materia no sólo profunda, sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática adecuada a todos los ejemplos típicos del razonamiento deductivo en Matemáticas y a las Ciencias Empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas. El propósito de este libro es introducir al estudiante en el método deductivo de la matemática moderna, a un nivel que, aun siendo riguroso, sea lo suficientemente sencillo en presentación y contexto, para que permita una fácil comprensión.

C01