Switching Theory: Insight through Predicate Logic