单项选择题
将命题“存在最小的自然数”符号化，需使用（）。
A.全称和唯一量词B.只有存在量词C.只有全称量词D.全称和存在量词
单项选择题 谓词逻辑中使用的逻辑连接符包括（）。
多项选择题 实现一个具体的智能体的方式主要包括（）。
多项选择题 模式匹配时需进行变量的（）。
