普遍化
维基百科,自由的
encyclopedia
普遍化(
generalization
)是
数理逻辑
里一条极为常用的规则,直观来说,这条规则在满足一条件下,可以将原
合式公式
推广成被
全称量化
的版本。