在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____

在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____________规则。
【正确答案】：(P38)全称指定,US