Abstract:
We consider a method for logical analysis based on geometric interpretation
of propositional formulas. A logical formula is represented as a unit
hypercube in an orthogonal basis of dimension equal to the locality of the
formula. It is shown that the analysis of cube intersections in accordance
with simple visual criteria allows one to formulate logical axioms. The
possibility to construct programming tools for estimating the truth of
formulas according to visual perceptions is discussed.
Fulltext:
PDF file (135 kB)