1、
A、对
B、错
2、
A、对
B、错
3、
A、对
B、错
4、
A、对
B、错
5、
A、这里c是定义域中的一个对象
B、c必须是个体常项
C、c是Tarski’s World 模块语言中的个体常项
D、 c是Tarski’s World 模块语言中的个体变项
6、
A、c是Tarski’s World 模块语言中的个体常项
B、这里c是定义域中的一个对象
C、c必须是个体常项
D、 c是Tarski’s World 模块语言中的个体变项
7、
A、
B、
C、
D、
8、
A、
B、
C、
D、
9、在Fitch中，系统F的存在量词规则有（ ）。
A、存在量词引入规则
B、存在量词消去规则
C、存在量词规则
D、存在量词化规则
10、在Fitch中，系统F的全称量词规则有（ ）。
A、全称量词引入规则
B、全称量词规则
C、全称量词消去规则
D、全称量词化规则
