单项选择题
下列()解释了什么是Skolem范式。
A.含有量词的合取范式。
B.含有存在量词的析取范式。
C.不含有存在量词的合取范式或析取范式。
D.不含有全称量词的合取范式或析取范式。
点击查看答案&解析

单项选择题
A.含有量词的合取范式。
B.含有存在量词的析取范式。
C.不含有存在量词的合取范式或析取范式。
D.不含有全称量词的合取范式或析取范式。
微信扫一扫,加关注免费搜题