第十五章单元测试
在Fitch中,系统F的存在量词规则有( )。
在Fitch中,系统F的全称量词规则有( )。
A:对 B:错
答案:对
A:错 B:对
A:对 B:错
A:错 B:对
A:
c是Tarski’s World 模块语言中的个体变项
A:c是Tarski’s World 模块语言中的个体常项 B:c必须是个体常项 C:这里c是定义域中的一个对象 D:
c是Tarski’s World 模块语言中的个体变项
A: B: C: D:
A: B: C: D:
A:存在量词引入规则 B:存在量词消去规则 C:存在量词化规则
A:全称量词规则 B:全称量词消去规则 C:全称量词引入规则 D:全称量词化规则
温馨提示支付 ¥3.00 元后可查看付费内容,请先翻页预览!