Question

Que signifie un point (.) Dans les prédicats?

$ forall a in a. existe d in d. h (a, d) $

Surtout, en quoi ce qui précède est différent de

$ existe d in D. forall a in A. h (a, d) $

Je n'ai jamais vu cela utilisé dans les scripts de conférence allemands.

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top