Let Q X Predicate Defined Domain Give Formal Proof Y Q Y X Q X Y Q Y B Give Formal Proof Q37176960

Let Q(x) be a predicate defined in this domain.

(a) Give a formal proof that (∀y Q(y)) → ∃x (Q(x) → ∀yQ(y)).

(b) Give a formal proof that ¬(∀y Q(y)) → ∃x (Q(x) → ∀yQ(y)).

(c) Why can we conclude from parts (a) and (b) that ∃x (Q(x) →∀y Q(y)) is a tautology?

Answer