«формальная логика» - синонимы