题目内容

我们希望一个个体变项在同一个公式中只以一种身份出现，应用下面（）规则可以做到这一点。

A. 约束变元的换名规则
B. 自由变元的代替规则
C. 约束变元的代替规则
D. 自由变元的换名规则

查看答案

搜索结果不匹配？点我反馈

更多问题

对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代替，则表示为： (∀x)(P(z)∧R(x,y))→(∃y)Q(y)。

A. 对
B. 错

We're responsible______ guiding you all to the hotel.

A. to
B. for
C. in
D. of

I heard there is a weight______ .

A. require
B. requirement
C. required
D. requiring

We are volunteers______ by the Executive Board （执委会）

A. send
B. sending
C. sent
D. to send