1.
https://i.imgur.com/n5ZQXSt.jpg
https://i.imgur.com/RdnSU60.jpg
请问一下，第三行为什么会用c的补元素去跟a取greatest lower bound？还有存在b<=（a
^ c bar)可以理解，但为何b是原子？
2.
https://i.imgur.com/BrhcqZ5.jpg
https://i.imgur.com/MTp2TKH.jpg
请问画底线的两行是怎么推的，我只知道右边写的式子，推不出来画线的第二行，还是跟
mi是原子有关系吗？

第二题看起来好复杂...先看第一题好了取a, c的补元素的glb我觉得可以理解成是因为他想证明a就是c，所以采矛盾证法来证（假设a,c补元素的glb不为0，推导到矛盾）然后要看到他那个b是说存在，也就是找的到就好我们知道b一定不会是0，那假设b不是原子代表有一个k不为0，符合k<b, <a, <c的补元素那这时候就不要取b，取k就好啦代表一定找的到一个原子符合我们的需求喔喔第二题只是证明看起来很吓人...先看懂他的函数，这个证明是说一个有m个原子的布林代数一定可以对应到以这m个原子为集合的power set布林代数他的对应方法就是，假设我要对应a过去我就从B_n中蒐集所有跟a有关系的m，作为power set的一个子集合，这样对就可以产生一个同构的power set布林代数了（姑且先不讨论怎么想到这个对法的，那是天才的领域...）你画线的地方仔细看，其实就是对应函数f的定义而已

第一题了解了 感谢但第二题依照定义不是只能知道m<=(a join b)吗？ 还是不太懂怎么用这个结果推到m<=a或m<=b

其实可以直接把join想成or的运算比较直觉m <= (a or b), 代表m一定<=两者中其中一人当然也可以从偏序定义的lub来讨论https://i.imgur.com/Y8nOzVN.jpg

懂了! tks