CA 208 Logic First-Order Predicate Logic Kate is a student. Every student is broke. ----------------------------- Kate is ??? CA 208 Logic Propositional Logic is not enough…
