Introducción a la lógica matemática
✍ Scribed by Alfonso Burgos
- Publisher
- Selecciones científicas
- Year
- 1973
- Tongue
- Spanish
- Leaves
- 92
- Edition
- 2
- Category
- Library
No coin nor oath required. For personal study only.
✦ Table of Contents
CAPITULO I. - PROPOSICIONES
CAPITULO II.- CONECTIVAS
CAPITULO III. - OPERACIONES
CAPITULO IV. - TABLAS DE VERDAD
CAPITULO V. - TAUTOLOGÍAS
CAPITULO VI. - IMPLICACIONES
CAPITULO VII.- LEYES DEL CÁLCULO PROPOSICIONAL
CAPITULO VIII.- LA INFERENCIA EN LÓGICA
CAPITULO IX.- LENGUAJE Y CÁLCULO
CAPITULO X.- CÁLCULO PROPOSICIONAL
CAPITULO XI.- SISTEMAS AXIOMÁTICOS
CAPITULO XII.- FORMAS DERIVADAS DE UN TEOREMA
CAPITULO XIII.- LA DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO
CAPITULO XIV.- INDUCCIÓN MATEMÁTICA
📜 SIMILAR VOLUMES
Este libro es una introducción accesible a la lógica matemática y está dirigido al lector que tiene alguna experiencia e interés en el razonamiento matemático y disposición para trabajar a cierto nivel de abstracción y rigor. Las modificaciones hechas en esta segunda edición lo hacen apropiado para
Esta obra versa sobre las lógicas no clásicas desde una perspectiva filosófica. Con el propósito de argumentar a favor del pluralismo lógico, la autora aborda las lógicas intuicionistas, de la relevancia, multivaluada y paraconsistente y muestra cuáles son las motivaciones filosóficas que las origin
El presente libro aspira a despertar en los lectores de lengua espa?ola el inter?s por una disciplina que ocupa un puesto singularmente destacado en el saber contempor?neo. La l?gica matem?tica empieza a rebasar los reducidos c?rculos de especialistas para ser un instrumento utilizado por grupos cad
El presente libro aspira a despertar en los lectores de lengua española el interés por una disciplina que ocupa un puesto singularmente destacado en el saber contemporáneo. La lógica matemática empieza a rebasar los reducidos círculos de especialistas para ser un instrumento utilizado por grupos cad
Este libro es una introducción al estudio de la lógica matemática desde un planteamiento paraconsistente y gradualista (difuso o fuzzy). Critica como injustificable el monopolio docente de la lógica clásica. Examina las nociones de valor de verdad y de tautología. Propone una lógica infinivalente