Which of the following logic statements are valid?
Revision as of 18:33, 23 February 2014 by Arjun Suresh (talk | contribs) (→‎Which of the following predicate logic statements is/are valid?)


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

(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>

Retrieved from "https://gatecse.in/w/index.php?title=Which_of_the_following_logic_statements_are_valid%3F&oldid=2569"


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

(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>