Skip to content

zelph - A Sophisticated Semantic Network System

Boolean algebra

Boolean algebra

Deductions

Boolean algebra is subclass of complemented lattice ⇐ (Boolean algebra is subclass of orthomodular lattice), (orthomodular lattice is subclass of complemented lattice), (is subclass of is a transitive relation)
Boolean algebra is subclass of orthocomplemented lattice ⇐ (Boolean algebra is subclass of orthomodular lattice), (orthomodular lattice is subclass of orthocomplemented lattice), (is subclass of is a transitive relation)