Introducción a la lógica simbólica / por Patrick Suppes ; [traducido por Gabriel Aguirre Carrasco].
Idioma: Español Lenguaje original: Inglés Editor: México, D.F. : Compañía Editorial Continental, c1966Descripción: 378 p. ; 23 cmTítulos uniformes: Introduction to logic. Español Otra clasificación: 03-01PARTE 1—PRINCIPIOS DE INFERENCIA Y DEFINICION 1. Los conectivos oracionales [25] 1.1 Negación y conjunción [25] 1.2 Disyunción [28] 1.3 Implicación: oraciones condicionales [29] 1.4 Equivalencia: oraciones bicondicionales [33] 1.5 Agrupamiento y paréntesis [33] 1.6 Tablas de verdad y tautologías [34] 1.7 Implicación y equivalencia tautológicas [39] 2. Teoría oracional de la inferencia [45] 2.1 Dos criterios principales de la inferencia e interpretaciones oracionales [45] 2.2 Las tres reglas oracionales de la deducción [51] 2.3 Algunas implicaciones tautológicas útiles [59] 2.4 Consistencia de las premisas y pruebas indirectas [64] 3. Representación simbólica del lenguaje cotidiano [73] 3.1 Gramática y lógica [73] 3.2 Términos [74] 3.3 Predicados [76] 3.4 Cuantificadores [78] 3.5 Variables ligadas y libres [83] 3.6 Un ejemplo final [87] 4. Teoría general de la inferencia [91] 4.1 La inferencia, cuando implica sólo cuantificadores universales [91] 4.2 Interpretaciones y validez [98] 4.3 Inferencias restringidas con cuantificadores existenciales [116] 4.4 Intercambio de cuantificadores [124] 4.5 Inferencias generales [126] 4.6 Resumen de las reglas de inferencia [137] 5. Otras reglas de inferencia [141] 5.1 Lógica de la identidad [141] 5.2 Teoremas de lógica [149] 5.3 Reglas deducidas de inferencia [155] 6. Apostilla sobre el uso y la mención [163] 6.1 Nombres y cosas nombradas [163] 6.2 Problemas de las variables oracionales [165] 6.3 Yuxtaposición de nombres [167] 7. Transición de las demostraciones formales a las INFORMALES [171] 7.1 Consideraciones generales [171] 7.2 Axiomas básicos sobre números [172] 7.3 Ejemplos comparativos de deducciones formales y de demostraciones informales [175] 7.4 Ejemplos de demostraciones informales falaces [182] 7.5 Otros ejemplos de demostraciones informales [187] 8. Teoría de la definición [197] Ideas tradicionales [197] Criterios para definiciones adecuadas [198] Reglas de las definiciones adecuadas [202] Definiciones que son identidades [208] El problema de la división entre cero [210] Definiciones condicionales [212] Cinco métodos de la división por cero [213] Principio de Padoa e independencia de los símbolos primitivos [217] 9. Conjuntos [225] 9.1 Introducción [225] 9.2 Membrecía [225] 9.3 Inclusión [229] 9.4 El conjunto vacío [232] 9.5 Operaciones con conjuntos [233] 9.6 Dominios de individuos [236] 9.7 Transcripción del lenguaje cotidiano [238] 9.8 Diagramas de Venn [245] 9.9 Principios elementales de las operaciones con conjuntos [252] 10. Relaciones [259] 10.1 Pares ordenados [259] 10.2 Definición de las relaciones [261] 10.3 Propiedades de las relaciones binarias [264] 10.4 Relaciones de equivalencia [270] 10.5 Relaciones de ordenación [272] 10.6 Operaciones con relaciones [278] 11. Funciones [283] 11.1 Definición [283] 11.2 Operaciones con las funciones [289] 11.3 Notación lambda de Church [297] 12. Fundamentación sinforemática del método axiomático [303] 12.1 Introducción [303] 12.2 Predicados sinforemáticos y axiomatizaciones de teorías [307] 12.3 Isomorfismo de modelos para una teoría [320] 12.4 Ejemplo: Probabilidad [335] 12.5 Ejemplo: Mecánica [356] Indice analítico [373]
| Item type | Home library | Call number | Materials specified | Status | Date due | Barcode | Course reserves |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | 03 Su959ie (Browse shelf) | Available | A-8844 |
Traducción de: Introduction to logic. Van Nostrand, 1957.
PARTE 1—PRINCIPIOS DE INFERENCIA Y DEFINICION --
1. Los conectivos oracionales [25] --
1.1 Negación y conjunción [25] --
1.2 Disyunción [28] --
1.3 Implicación: oraciones condicionales [29] --
1.4 Equivalencia: oraciones bicondicionales [33] --
1.5 Agrupamiento y paréntesis [33] --
1.6 Tablas de verdad y tautologías [34] --
1.7 Implicación y equivalencia tautológicas [39] --
2. Teoría oracional de la inferencia [45] --
2.1 Dos criterios principales de la inferencia e interpretaciones oracionales [45] --
2.2 Las tres reglas oracionales de la deducción [51] --
2.3 Algunas implicaciones tautológicas útiles [59] --
2.4 Consistencia de las premisas y pruebas indirectas [64] --
3. Representación simbólica del lenguaje cotidiano [73] --
3.1 Gramática y lógica [73] --
3.2 Términos [74] --
3.3 Predicados [76] --
3.4 Cuantificadores [78] --
3.5 Variables ligadas y libres [83] --
3.6 Un ejemplo final [87] --
4. Teoría general de la inferencia [91] --
4.1 La inferencia, cuando implica sólo cuantificadores universales [91] --
4.2 Interpretaciones y validez [98] --
4.3 Inferencias restringidas con cuantificadores existenciales [116] --
4.4 Intercambio de cuantificadores [124] --
4.5 Inferencias generales [126] --
4.6 Resumen de las reglas de inferencia [137] --
5. Otras reglas de inferencia [141] --
5.1 Lógica de la identidad [141] --
5.2 Teoremas de lógica [149] --
5.3 Reglas deducidas de inferencia [155] --
6. Apostilla sobre el uso y la mención [163] --
6.1 Nombres y cosas nombradas [163] --
6.2 Problemas de las variables oracionales [165] --
6.3 Yuxtaposición de nombres [167] --
7. Transición de las demostraciones formales a las INFORMALES [171] --
7.1 Consideraciones generales [171] --
7.2 Axiomas básicos sobre números [172] --
7.3 Ejemplos comparativos de deducciones formales y de demostraciones informales [175] --
7.4 Ejemplos de demostraciones informales falaces [182] --
7.5 Otros ejemplos de demostraciones informales [187] --
8. Teoría de la definición [197] --
Ideas tradicionales [197] --
Criterios para definiciones adecuadas [198] --
Reglas de las definiciones adecuadas [202] --
Definiciones que son identidades [208] --
El problema de la división entre cero [210] --
Definiciones condicionales [212] --
Cinco métodos de la división por cero [213] --
Principio de Padoa e independencia de los símbolos primitivos [217] --
9. Conjuntos [225] --
9.1 Introducción [225] --
9.2 Membrecía [225] --
9.3 Inclusión [229] --
9.4 El conjunto vacío [232] --
9.5 Operaciones con conjuntos [233] --
9.6 Dominios de individuos [236] --
9.7 Transcripción del lenguaje cotidiano [238] --
9.8 Diagramas de Venn [245] --
9.9 Principios elementales de las operaciones con conjuntos [252] --
10. Relaciones [259] --
10.1 Pares ordenados [259] --
10.2 Definición de las relaciones [261] --
10.3 Propiedades de las relaciones binarias [264] --
10.4 Relaciones de equivalencia [270] --
10.5 Relaciones de ordenación [272] --
10.6 Operaciones con relaciones [278] --
11. Funciones [283] --
11.1 Definición [283] --
11.2 Operaciones con las funciones [289] --
11.3 Notación lambda de Church [297] --
12. Fundamentación sinforemática del método axiomático [303] --
12.1 Introducción [303] --
12.2 Predicados sinforemáticos y axiomatizaciones de teorías [307] --
12.3 Isomorfismo de modelos para una teoría [320] --
12.4 Ejemplo: Probabilidad [335] --
12.5 Ejemplo: Mecánica [356] --
Indice analítico [373] --
MR, REVIEW #
Click on an image to view it in the image viewer
There are no comments on this title.