Логика символическая (symbolic logic, mathematical logic) — предмет, изучающий формульную логику средствами формализованного искусственного языка или символического исчисления с целью исключения неоднозначности и логической неадекватности, присущих естественным языкам.
Допустимый синоним: Математическая логика.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]