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

📅  最后修改于: 2021-09-26 03:51:56             🧑  作者: Mango

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

GATECS2003Q71

(一) A
(乙)乙
(C)丙
(四)丁答案： (C)
解释：
这个问题的测验