What does a dot (.) mean in predicates?

$\forall a \in A. \exists d \in D. H(a,d)$

Especially, how is the above different to

$ \exists d \in D. \forall a \in A. H(a,d)$

I've never seen this used in German lecture scripts.

  • 2
    $\begingroup$ I've seen used colons too. Often the separator is omitted when followed by another quantor. $\endgroup$
    – Bergi
    Commented Jun 28, 2016 at 6:40
  • 1
    $\begingroup$ The dots here just separate the $A$ and $D$ from the stuff after them. $\endgroup$ Commented Jun 28, 2016 at 9:03
  • 2
    $\begingroup$ It's used in place of parenthesis around the quantified formula. $$\forall a \in A (\exists d \in D (H(a, d)))\;\text{vs}\;\forall a \in A. \exists d \in D . H(a, d)$$ so the $.$ (or $:$ often) quantifies over everything to the right $\endgroup$
    – Bakuriu
    Commented Jun 28, 2016 at 9:48
  • 1
    $\begingroup$ Just delete the dots and you will be fine. $\endgroup$ Commented Jun 28, 2016 at 11:12

2 Answers 2


The dot just means "such that"; it's often omitted.

The difference between the two formulas is the difference between "everybody has a mother" and "there is somebody who is everybody's mother."

  • $\begingroup$ Thank you, and a comma means "such that", too? $\endgroup$ Commented Jun 27, 2016 at 22:37
  • 1
    $\begingroup$ @nxrd A comma where? If it's after a quantified statement, then probably. But, e.g., the comma in "$H(a,d)$" is just separating the arguments of the relation. $\endgroup$ Commented Jun 27, 2016 at 22:57
  • 1
    $\begingroup$ I've seen several notations used. The $.$ is particularly popular in logic involving the lambda calculus, which also uses it as a delimiter, e.g. $\lambda x \ldotp x$. $\endgroup$ Commented Jun 27, 2016 at 23:20
  • $\begingroup$ @David Richerby I mean something like $\forall n \in \mathbb{Z}, n \geq z \implies n^2 \geq 4$. I can read and understand that, but somewhere in my brain I am a bit confused by commas and dots $\endgroup$ Commented Jun 28, 2016 at 3:22
  • 2
    $\begingroup$ @nxrd There's nothing to be confused by. It's just punctuation to make things easier to read. It doesn't have any meaning. $\endgroup$ Commented Jun 28, 2016 at 7:16

Well, in $\forall x. P(x)$, the "such that" reading of the dot (or the space, if we don't like to write dots) doesn't make sense grammatically as it does for the existential. One could say, I suppose, "it holds that", or something like that.

  • 1
    $\begingroup$ Whoops, I meant this as a comment to David Richerby's answer, sorry... $\endgroup$
    – Basil
    Commented Jun 29, 2016 at 22:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.