Большой словарь иностранных слов
Современная разновидность формальной логики (см. логика 1), заменяющая логические понятия и их отношения, выраженные словами, условными (символическими) обозначениями, наподобие алгебраических знаков.
Символическая логика
символическая логика
СИМВОЛИЧЕСКАЯ ЛОГИКА