普遍化(generalization)是数理逻辑里一条极为常用的规则,直观来说,这条规则在满足一条件下,可以将原合式公式推广成被全称量化的版本。
在谓词演算里,若承认以下的量词公理模式:(以下的 在完全被约束,所以可以套用演绎定里,步骤(11)也是基于类似的理由。
普遍化(generalization)是数理逻辑里一条极为常用的规则,直观来说,这条规则在满足一条件下,可以将原合式公式推广成被全称量化的版本。
在谓词演算里,若承认以下的量词公理模式:(以下的 在完全被约束,所以可以套用演绎定里,步骤(11)也是基于类似的理由。