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