Большой энциклопедический словарь:
СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика.
Большой словарь иностранных слов:
Современная разновидность формальной логики (см. логика 1), заменяющая логические понятия и их отношения, выраженные словами, условными (символическими) обозначениями, наподобие алгебраических знаков.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020