| French |
| has gloss | fra: En logique, linstanciation universelle (également appelée Dictum de omni) est une règle dinférence qui permet, à partir dune vérité sur lensemble des membres dune classe dentités, dinférer une vérité sur une entité particulière de cette classe. Elle est généralement considérée comme une règle de quantification pour le quantificateur universel, mais elle peut également être énoncée en tant quaxiome. Cest lun des principes de bases de la théorie de la quantification. |
| lexicalization | fra: instanciation universelle |
| Japanese |
| has gloss | jpn: 普遍例化（ふへんれいか、）は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。全称量化子による量化規則で一般に表されるが、公理としても記述できる。これは、一階述語論理で使われる基本原則の1つである。 |
| lexicalization | jpn: 普遍例化 |
| Dutch |
| has gloss | nld: In de predicatenlogica is universele instantiatie (UI) een afleidingsregel die uit een algemene propositie over alle objecten in een bepaald domein een propositie afleidt voor een specifiek object uit dat domein. Deze propositie maakt gebruik van de universele kwantor. Formeel verloopt universele instantiatie als volgt: |
| lexicalization | nld: universele instantiatie |
| Chinese |
| has gloss | zho: 在逻辑中，全称实例化（UI,也叫做"Dictum de omni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。 |
| lexicalization | zho: 全称实例化 |