Prove that the wff is a valid argument or give an interpretation in which it is false. Use propositional logic such as inference rules for both propositional and predicate and equivalence rules for propositional

1. (x)(P(x)Q(x))(x)Q(x)(x)P(x)

2. (x)(y)[(P(x)S(x,y))Q(y)](x)B(x)(x)(B(x)P(x))(x)(y)S(x,y) (x)Q(x)