Slide 11 CA 208 Logic First-Order Predicate Logic Kate is a student. Every student is broke. ----------------------------- Kate is ??? Slide 2 2 CA 208 Logic Propositional…