Формальная логика это:

наука о законах и формах мышления.
наука о логических связях и отношениях, лежащих в основе дедуктивного (логического) вывода

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.