Раздел математики, конкретно, алгебры, изучающий логические суждения, рассматриваемые, как истинные или ложные и логических операции над этими суждениями. Название этой отрасли алгебры дано по имени английского математика Джорджа Буля.