Slide 1 Predicate Logic Slide 2 From Propositional Logic to Predicate Logic Last week, we dealt with propositional (or truth-functional) logic: the logic of truth- functional…