Predicate LogicRosen 6th ed. § LogicPredicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of .x>1 xy=10Such statements are neither true or fal