1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 3(48)'2016
  5. About the variable difficult expressions description as formulas

About the variable difficult expressions description as formulas

V.A. Leschinsky, I.A. Leschinska
Annotations languages:

Generalization of concept of difficult expression is in-process examined by introduction of variable expressions. Veritable, identically false and conditionally veritable expressions are considered identically. The most known laws of logic of expressions are considered. It is shown that all of them are veritable expressions identically.
Keywords: logical formalization, difficult expressions, variable expressions, operations with expressions, function of truth, logician of expressions