Lógica y pensamiento formal

Lógica y pensamiento formal

  • Autor: Edgar José Andrade; Pablo Cubides; Carlos Márquez; Esther Juliana Vargas; Diego Cancino
  • Editor: Universidad del Rosario
  • Colección: Textos de Ciencias Humanas
  • ISBN: 9789588378329
  • Lugar de publicación:  Bogotá , Colombia
  • Año de publicación: 2008
  • Páginas: 221
  • Cover
  • Title page
  • © Copyright page
  • Contenido
  • Prefacio
  • CAPÍTULO 1. Introducción
    • 1.1. Sobre los razonamientos
    • 1.2. Sobre la justificación
    • 1.3. Sobre el lenguaje
    • 1.4. Sistemas lógicos
      • 1.4.1. Lenguaje formal
      • 1.4.2. Reglas de inferencia
      • 1.4.3. Condiciones de verdad
    • 1.5. Ejercicios
      • 1.5.1. Enigmas lógicos
      • 1.5.2. Razonamientos en forma estándar
      • 1.5.3. Sobre la justificación
  • CAPÍTULO 2. Lógica preposicional
    • 2.1. Traducción: lenguaje natural y lenguaje formal
    • 2.2. Métodos de comprobación semánticos
      • 2.2.1. Tablas de verdad
      • 2.2.2. Tableros semánticos
      • 2.2.3. Árboles semánticos
    • 2.3. Deducción natural
    • 2.4. Ejercicios
      • 2.4.1. Sintaxis
      • 2.4.2. Semántica
      • 2.4.3. Deducción natural
      • 2.4.4. Formalización de argumentos
  • CAPÍTULO 3. Lógica preposicional modal
    • 3.1. Limitaciones de la semántica de LPC
    • 3.2. Sistemas extensionales e intensionales
    • 3.3. Sintaxis
    • 3.4. Semántica
      • 3.4.1. Modelos
      • 3.4.2. Condiciones de verdad
      • 3.4.3. Dualidad de los operadores modales
      • 3.4.4. Ejemplos
    • 3.5. Otros tipos de limitaciones
    • 3.6. Ejercicios
  • CAPÍTULO 4. Lógica de predicados
    • 4.1. Sintaxis
      • 4.1.1. Fórmulas bien formadas
      • 4.1.2. Traducción: lenguaje formal-lenguaje natural
    • 4.2. Semántica
      • 4.2.1. Modelos
      • 4.2.2. Validez
      • 4.2.3. Fórmulas lógicamente válidas
    • 4.3. Deducción natural
    • 4.4. Ejercicios
      • 4.4.1. Sintaxis
      • 4.4.2. Semántica
      • 4.4.3. Deducción natural
  • CAPÍTULO 5. Teoría de conjuntos
    • 5.1. Operaciones básicas entre conjuntos
    • 5.2. Productos cartesianos
    • 5.3. Relaciones
    • 5.4. Funciones
    • 5.5. Paradojas de la teoría de conjuntos
  • Bibliografía
  • Índice alfabético
  • Solución a ejercicios seleccionados
    • Ejercicios Capítulo 1
    • Ejercicios Capítulo 2
    • Ejercicios Capítulo 3
    • Ejercicios Capítulo 4

SUSCRÍBASE A NUESTRO BOLETÍN

Al suscribirse, acepta nuestra Politica de Privacidad