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.
logical formalization, difficult expressions, operations with expressions, function of truth, truth variable
"O formulnoi zapysy slozhnыkh vыskazыvanyi" [About the difficult expressions record as formulas],
Scientific Works of Kharkiv National Air Force University,