普遍化
維基百科,自由的
encyclopedia
普遍化(
generalization
)是
數理邏輯
裡一條極為常用的規則,直觀來說,這條規則在滿足一條件下,可以將原
合式公式
推廣成被
全稱量化
的版本。