Логика символьная (symbolic logic) — можно использовать для решения трех основных задач формальной логики: для выражения высказываний, выражения отношений между высказываниями и описания способов вывода новых высказываний из других высказываний, считающихся истинными.
[Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н. А. Давыдова. 4-ое изд., электрон. М.: Лаборатория знаний, 2020. — 130 с.]