Liste des Groupes | Revenir à s logic |
Am 04.08.2024 um 22:16 schrieb Jim Burns:On 8/4/2024 2:13 PM, WM wrote:
Yes.>When all x are involved,
the universal quantifier is usually not written.When a universal quantifier is not written,>
it is implicit, and
it can only stand implicitly outside the formula.
Right.
Still there's a distinct problem with "implicit quantification"
IN THIS CASE.
(Hence WM's "argument" is nonsense anyway.)
Here we need "∀x > 0".We can re.write
Clearly an "implicit quantifier" does not know that he's restricted to "x > 0".
Les messages affichés proviennent d'usenet.