TÃtulo : | Elementos de logica teorica | Tipo de documento: | texto impreso | Autores: | D. Hilbert, Autor | Editorial: | Madrid : Tecnos | Fecha de publicación: | 1975 | Número de páginas: | 213 p. | ISBN/ISSN/DL: | 978-84-309-0581-2 | Idioma : | Español (spa) | Nota de contenido: |
CAPITULO PRIMERO: EL CALCULO DE PROPOSICIONES.
1-Introducción a las conexiones lógicas fundamentales.
2-Las conexiones proposicionales como funciones veritativas.
3-Introducción de variables; formas proposicionales universalmente válidas.
4-equivalencias; superfluidad de conexiones fundamentales.
5-Las formas normales conyuntiva y disyuntiva de las expresiones.
6-El principio de dualidad.
7-Multiplicidad de las formas proposicionales que pueden formarse con variables proposicionales dadas.
8-Cumplibilidad de una forma proposicional; consecuencias de axiomas dados.
9-Axiomática del cálculo de proposiciones.
10-El cálculo de proposiciones intuicionista.
11-El concepto de implicación estricta.
CAPITULO SEGUNDO: EL CALCULO DE CLASES.
12-Las conexiones de clases y las relaciones entre clases.
13-Las expresiones universalmente válidas del cálculo de clases.
14-Derivación sistemática de los silogismos aristotélicos tradicionales.
CAPITULO TERCERO: EL CALCULO RESTRINGIDO DE PREDICADOS.
15-Insuficiencia del cálculo estudiado hasta ahora.
16-consideraciones metódicas fundamentales del cálculo de predicados.
17-Las expresiones y su validez universal.
18-Un sistema axiomático para las expresiones universalmente válidas.
19-Teoremas acerca del sistema axiomático.
20-La regla de sustitución; formación de la expresión contraria de una dada; el principio de dualidad.
21-La forma normal prenexuadas; la forma normal de Skolem.
22-La compatibilidad, la independencia y la completitud del sistema axiomático.
23-El cálculo de predicados con inclusión de la identidad.
24-Axiomática de teorías científicas; el cálculo múltiple de predicados; sistemas axiomáticos de primero y de segundo grado.
25-El problema de la decidibilidad.
26-El concepto de "aquel, el que"; introducción de funciones.
CAPITULO CUARTO: EL CALCULO GENERALIZADO DE PREDICADOS.
27-Generalización del cálculo de predicados mediante adopción de cuantificados para las variables predicado.
28-Introducción de predicados de predicados; tratamiento lógico del concepto de número.
29-Representación de los conceptos fundamentales de la teoría de conjuntos en el cálculo generalizado.
30-Las paradojas lógicas.
31-El cálculo de niveles.
32-Aplicación del cálculo de niveles. |
Elementos de logica teorica [texto impreso] / D. Hilbert, Autor . - Madrid : Tecnos, 1975 . - 213 p. ISBN : 978-84-309-0581-2 Idioma : Español ( spa) Nota de contenido: |
CAPITULO PRIMERO: EL CALCULO DE PROPOSICIONES.
1-Introducción a las conexiones lógicas fundamentales.
2-Las conexiones proposicionales como funciones veritativas.
3-Introducción de variables; formas proposicionales universalmente válidas.
4-equivalencias; superfluidad de conexiones fundamentales.
5-Las formas normales conyuntiva y disyuntiva de las expresiones.
6-El principio de dualidad.
7-Multiplicidad de las formas proposicionales que pueden formarse con variables proposicionales dadas.
8-Cumplibilidad de una forma proposicional; consecuencias de axiomas dados.
9-Axiomática del cálculo de proposiciones.
10-El cálculo de proposiciones intuicionista.
11-El concepto de implicación estricta.
CAPITULO SEGUNDO: EL CALCULO DE CLASES.
12-Las conexiones de clases y las relaciones entre clases.
13-Las expresiones universalmente válidas del cálculo de clases.
14-Derivación sistemática de los silogismos aristotélicos tradicionales.
CAPITULO TERCERO: EL CALCULO RESTRINGIDO DE PREDICADOS.
15-Insuficiencia del cálculo estudiado hasta ahora.
16-consideraciones metódicas fundamentales del cálculo de predicados.
17-Las expresiones y su validez universal.
18-Un sistema axiomático para las expresiones universalmente válidas.
19-Teoremas acerca del sistema axiomático.
20-La regla de sustitución; formación de la expresión contraria de una dada; el principio de dualidad.
21-La forma normal prenexuadas; la forma normal de Skolem.
22-La compatibilidad, la independencia y la completitud del sistema axiomático.
23-El cálculo de predicados con inclusión de la identidad.
24-Axiomática de teorías científicas; el cálculo múltiple de predicados; sistemas axiomáticos de primero y de segundo grado.
25-El problema de la decidibilidad.
26-El concepto de "aquel, el que"; introducción de funciones.
CAPITULO CUARTO: EL CALCULO GENERALIZADO DE PREDICADOS.
27-Generalización del cálculo de predicados mediante adopción de cuantificados para las variables predicado.
28-Introducción de predicados de predicados; tratamiento lógico del concepto de número.
29-Representación de los conceptos fundamentales de la teoría de conjuntos en el cálculo generalizado.
30-Las paradojas lógicas.
31-El cálculo de niveles.
32-Aplicación del cálculo de niveles. |
| |