Re: Punctuation

Michael Stemper wrote:

How would you punctuate this?

Ae>0Ed>0P(x,e,d)

"For all epsilon greater than zero, there exists a
delta greater than
zero such that proposition."

Would the proper punctuation be the insertion of
colons:

Ae>0:Ed>0:P(x,e,d)

Would it be grouping the quantifiers:

(Ae>0)(Ed>0)P(x,e,d)

Is there a recommended/preferred approach?

--
Michael F. Stemper
#include <Standard_Disclaimer>
This message contains at least 95% recycled bytes.

Being strict, that is, using the alphabet of symbols of
Predicate Calculus:

Variables: e,d,...
Individual constants: 0,...
Predicates: G(x): " x greater than 0 ",...
Well formed formulas: P,...
Connectives: ~, ->
Universal quantifier: A
Punctuation: ( , ), ,

Then, "For all epsilon greater than zero, there exists a
delta greater than zero such that P" could be written:

((Ae)G(e)) -> (~((Ad)(~(G(d) -> P))))

Fernando.
.

Relevant Pages

  • Re: "All random number generators eventually exhibit periodicity"?????
    ... >my mind) the strongest indication, where its strength is epsilon, ... >such that for any number delta greater than zero, ...
    (sci.crypt)
  • Re: markov chain decomposition (nearly completely decomposable system)
    ... the chain has k-1 communicating ... approximately true for small epsilon. ... converges to zero. ... > with a probability transition matrix P having the following structure: ...
    (sci.math)
  • Re: how to prove that f^2+f ^2 <=1 if ...
    ... So let x now be a regular point of f: ... that epsilon has been taken to be smaller than F = f'^2. ... That is one half of the desired inequality. ... But since x- is a point, where f' takes a value very near to zero, ...
    (sci.math)
  • Re: Possible proof of Gabriels Theorem?
    ... >> that delta must eventually become zero, however, according to the ... No infinitesimals. ... Nothing indeed about epsilon being small. ...
    (sci.math)
  • Re: Zero Content
    ... Let be a convergent sequence in R. Show that the set ... convergent sequence then there exist an epsilon s.t. length of I_k < ... is a subset of the union of those intervals. ... No. What's the definition of "zero content"? ...
    (sci.math)