Which of the following logic statements are valid? Revision as of 18:31, 23 February 2014 by Arjun Suresh (talk | contribs) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Which of the following predicate logic statements is/are valid?

(1) \forall (x) P(x) V \forall(x)Q(x) \implies \forall (x) (P(x) V Q(x))