首页
›
答案
›
题库
›
知到智慧树
›
未分类
在Fitch中,系统F的存在量词规则有()。
在Fitch中,系统F的存在量词规则有()。
A.存在量词引入规则
B.存在量词消去规则
C.存在量词规则
D.存在量化词规则
正确答案:存在量词引入规则;存在量词消去规则
标签:
量词
规则
系统
上一条:
在Fitch中,系统F的全称量词规则有()。
下一条:
一个好的策略是找到一个非形式的证明然后试着形式化它。