Cargando…
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...
| Clasificación: | QA9 S9.68 |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | Español |
| Publicado: |
México, D.F. :
Reverté,
1992.
|
| Temas: |
Tabla de Contenidos:
- 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.