Título:
|
Lógica simbólica
|
Autores:
|
Irving M. Copi
|
Tipo de documento:
|
texto impreso
|
Editorial:
|
México : Compañia Editorial Continental, 1997
|
ISBN/ISSN/DL:
|
978-968-26-0134-7
|
Dimensiones:
|
407 p. / 23 cm
|
Langues:
|
Español
|
Clasificación:
|
164 (Logística. Lógica simbólica. Lógica matemática. Cálculo lógico
)
|
Materias:
|
Filosofía
|
Lógica matemática
|
Lógica simbólica
|
Matemáticas
|
Razonamiento
|
Teoría de los conjuntos
|
Nota de contenido:
|
1. Introducción: La lógica y el lenguaje -- 2. Argumentos que contienen enunciados compuestos -- 3. El método de deducción -- 4. Funciones proposicionales y cuantificadores -- 5. La lógica de las relaciones -- 6. Sistemas deductivos -- 7. Un cálculo proposicional -- 8. Sistemas y notaciones alternativos -- 9. Un cálculo funcional de primer orden -- Apéndice A: Formas normales y expansiones Booleanas -- Apéndice B: El álgebra de clases -- Apéndice C: La teoría ramificada de los tipos -- Soluciones a ejercicios selectos -- Símbolos especiales -- Reglas de cuantificación -- Reglas de interferencia.
|