This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.

We look at the ordering of the 16 possible boolean functions of two variables. We can also view it as a diagram of the subsets of a situation with four individuals, each representative of one of the four possible combinations of two boolean properties A and B. Each boolean function corresponds to a property P, and the diagram shows { x | P(x) }.

Each arrow (directed edge) in the diagram represents the addition of an additional element to the set. Each arrow represents a valid implication.