Use the numbered-list proof style from section 1.4 of the book to prove each of the following predicate logic statements. 1. (x):P(x))P(a)P(b) 2. (Vx)(Q(x)P(x))P(a)Q(a) 3. (x)(vy)(P(x,y)P(y,x))(P(b,a)P(a,b)) 4. (x)(P(x))(vy)(P(y)Q(a))Q(a)