Lógica simbólica
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Tecnos,
1991
|
| Edición: | 2a ed. |
| Colección: | Filosofía y ensayo
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- La lógica simbólica
- Hacia una formalización del lenguaje
- Lenguaje formal
- Deducción
- Reglas básicas del cálculo de juntores
- Reglas derivadas del cálculo de juntores
- Reglas del cálculo de cuantores
- Silogística
- Leyes de distribución
- Cuantificación múltiple. Identidad y descripciones
- Modelos
- Tautologías
- Tablas semánticas
- Sistemas axiomáticos de lógica
- Metalógica.