📌  相关文章
📜  门| GATE-CS-2003 |第71章

📅  最后修改于: 2021-07-02 16:19:50             🧑  作者: Mango

考虑下面的逻辑程序P
A(x)<-B(x，y)，C(y)
<-B(x，x)
以下哪一个一阶句子等价于P?

GATECS2003Q71

(A) A
(B) B
(C) C
(D) D答案： (C)
解释：
这个问题的测验