We discussed the proper treatment of boolean connectives and, or, and not.
We saw that both the denotation domains of sentences (truth values) as well as those of predicates (subsets of a universal set) share a common abstract structure: they are boolean lattices.