дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов) математическая теория дедуктивных способов рассуждений.