Каковы основные достижения Джорджа Буля в области алгебры логики?

Основные достижения Джорджа Буля в области алгебры логики:

• Создание математической логики — раздела математики, который строится на применении формальных математических методов для решения логических задач. scientificrussia.ru
• Изобретение своеобразной алгебры — системы обозначений и правил, применимой ко всевозможным объектам, от чисел до предложений. infourok.ru Использование этой системы позволяло закодировать высказывания (утверждения, истинность или ложность которых требовалось доказать) с помощью символов своего языка, а затем управлять ими, как математическими числами. scientificrussia.ru
• Предложение обозначать символами не числа, а высказывания. znanierussia.ru Буль показал, что уравнениями, схожими с алгебраическими, можно разрешать вопросы об истинности и ложности высказываний. znanierussia.ru
• Вывод о том, что логические рассуждения, выраженные в определённых символах, подчиняются законам, подобным алгебраическим. znanierussia.ru Как следствие, он показал, что из любого числа высказываний математически можно вывести следующее из этих высказываний заключение. znanierussia.ru

Основные операции булевой алгебры, предложенные Булем: конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ). infourok.ru blog.skillfactory.ru