In mathematical context, or in the context of mathematical logic, is there a difference between:
This is valid for each x.
and
This is valid for all x.
?
If both have the same meaning, which is preferable?
In mathematical context, or in the context of mathematical logic, is there a difference between:
This is valid for each x.
and
This is valid for all x.
?
If both have the same meaning, which is preferable?
Both are valid here, as is 'every' as GEdgar mentions.
I would suggest that 'every' and 'all' are slightly more grammatical in this usage.
X, for everyX, for allXare standard ways to express the universal (∀) quantifier, while someX, (at least) oneX, and there exist(s) (an)Xare standard ways to espress the existential (∃) quantifier. These two are what McCawley calls "the logicians' favorite quantifiers", though there's lots more quantifiers than that in every natural language. – John Lawler Dec 23 '13 at 22:05