普遍例化（ふへんれいか、英:Universalinstantiation）は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。
在逻辑中，全称实例化或全称列举（UniversalInstantiation,简称UI,拉丁文中叫做"Dictumdeomni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。