Dialog logical problems solving

Abstract

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.