Математическая логика

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