Раздел логики, изучающий формальные системы и закономерности рассуждений, включающий символический язык и правила преобразования логических утверждений