Manual de lógica proposicional orientada

Con la edición de este manual se presenta un novedoso sistema de diagrama orientado para la lógica proposicional. Es un innovador sistema de representación gráfica. La lógica forma parte de todos los sistemas operativos y lenguajes de programación, utilizando operadores lógicos y operadores de control de flujo. Es un libro innovador para todo el sector informático. 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.