Prove the following in the predicate calculus. Many of these are long and require multiple uses of reduction Propositional rules together with the rules for either V or = alone: All propositional and predicate rules: (f) 3x-Fa t -VacFx (g) Vx-Fx #+ -3xFx