Which of the following sentences are valid? Explain.
a. (∃x x=x) ⇒ (∀y ∃z y=z).
b. ∀x P(x) ∨¬P(x).
c. ∀x Smart(x) ∨ (x=x).