TY  - BOOK
AU  - Sarmiento Reyes,Juan Carlos
TI  - Lógica formal y lógica matemática : : un texto-guía 
T2  - Cuadernos del CIDS
SN  - 9789587728972
U1  - 511.3 21
PY  - 2018///
CY  - Bogotá : 
PB  - Universidad Externado de Colombia. Centro de investigación sobre dinámica social, 
KW  - Lógica simbólica y matemática
KW  - Matemáticas constructivas
KW  - Filosofía de las matemáticas
KW  - Razonamiento
N1  - 1. El lenguaje y sus funciones: a. El origen de las lógicas no ortodoxas: la paradoja de Russell y la lógica paraconsistente. -- b. Los usos del lenguaje: explicaciones -- 2. Lógica de términos -- 3. La lógica matemática: a. La representación de las proposiciones, su negación, sus conectores y sus agrupaciones en la lógica matemática proposicional -- b. Las tablas de verdad -- c. El análisis de certeza -- d. Las inferencias tautológicas -- e. Los dilemas -- f. Las demostraciones inferenciales -- g. Las equivalencias tautológicas -- h. Las demostraciones mixtas -- 4. La lógica de la ciencia: a. Los propósitos de las ciencias nomotéticas -- b.  Los productos de las ciencias nomotéticas -- 5. Algunas lecturas complementarias: lógicas alternativas y otros asuntos
ER  -