当前位置：首页 >
离散数学(02324) > 正文内容
在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____________规则。
在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____________规则。
(P38)全称指定,US
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。