首页
›
答案
›
题库
›
知到智慧树
›
未分类
在Fitch中,等值引入规则要求给出两个子证明,它们表明()。
在Fitch中,等值引入规则要求给出两个子证明,它们表明()。
A.P可以从Q推出
B.Q可以从P推出
C.P不能从Q推出
D.Q不能从P推出
正确答案:P可以从Q推出;Q可以从P推出
标签:
个子
规则
上一条:
没有前提的一个证明表明它的结论是一条()。
下一条:
一阶语言FOL有无穷多个变项。