For the invalid predicate wffs, describe why they are not valid.
a) where a is in the domain of interpretation
b)
c)
d)
e)
f)
2) Prove that is a valid wff.