1) Which of the following predicate wffs are valid (i.e., true under all possible interpretations)?

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.