Equivalence Rules: 1. Commutative Properties: A B B A A B ...

Section 1.3 Quantifier, Predicates, and Validity A predicate, in general, has the form P(x1, x2, …, xn) which maps from x1, x2, …, xn to the values