دانلود کتاب INFERENCIA VISUAL PARA LOS SISTEMAS DEDUCTIVOS LBPco, LBPc y LBPo
by Manuel Sierra Aristizabal
|
عنوان فارسی: استنتاج بصری برای سیستم های قیاسی LBPco، LBPc و LBPo |
دانلود کتاب
جزییات کتاب
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.