全称实例化- 维基百科，自由的百科全书

在逻辑中，全称实例化（UI,也叫做"Dictum de omni"）是从关于一类个体的每个成员的 真理到关于这个类的特定个体的真理的 ...

zh.wikipedia.org