Primer curso de lógica matemática /
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...
Call Number: | QA9 S9.68 |
---|---|
Main Author: | |
Other Authors: | , |
Format: | Book |
Language: | Español |
Published: |
México, D.F. :
Reverté,
1992.
|
Subjects: |
Table of Contents:
- 1. Simnolización de proposiciones
- 2. Inferencia lógica
- 3. Certeza y validez
- 4. Tablas de certeza
- 5. Términos, predicados y cuantificadores
- 6. Especificación universal y leyes de identidad
- 7. Sistema matemático simple: axiomas de la adición
- 8. Generalización universal.