CPSC 121: Models of Computation Unit 5 Predicate Logic Based on slides by Patrice Belleville and Steve Wolfman.