[siddboots]

This perspective is the inspiration for much of lattice theory. When you consider implication as an ordering, then "x and y" becomes max(x, y), "x or y" becomes min(x, y). True becomes the top term, False becomes the bottom. One of the neat implications is that much of what we think of as being propositions in boolean algebra also work in the wider setting of Heyting algebras i.e., any lattice that also has implication.