bn:00788747n
Noun Concept
Categories: Logique
FR
instanciation universelle  Dictum de omni  Instantiation universelle  substitution uniforme
FR
En logique, l'instanciation universelle est une règle d'inférence qui permet, à partir d'une vérité sur l'ensemble des membres d'une classe d'entités, d'inférer une vérité sur une entité particulière de cette classe. Wikipedia
Definitions
Relations
Sources
FR
En logique, l'instanciation universelle est une règle d'inférence qui permet, à partir d'une vérité sur l'ensemble des membres d'une classe d'entités, d'inférer une vérité sur une entité particulière de cette classe. Wikipedia