| 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. |
Dirección
Universidad Católica de Salta - Campo Castañares
4400 Salta
Argentina
(0387)4268529-4268528
contacto
Inicio
