首页 > 离散数学(02324) > 题目详情

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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:50 浏览量: 4
在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____________规则。
【正确答案】：(P38)全称指定,US
← 返回分类 返回首页 →

相关题目

↑