普遍例化

普遍例化（ふへんれいか、英: Universal instantiation）は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。全称量化子による量化規則で一般に表されるが、公理としても記述できる。

この神経はここで途切れています。