Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo
Main Article Content
Keywords
Ingeniería de computación, Lógica, Inferencia (Lógica)
Resumen
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.
Descargas
Los datos de descargas todavía no están disponibles.