Nuprl Definition : DeMorgan-algebra-axioms
DeMorgan-algebra-axioms(dma) ==
(∀x:Point(dma). (¬(¬(x)) = x ∈ Point(dma))) ∧ (∀x,y:Point(dma). (¬(x ∧ y) = ¬(x) ∨ ¬(y) ∈ Point(dma)))
Definitions occuring in Statement :
dma-neg: ¬(x),
lattice-join: a ∨ b,
lattice-meet: a ∧ b,
lattice-point: Point(l),
all: ∀x:A. B[x],
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
all: ∀x:A. B[x],
equal: s = t ∈ T,
lattice-point: Point(l),
lattice-meet: a ∧ b,
lattice-join: a ∨ b,
dma-neg: ¬(x)
FDL editor aliases :
DeMorgan-algebra-axioms
Latex:
DeMorgan-algebra-axioms(dma) ==
(\mforall{}x:Point(dma). (\mneg{}(\mneg{}(x)) = x)) \mwedge{} (\mforall{}x,y:Point(dma). (\mneg{}(x \mwedge{} y) = \mneg{}(x) \mvee{} \mneg{}(y)))
Date html generated:
2016_05_18-AM-11_46_56
Last ObjectModification:
2015_10_08-PM-05_41_50
Theory : lattices
Home
Index