Об интерпретации логических формул посредством финитных задачстатья