V.A. Leschinsky, I.A. Leschinska

Annotations languages:

The logical going is in-process examined near record as formulas of arbitrary difficult expressions, expressing his function of truth. It is shown how it is possible to describe difficult expressions, going across from text interpretation of expressions to the formulas. On the example of Keysler task is examined, as, operating the formulas of expressions, it is possible formal methods to decide some logical tasks.