Логика символическая
Логика символическая (symbolic logic, mathematical logic) — предмет, изучающий формульную логику средствами формализованного искусственного языка или символического исчисления с целью исключения неоднозначности и логической неадекватности,