Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois

The paper substantiates that, in the case where staged argument uses the concept of verification tasks of conformity can be checked logical consequence, without applying the logical conclusion. It is convenient to use the calculus of constituent sets and tasking logic 𝐿𝑠2 [1, 2]. The example shows that the predicate logic, logical consequence verification can be performed using a simple reasoning based on Galois correspondence. (In Russian)