Description: 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