En logique, L`instanciation universelle (également appelée Dictum de omni) 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. Elle est généralement consid?...