Are the following formulas valid, satisfiable, or unsatisfiable? -\quad P(a) \rightarrow \operatorname{ExP}(x) -\quad \operatorname{ExP}(x) \rightarrow P(a) \text { - } \operatorname{ExP}(x) V \operatorname{ExIP}(x) \rightarrow A x P(x)

Fig: 1

Fig: 2

Fig: 3

Fig: 4