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

Format:

• Book

Author/Creator:

• Sierra Aristizábal, Manuel.

Language:

Spanish

Physical Description:

1 online resource (25 pages)

Place of Publication:

Bogotá : Red Universidad Eafit, 2006.

Contents:

• 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.

Notes:

Description based on publisher supplied metadata and other sources.

OCLC:

950756887