第十五章单元测试
  1. image.png


  2. A:对 B:错
    答案:对
  3. image.png


  4. A:错 B:对
  5. image.png


  6. A:对 B:错
  7. image.png


  8. A:错 B:对
  9. image.png


  10. A:

     c是Tarski’s World 模块语言中的个体变项


    B:c是Tarski’s World 模块语言中的个体常项 C:这里c是定义域中的一个对象 D:c必须是个体常项
  11. image.png


  12. A:c是Tarski’s World 模块语言中的个体常项 B:c必须是个体常项 C:这里c是定义域中的一个对象 D:

    c是Tarski’s World 模块语言中的个体变项


  13. image.png


  14. A:image.png B:image.png C:image.png D:image.png
  15. image.png


  16. A:image.png B:image.png C:image.png D:image.png
  17. 在Fitch中,系统F的存在量词规则有( )。



  18. A:存在量词引入规则 B:存在量词消去规则 C:存在量词化规则


    D:存在量词规则
  19.  在Fitch中,系统F的全称量词规则有( )。



  20. A:全称量词规则 B:全称量词消去规则 C:全称量词引入规则 D:全称量词化规则


温馨提示支付 ¥3.00 元后可查看付费内容,请先翻页预览!
点赞(1) dxwkbang
返回
顶部