Statement’s logical strength assessment
The term “statement’s logical strength” is introduced. The computer program for a statement’s logical strength establishment has been proposed (this program has been registered in the National computer programs catalogue on January 9, 2013, № 201361). The principal characteristics of the program application have been examined. This program has been constructed on the basis of the theorem’s special structures and universal algorithm for demonstrating theorems introduced and considered in detail in [2]. In general terms, the theorem structure is a conclusion in the form of a true conditional sentence consisting of variable and constant parts. A variable part includes a premise and a conclusion determined by the market or some subject. A constant part is the general knowledge in the form of some text document, agreement, contract, statement, declaration, application that are not subject to any changes in the using process. The introduction of variable parts in the theorem structure has turned it into a regular tool rather than a one-shot one. This instrument is able to solve a wide range of problems including a document execution monitoring and simplifying the expressions while solving logical problems and digital circuit synthesis ones