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