existentiation
podstatné jméno
—
(Logique, Mathématiques) Substantivation du qualitatif existentiel.
⋄ Pour la logique du premier ordre, les matériaux de base sont les notions premières, ou prédicats fondamentaux, les objets de base, les opérateurs d’objet, les variables d’objet, et un petit nombre d’opérateurs logiques, les opérateurs booléens et les opérateurs de généralisation et d’existentiation.