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