Вопрос

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