普遍化

普遍化 （ generalization ） 是數理邏輯裏一條極爲常用的規則 ， 直觀來說 ， 這條規則在滿足一條件下 ， 可以將原合式公式推廣成被全稱量化的版本 。