书名，由 英国数学家及 逻辑学家 布尔（Boole·George）著作。他用通常的代数符号并以等式来表示逻辑关系。这种分析可以说是对符号进行形式上的处理而抽出了符号所代表的具体涵义，后来称之为“逻辑代数”。