Notation logique de prédicat: que signifie un «point»?
-
04-11-2019 - |
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