A这里c是定义域中的一个对象Bc必须是个体常项Cc是Tarski’sWorld模块语言中的个体常项Dc是Tarski’sWorld模块语言中的个体变项