Диалоговое решение логических задач

Abstract

Представлен реляционный метод решения логических задач и его основные свойства. Решение логической задачи сводится к конструированию реляционных таблиц и запросов, исполнению реляционных запросов. Метод обеспечивает ориентированное на человека представление логических формул и реляционных запросов в виде реляционных таблиц. По дедуктивной мощности метод не уступает классическому исчислению высказываний и исчислению предикатов. С. 57-64.