Difference between revisions of "Which of the following logic statements are valid?"

(Created page with " Category:Logical Inference")
 
Line 2: Line 2:
  
  
 +
==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))
  
 
[[Category:Logical Inference]]
 
[[Category:Logical Inference]]

Revision as of 18:31, 23 February 2014


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))

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