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