Introducción a la lógica matemática

"Introducción a la lógica matemática"
Suppes Patrick y Hill Shirley

http://www.mediafire.com/?27sma8tc2b9s7bh DESCRIPCIÓN 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, formulándose una teoría de inferencia completamente explícita que se adecua 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. INDICE

Prefacio

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
7. UN SISTEMA MATEMÁTICO SIMPLE: AXIOMAS DE LA ADICIÓN

8. GENERALIZACIÓN UNIVERSAL