Primer curso de lógica matemática
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Desconocido |
| Lenguaje: | Español |
| Publicado: |
Barcelona :
Reverté
1992
|
| Acceso en línea: | Imagen de portada |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- 1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 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