Метод формально логического анализа