一元布尔代数 在抽象代数中一元布尔代数是带有如下标识signature的代数结构 A       有型  这里的 A      是布尔代数 前缀一元算子  指示存在量词它满足恒等式    x  x x  y  x  y xy  xy x 是 x 的存在闭包对偶于  的是一元算子 它是全称量词定义为 x  x  一元布尔代数有对偶公式取  为原始把  定义为 x  x   所以对偶的代数有标识 A      带有 A      是布尔代数此外 满足上面恒等式的对偶版本    x  x xy  xy x  y  x  y x 是 x 的全称闭包