结构推理
证明在有界分配格中，若一个元素有补元，则此补元必唯一．
【正确答案】
证明设(A，∨，∧)为有界分配格，a∈A且有补元a
1
，a
2
∈A，满足：
a∨(a
1
=1，a∧a
1
=0，
a∨a
2
=1，a∧a
2
=0．
即 a
1
=a
1
∧1=a
1
∧(a∨a
2
)
=(a
1
∧a)∨(a
1
∧a
2
)
=0∨(a
1
∧a
2
)
=(a
2
∧a)∨(a
2
∧a
1
)
=a
2
∧(a∨a
1
)
=a
2
∧1
=a
2
．
这说明。有补元必是唯一的．
【答案解析】
提交答案
关闭