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

Revision as of 18:32, 23 February 2014

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

@@ Line 4: / Line 4: @@
 ==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))
+(1) <math>\forall (x) P(x) V \forall(x)Q(x) \implies \forall (x) (P(x) V Q(x))</math>
 [[Category:Logical Inference]]