首页
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
精华吧
→
答案
→
知到智慧树
→
未分类
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
A.对
B.错
正确答案：对
Tag：
逻辑
个体
对象
时间：2024-01-14 16:01:34
上一篇：
Boole与Fitch相同，也有一个自带的练习文件夹。（）
下一篇：
一个个体常项不能命名多个对象。
相关答案
1.
创建一个新的真值表的步骤有（）。
2.
建立参照列的方法有（）。
3.
在Boole中，Help菜单可以使你在使用Boole时获得帮助，还可以（）。
4.
在Boole中，验证一个真值表包含：（）。
5.
在Boole中，创建一个新的真值表有：（）。
6.
在Boole中，创建参考列，最好让Boole帮你完成。
7.
在Boole中，要保存一份已完成的真值表，用Save As命令最安全。
8.
要打开Boole，点击文件Boole.exe。
9.
Fitch与Tarski’s World不同，它没有自带的练习文件夹。
10.
在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（）
热门答案
1.
Fitch中的联结词规则分为（）。
2.
Fitch中证明窗口的语句可以粘贴到（）中。
3.
在Fitch的Proof菜单中，Collapse Subproof命令表示（）。
4.
表示焦点滑块的符号是（）。
5.
在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。
6.
在Fitch中，要保存一份已完成的证明，用Save As命令。
7.
在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
8.
要打开Fitch，点击文件Fitch.exe.A.对
9.
Tarski’s World不允许给一个模块命名多个名字。
10.
在Tarski’s World中，一个模块的名字可以有（）。