ブール-だいすう [4] 【―代数】 論理計算を公理化し，形式化した数学的体系。ブールによって完成された。