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.

没有正确的解决方案

许可以下: CC-BY-SA归因
不隶属于 cs.stackexchange
scroll top