在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。
在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。
A.P可以从Q推出
B.Q可以从P推出
C.P不能从Q推出
D.Q不能从P推出
正确答案：P可以从Q推出；Q可以从P推出
- 上一篇：没有前提的一个证明表明它的结论是一条（）。
- 下一篇：一阶语言FOL有无穷多个变项。
在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。
A.P可以从Q推出
B.Q可以从P推出
C.P不能从Q推出
D.Q不能从P推出
正确答案：P可以从Q推出；Q可以从P推出