Reduction of large systems of logic equations: the method of syllogisms

摘要

Large Systems of logic equations with a limited number of variables in each equation are considered. A vector-matrix method of reduction of such systems and solutions based on analysis of each equation in the system in turn, identification of second-level inhibits (equivalent to the categorical judgements of the Aristotelian syllogistic), and the derivation of all consequent, and application of the consequents to reduce the number of roots in the other equations are proposed.