Con la “Lógica Proposicional Orientada” se postula un paradigma de representación, utilizando esquemas sencillos para facilitar la inferencia, separando "Lógica" de "Conocimiento", añadiendo nuevos operadores a la Lógica Proposicional. En este contexto, la principal característica de la “Lógica Proposicional Orientada” es la separación en dos partes denominadas “Estructura” y “Servicio”, como si de compartimentos estancos se trataran, de forma que la expresión orientada implementa la lógica, y el conocimiento del servicio declara el problema.
El componente principal y único del “Servicio” es el “Contenedor”, la idea de esa denominación se debe al asombroso resultado que ese cajón normalizado ha tenido en la Logística del Transporte, y las consecuencias para el mundo moderno. Así, cualquier expresión orientada comienza y acaba en contenedores, ocupándonos de que hagan inferencias apropiadas, dejando el contenido a la declaración del “Tabla de Conversión” de cada uno de los contenedores.
De forma análoga, el componente principal y único de la “Estructura” es el “Operador”, definiendo 4 clases de operadores unarios y 16 operadores binarios, cada uno de los operadores pueden operar con contenedores o con otros operadores.
“Manual de Lógica Proposicional Orientada” comienza con un capítulo de introducción, donde se citan brevemente los distintos periodos y hechos relevantes de la lógica, con su conjunto de axiomas, definiciones y teoremas, así como una exposición de los principios de la lógica que se usan en matemáticas para desarrollar sus teorías, todos ellos relacionados por las reglas de la lógica del periodo.
En el capítulo 1 se explica el sistema de representación gráfica sobre la lógica proposicional, con la descripción del contenedor lógico, el operador lógico unario y el operador lógico binario, así como sus configuraciones. Se define en este capítulo una tabla denominada “Tabla de conversión”, en la que se determina el comportamiento de contenedores y operadores.
Con el capítulo 2 se definen los operadores unarios, sus inferencias y las configuraciones que pueden aparecer en los diagramas lógicos (Lo vamos a llamar “Logigrama Orientado”), determinando para cada uno de ellos las inferencias posibles.
De forma similar, en el capítulo 3 se define el operador binario, atendiendo al carácter conmutativo o no conmutativo que presentan sus conexiones de entrada, determinando dos grupos de operadores, de manera que se fijan las conexiones en los operadores no conmutativos, siendo este aspecto un planteamiento nuevo en la lógica proposicional.
Estos dos grupos de operadores se definen en los siguientes capítulos, correspondiendo el capítulo 4 y capítulo 5 al operador conmutativo, y el capítulo 6 y el capítulo 7 al operador no conmutativo, realizando la descripción de cada uno de ellos, sus configuraciones y sus inferencias, resolviendo las demostraciones mediante tablas y logigramas, evitando el razonamiento de la lógica simbólica, también se determinan las producciones asociativas, conmutativa, idempotencia, neutro, absorción, equivalencias que presentan los operadores conmutativos y no conmutativos, así como producciones significativas de la lógica simbólica (Teorema de Morgan), finalizando estos capítulos con ejemplos de simplificación de expresiones de la lógica simbólica.
Especialmente importante es el capítulo 8, en el que se explica el desarrollo del logigrama orientado, con la conexión y la producción como los dos conceptos principales de la lógica orientada, determinando el "Desarrollo NOR-AND", que se aplica a 3, 4 y 5 conexiones. Finaliza este capítulo con el desarrollo de logigramas a partir de las tablas de requisitos funcionales.
Por último, en los capítulos 9 y 10 se explica la lógica proposicional orientada para aplicaciones computacionales, desarrollando en el lenguaje de programación Java, cada uno de los operadores unarios y binarios de la lógica orientada, así como desarrollos en Java de ejemplos de típicos de la lógica.
Es el único manual sobre este tema que se ha publicado y es de interés para todo el sector de la informática: programadores, analistas, técnicos, profesionales informáticos, profesores y alumnos de este sector.
