Forzamiento semántico de marcas para la lógica básica paraconsistente - LBPC

Forzamiento semántico de marcas para la lógica básica paraconsistente - LBPC

Detalles Bibliográficos
Autor principal: Sierra Aristizábal, Manuel (-)
Formato: Libro electrónico
Idioma:Castellano
Publicado: Bogotá : Red Universidad Eafit 2006.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009856843206719
Tabla de Contenidos:
  • FORZAMIENTO SEMÁNTICO DE MARCAS PARA LA LÓGICA BÁSICA PARACONSISTENTE - LBPC
  • RESUMEN
  • ABSTRACT
  • PALABRAS CLAVES
  • INTRODUCCIÓN
  • 1. FORZAMIENTO SEMÁNTICO DE MARCAS CLÁSICO
  • 1.1 Construcción de enunciados
  • 1.2 Marcas
  • 1.3 Forzamiento semántico de marcas
  • 1.3.1 Reglas básicas
  • 1.3.2 Reglas para el condicional
  • 1.3.3 Reglas para la conjunción
  • 1.3.4 Reglas para la disyunción
  • 1.3.5 Reglas para
  • 1.3.6 Reglas para la negación clásica
  • 1.4 Tipos de enunciados
  • 1.4.1 Enunciados bien marcados
  • 1.4.2 Enunciados mal marcados
  • 1.4.3 Doble marca
  • 1.5 Teorema de opciones en el forzamiento
  • 1.6 Teorema de completitud
  • 1.7 Algunos teoremas importantes
  • 1.7.1 Principio de Trivialización
  • 1.7.2 Reducción al Absurdo Débil
  • 1.7.3 Reducción al Absurdo Fuerte
  • 1.7.4 Principio de No Contradicción
  • 1.7.5 Eliminación de la Doble Negación
  • 1.7.6 Negación de la Conjunción
  • 1.7.7 Disyunción de Negaciones
  • 1.7.8 Negación de la Disyunción
  • 1.7.9 Conjunción de Negaciones
  • 1.7.10 Negación del Condicional
  • 1.7.11 Afirmación del Condicional
  • 1.7.12 Afirmación del Antecedente y Negación del Consecuente
  • 1.7.13 Afirmación del Antecedente o Afirmación del Consecuente
  • 1.7.14 Silogismo Disyuntivo
  • 1.7.15 Contra Reciproca Débil
  • 1.7.16 Contra Reciproca Fuerte
  • 1.7.17 Tercero Exclusivo
  • 2. LÓGICA BÁSICA PARACONSISTENTE - LBPC
  • 2.1 Reglas de inferencia para la negación débil
  • 2.2 Algunosteoremas importantes para la negación débil
  • 2.2.1 Principio de Trivialización
  • 2.2.2 Reducción al absurdo débil
  • 2.2.3 Reducción al Absurdo Fuerte
  • 2.2.4 Principio de no Contradicción
  • 2.2.5 Cuestionamiento no implica Incompatibilidad
  • 2.2.6 Preservación de la Incompatibilidad con la Conjunción:
  • 2.2.7 Preservación de la Incompatibilidad con la Disyunción.
  • 2.2.8 Preservación de la Incompatibilidad con el Condicional
  • 2.2.9 Preservación de la Incompatibilidad con el Cuestionamiento
  • 2.2.10 Eliminación del Doble Cuestionamiento
  • 2.2.11 Introducción del Doble Cuestionamiento
  • 2.2.12 Cuestionamiento de la Conjunción
  • 2.2.13 Disyunción de Cuestionamientos
  • 2.2.14 Cuestionamiento de Disyunción
  • 2.2.15 Conjunción de Cuestionamientos
  • 2.2.16 Cuestionamiento del Condicional
  • 2.2.17 Cuestionamiento del Condicional
  • 2.2.18 Implicación Disyunción
  • 2.2.19 Aceptación del Antecedente y Cuestionamiento del Consecuente
  • 2.2.20 Cuestionamiento del Antecedente o Aceptación del Consecuente
  • 2.2.21 Silogismo Disyuntivo
  • 2.2.22 Contra Reciproca Débil:
  • 2.2.23 Contra Reciproca Fuerte
  • 2.2.24 Tercero Excluido
  • 2.3 Caracterización Axiomática
  • 3. CONCLUSIÓN
  • 3.1 Lógica positiva paraconsistente LPPc
  • 3.1.1 Preservación de la incompatibilidad con la conjunción
  • 3.1.2 Preservación de la incompatibilidad con la disyunción
  • 3.1.3 Preservación de la incompatibilidad con el condicional
  • 3.2 Lógica paraconsistente LPc
  • 3.2.1 Preservación de la incompatibilidad con la negación débil
  • 3.2.2 Preservación de la incompatibilidad con la negación fuerte
  • 3.2.3 Preservación de la incompatibilidad con la negación fuerte
  • 4. BIBLIOGRAFÍA.

Ejemplares similares