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

A relational method for logical problems solving and its basic properties are discussed. A solving of logical problems is reduced to the designing relational tables and queries, and the relational queries execution. Method provides oriented for human view of logical formulas and relational queries in the form of relational tables. The power of deductive method does not yield to the power of classical propositional calculus and predicate calculus.