补运算 参见 导航菜单

格理论


有界格格有补格一元运算逻辑否定分配布尔代数Heyting代数




设L是带有最大元素1和最小元素0的有界格。L的两个元素x和y是互补(相互为补元)的,当且仅当:



x∨y=1displaystyle xvee y=1且x∧y=0displaystyle xwedge y=0

在这种情况下,它们被指示为¬x = y和等价的¬y = x。所有元素都有补元(素)的有界格叫做有补格。对应的在L上的一元运算叫做补运算,把逻辑否定的类似物介入了格理论。补元不必然是唯一的,在L上所有可能的一元运算中也没有什么特殊之处。分配有补格是布尔代数。对于分配格,x的补元存在的话就可证明是唯一的。


Heyting代数是至少某些成员缺乏补元的分配格的例子。在另一方面,Heyting代数的所有成员x都有一个伪补元,也指示为¬x。伪补元是最大的元素y使得x∧displaystyle wedge y = 0。如果Heyting代数的所有元素的伪补元实际上都是补元,则这个Heyting代数是布尔代数。



参见


  • 有补格

  • 补集

  • 逻辑否定


Popular posts from this blog

瀋陽號驅逐艦 目录 接收與服役 配置反潛直升機 武進三型性能升級 歷史 除役 參考資料 外部連結 导航菜单Taiwan Air Power海疆老兵-陽字號驅逐艦沿革World Navies Today: Taiwan (Republic of China)DD-839 USS POWER编

波兰旗帜列表 目录 国旗 军旗 其他制服部门旗帜 特别国家机构船只 参考文献 外部链接 导航菜单Polskie flagi, chorągwie, bandery... [波兰旗帜、条幅、船旗等]原始内容Ustawa z dnia 31 stycznia 1980 r. o godle, barwach i hymnie Rzeczypospolitej Polskiej oraz o pieczęciach państwowychZarządzenie Ministra Obrony Narodowej z dnia 14 grudnia 2005 r. zmieniające zarządzenie w sprawie szczegółowych zasad używania znaków Sił Zbrojnych Rzeczypospolitej Polskiej oraz ustalenia innych znaków używanych w Siłach Zbrojnych Rzeczypospolitej PolskiejZarządzenie Ministra Obrony Narodowej z dnia 29 stycznia 1996 r. w sprawie szczegółowych zasad używania znaków Sił Zbrojnych Rzeczypospolitej Polskiej oraz ustalenia innych znaków używanych w Siłach Zbrojnych Rzeczypospolitej PolskiejUstawa z dnia 19 lutego 1993 r. o znakach Sił Zbrojnych Rzeczypospolitej PolskiejHistoria Marynarki Wojennej RP [波兰海军史]Rozporządzenie Ministra Spraw Wewnętrznych i Administracji z dnia 12 kwietnia 2002 r. w sprawie wzoru flagi oraz oznakowania jednostek pływających i statków powietrznych Straży GranicznejRozporządzenie Ministra Spraw Wewnętrznych i Administracji z dnia 18 kwietnia 2005 r. w sprawie wzoru flagi oraz oznakowania jednostek pływających i statków powietrznych PolicjiRozporządzenie Ministra Infrastruktury z dnia 21 października 2005 r. w sprawie wzorów flag dla statków morskich na oznaczenie pełnionej specjalnej służby państwowej oraz okoliczności i warunków ich podnoszenia波兰旗帜波兰编

Indenting and Dedenting ASP code with Python