BooleanAlgebra

A boolean algebra is a lattice (see LatticEs) which satisfies the following properties:

    There exists some element 0, such that av0=a for all a                 (bounded below)
    There exists some element 1, such that a^1=a for all a                 (bounded above)
    For all a,b,c, (avb)^c=(a^c)v(b^c)                                     (distributive law)
    For all a, there exists an element ~a such that av~a=1 and a^~a=0      (existence of complements)

Complements are guaranteed to be unique within bounded distributive lattices. Note the definition of Boolean algebrae is very similar to that of RinGs, except elements have complements instead of inverses. Moreover the distributive law can be shown to hold both ways, i.e. (a^b)vc=(avc)^(bvc).

True-false statements form a boolean algebra, with implications => as the partial order. Then avb represents "a or b", a^b represents "a and b", and ~a represents "not a". MathematicalRelations are a good example of such statements.