INFERENCIA VISUAL PARA LOS SISTEMAS DEDUCTIVOS LBPco, LBPc y LBPo

La Negación Clásica prohibe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo, es una generalización de la Lógica Clásica. En él se tiene un operador Ilamado Negación Débil, el cual tiene la característica de no prohibir la compatibilidad de un enunciado con su negación ni las indeterminaciones respecto a la negación. INTRODUCCIÓN ......................................................................................................................... 1 1. ÁRBOLES DE FORZAMIENTO SEMÁNTICO CLÁSICO 1. 1 Construcción de enunciados ......................................................................................................... 1 1.2 Árboles de construcción de enunciados ........................................................................................ 2 1.3 Árboles de forzamiento clásico ...................................................................................................... 3 1.4 Tipos de árboles ......................................................................................................................... 8 1.5 Opciones en el forzamiento ........................................................................................................... 9 1.6 Validez y completitud ..................................................................................................................... 9 1.7 Algunos teoremas importantes ...................................................................................................... 10 2. ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA LBPco 2.1 Reglas de inferencia para la negación débil .................................................................................. 16 2.2 Algunas consecuencias ................................................................................................................. 19 3. SISTEMA DEDUCTIVO PARA LA LBPco 3.1 Axiomas paras la lógica positiva clásica ........................................................................................ 28 3.2 Axiomas para la negación clásica ................................................................................................. 29 3.3 Axiomas para la negación básica paraconsistente y paracompleta .............................................. 29 3.4 Regla de inferencia ........................................................................................................................ 30 3.5 Algunos teoremas ........................................................................................................................ 30 3.6 Validez y completitud ..................................................................................................................... 41 3.7 Retículo de consecuencias para la LBPco .................................................................................... 42 3.8 Resumen de resultados importantes ............................................................................................. 42 4. ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA LBPc 4.1 Reglas de inferencia para la negación paraconsistente .............................................................. 45 4.2 Algunos teoremas importantes para la negación paraconsistente ................................................ 47 5. SISTEMA DEDUCTIVO PARA LA LBPc 5.1 Axiomas para la negación básica paraconsistente ........................................................................ 52 5.2 Algunos teoremas para la LBPc .................................................................................................... 52 5.3 Validez y completitud ..................................................................................................................... 56 5.4 Resumen de resultados importantes ............................................................................................. 56 5.5 Retículo de consecuencias para la LBPc ...................................................................................... 57 6. ÁRBOLES DE FORZAMIENTO PARA LA LBPo 6.1 Reglas de inferencia para la negación paracompleta ................................................................. 59 6.2 Algunos teoremas importantes para la negación paracompleta .................................................... 61 7. SISTEMA DEDUCTIVO PARA LA LBPo 7.1 Axiomas para la negación básica paracompleta ........................................................................... 66 7.2 Algunos teoremas para la LBPo ................................................................................................... 66 7.3 Validez y completitud ..................................................................................................................... 69 7.4 Resumen de resultados importantes ............................................................................................. 69 7.5 Retículo de consecuencias para la LBPo ...................................................................................... 71 8. BIBLIOGRAFÍA ....................................................................................................................... 72