TABLA
DE CONTENIDO
|
|
Presentación
Oscar A. García Zárate |
PDF
|
|
|
|
|
|
|
Conceptos preliminares |
PDF
|
|
|
|
|
|
| PRIMERA PARTE
: LÓGICA DE PROPOSICIONES |
PDF
|
|
|
- El lenguaje formalizado de la lógica proposicional
-
Funciones veritativas y tablas de verdad
-
Análisis de inferencias
-
El método de la deducción natural
-
Formas normales
-
Reductibilidad de fórmulas
-
La lógica proposicional y los circuitos eléctricos
-
Una presentación axiomática de la lógica proposicional
|
|
|
| SEGUNDA PARTE
: LÓGICA DE PREDICADOS |
PDF |
|
|
- Ideal de lógica de predicados
- Reglas de formación de fórmulas
bien formadas
- Formalización de proposiciones
singulares
- Alcances de los cuantificadores
- Leyes de oposición aristotélica
- El método de la deducción natural con fórmulas cuantificadas
|
|
|
|
Bibliografía |
PDF |
|
