补运算 参见 导航菜单

格理论


有界格格有补格一元运算逻辑否定分配布尔代数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 - 經濟部水利署中區水資源局

Prove that NP is closed under karp reduction?Space(n) not closed under Karp reductions - what about NTime(n)?Class P is closed under rotation?Prove or disprove that $NL$ is closed under polynomial many-one reductions$mathbfNC_2$ is closed under log-space reductionOn Karp reductionwhen can I know if a class (complexity) is closed under reduction (cook/karp)Check if class $PSPACE$ is closed under polyonomially space reductionIs NPSPACE also closed under polynomial-time reduction and under log-space reduction?Prove PSPACE is closed under complement?Prove PSPACE is closed under union?

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