1 Predicate Logic Rosen 6 th ed., § 1.3-1.4 2 Predicate Logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
