Arjun Suresh (talk | contribs) (→Which of the following predicate logic statements is/are valid?) |
Arjun Suresh (talk | contribs) (→Which of the following predicate logic statements is/are valid?) |
||
Line 4: | Line 4: | ||
==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) \ | + | (1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math> |
[[Category:Logical Inference]] | [[Category:Logical Inference]] |
(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>
(1) <math>\forall (x) P(x) \or \forall(x)Q(x) \implies \forall (x) (P(x) V Q(x))</math>