考试
1970-01-01 08:00:00

我们希望一个个体变元在同一个公式中只以一种身份出现,应用下面

题目描述

我们希望一个个体变元在同一个公式中只以一种身份出现,应用下面()规则可以做到这一点

答案解析

自由变元的代入规则约束变元的换名规则

加载中...
AI正在思考中,请稍候...