Tabla de Contenidos: “…Contiene: II. La lógica de predicados…”

Tabla de Contenidos: “…La lógica de enunciados -- 2. La lógica de predicados…”

Tabla de Contenidos: “…La lógica de enunciados -- 2. La lógica de predicados…”

Tabla de Contenidos:

Tabla de Contenidos: “…Deducción natural para la lógica de predicados -- 4.2.1. Reglas primitivas de la lógica de predicados -- 4.2.2. …”

Tabla de Contenidos: “…Demostraciones; A.4. Lógica de predicados; Bibliografía; Índice analítico; Índice de símbolos…”

Tabla de Contenidos: “…PRUEBA Y REFUTACIÓN DE CONJETURAS -- 0.2 ABSTRACCIÓN EN MATEMÁTICAS Y ORÍGENES DE LA TEORÍA DE CONJUNTOS -- 1 INTRODUCCIÓN A LA LÓGICA Y A LA TEORÍA DE CONJUNTOS -- 1.1 INTRODUCCIÓN A LÓGICA -- 1.1.1 LA LÓGICA DE LOS ESTOICOS Y DOS DE SUS REGLAS DE INFERENCIA -- 1.1.2 LÓGICA DE PROPOSICIONES -- 1.1.3 USO DE LA LÓGICA DE PROPOSICIONES EN DEMOSTRACIONES MATEMÁTICAS -- 1.1.4 EJERCICIOS -- 1.1.5 LÓGICA DE PREDICADOS -- 1.1.6 RELACIONES ENTRE LÓGICA DE PROPOSICIONES Y LÓGICA DE PREDICADOS -- 1.1.7 USO EN MATEMÁTICAS DE LAS REGLAS DE INFERENCIA DE LA LÓGICA DE PREDICADOS -- 1.1.8 TEMAS COMPLEMENTARIOS DE LA LÓGICA DE PREDICADOS -- 1.1.9 EJERCICIOS -- 1.2 INTRODUCCIÓN A LA TEORÍA DE CONJUNTOS -- 1.2.1 RELACIONES ENTRE CONJUNTOS -- 1.2.2 OPERACIONES ENTRE CONJUNTOS -- 1.2.3 ÁLGEBRA DE CONJUNTOS -- 1.2.4 MÉTODOS DE DEMOSTRACIÓN USADOS EN PRUEBAS DE PROPIEDADES DE CONJUNTOS -- 1.2.5 EJERCICIOS -- II - EL CAMPO ORDENADO Y COMPLETO DE LOS NÚMEROS REALES -- 2 ESTRUCTURA DE CAMPO DE LOS NÚMEROS REALES -- 2.1 BREVE HISTORIA DE LOS SISTEMAS NUMÉRICOS -- 2.2 AXIOMAS DE CAMPO DE LOS NÚMEROS REALES -- 2.2.1 OPUESTOS Y RESTA EN R -- 2.2.2 PRIMEROS TEOREMAS -- 2.2.3 USOS DE LOS AXIOMAS Y TEOREMAS ANTERIORES EN ÁLGEBRA BÁSICA -- 2.2.4 FRACCIONES Y DIVISIÓN EN R -- 2.2.5 MANEJO DE FRACCIONES EN ÁLGEBRA BÁSICA -- 2.2.6 ECUACIONES Y USO DE LAS PROPIEDADES UNIFORMES EN LA SOLUCIÓN DE ECUACIONES -- 2.2.7 ALGUNOS USOS "PERVERSOS" DE LAS PROPIEDADES UNIFORMES -- 2.2.8 ECUACIONES Y PROBLEMAS ALGEBRAICOS -- 2.2.9 EJERCICIOS -- 2.3 LA ESTRUCTURA ALGEBRAICA DE CAMPO. …”

Tabla de Contenidos: “…EJERCICIOS DE AUTOEVALUACIÓN -- BIBLIOGRAFÍA DE LA UNIDAD II -- UNIDAD III - LÓGICA DE PREDICADO -- ORIENTACIONES DE LA UNIDAD III -- COMPETENCIAS DE LA UNIDAD III -- ESQUEMA DE CONTENIDOS DE LA UNIDAD III -- 3.1 PREDICADO: DEFINICIÓN Y COMPONENTES -- 3.1.1 TÉRMINOS -- 3.1.2 PREDICADOS -- 3.2 CÁLCULO DE PREDICADOS -- 3.3 REPRESENTACIÓN SIMBÓLICA Y VARIABLES -- 3.3.1 LOS CUANTIFICADORES -- 3.3.2 UNIVERSO DEL DISCURSO -- 3.3.3 PREDICADOS Y PROPOSICIONES -- 3.4 IMPLICACIÓN LÓGICA -- 3.5 EQUIVALENCIA LÓGICA -- 3.6 LEYES DE MORGAN GENERALIZADAS -- 3.7 REGLA GENERAL -- 3.8 ASOCIATIVIDAD Y DISTRIBUTIVIDAD -- RESUMEN DE CONTENIDOS DE LA UNIDAD III -- ACTIVIDADES DE LA UNIDAD III -- EJERCICIOS DE AUTOEVALUACIÓN -- BIBLIOGRAFÍA DE LA UNIDAD III -- UNIDAD IV - CUANTIFICADORES LÓGICOS -- ORIENTACIONES DE LA UNIDAD IV -- COMPETENCIAS DE LA UNIDAD IV -- ESQUEMA DE CONTENIDOS DE LA UNIDAD IV -- 4.1 DEFINICIONES -- 4.2 UNIVERSO DEL DISCURSO -- 4.3 CUANTIFICADOR UNIVERSAL -- 4.4 VALOR DE VERDAD DE PROPOSICIONES CUANTIFICADAS UNIVERSALMENTE -- 4.5 CUANTIFICADOR EXISTENCIAL -- 4.6 VALOR DE VERDAD DE PROPOSICIONES CUANTIFICADAS EXISTENCIALMENTE -- 4.7 ALCANCE DE UN CUANTIFICADOR -- 4.8 PROPOSICIONES AL ALCANCE DE UN CUANTIFICADOR -- 4.9 PREDICADOS AL ALCANCE DE UN CUANTIFICADOR -- 4.9.1 PROPOSICIONES CATEGÓRICAS -- 4.9.2 CLASIFICACIÓN DE LAS PROPOSICIONES CATEGÓRICAS -- 4.10 NEGACIÓN DE UNA PROPOSICIÓN CUANTIFICADA -- 4.11 ARGUMENTOS CON PREMISAS CATEGÓRICAS -- 4.11.1 SILOGISMOS CATEGÓRICOS -- 4.11.2 REGLA DE ELIMINACIÓN DEL CUANTIFICADOR UNIVERSAL -- 4.11.3 REGLA DE GENERALIZACIÓN UNIVERSAL (GU) -- RESUMEN DE CONTENIDOS DE LA UNIDAD IV -- ACTIVDADES DE LA UNIDAD IV -- EJERCICIOS DE AUTOEVALUACIÓN -- BIBLIOGRAFÍA DE LA UNIDAD IV -- UNIDAD V - TEORÍA DE CONJUNTOS -- ORIENTACIONES DE LA UNIDAD V -- COMPETENCIAS DE LA UNIDAD V -- ESQUEMA DE CONTENIDOS DE LA UNIDAD V.…”