补运算 参见 导航菜单

格理论


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




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



x∨y=1displaystyle xvee y=1x∧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

名間水力發電廠 目录 沿革 設施 鄰近設施 註釋 外部連結 导航菜单23°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.7113923°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.71139計畫概要原始内容臺灣第一座BOT 模式開發的水力發電廠-名間水力電廠名間水力發電廠 水利署首件BOT案原始内容《小檔案》名間電廠 首座BOT水力發電廠原始内容名間電廠BOT - 經濟部水利署中區水資源局

Is my guitar’s action too high? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Strings too stiff on a recently purchased acoustic guitar | Cort AD880CEIs the action of my guitar really high?Μy little finger is too weak to play guitarWith guitar, how long should I give my fingers to strengthen / callous?When playing a fret the guitar sounds mutedPlaying (Barre) chords up the guitar neckI think my guitar strings are wound too tight and I can't play barre chordsF barre chord on an SG guitarHow to find to the right strings of a barre chord by feel?High action on higher fret on my steel acoustic guitar

香港授勳及嘉獎制度 目录 勳章及獎狀類別 嘉獎等級 授勳及嘉獎提名 統計數字 多次獲頒勳章或獎狀的人士 爭議 褫奪機制 参考文献 外部連結 参见 导航菜单統計數字一九九七年七月二日(星期三)香港特別行政區的授勳制度六七暴動領袖獲大紫荊勳章 董建華被斥為肯定殺人放火董建華授勳楊光 議員窮追猛打蘋論:顛倒是非黑白的大紫荊董讚楊光有貢獻避談暴動董拒答授勳楊光原因撤除勳銜撤除勳銜撤除勳銜特首掌「搣柴」生殺權行為失當罪 隨時「搣柴」失長糧政府刊憲 許仕仁郭炳江遭「搣柴」去年中終極上訴失敗 許仕仁郭炳江撤勳章太平紳士猛料阿Sir講古—— 「搣柴」有故一九九八年授勳名單一九九九年授勳名單二○○三年授勳名單二○○八年授勳名單二○○七年授勳名單政府總部禮賓處 - 授勳及嘉獎香港特別行政區勳章綬帶一覽(PDF)(非官方)