单项选择题
A.问题归约B.谓词逻辑C.产生式D.语义网络
在谓词逻辑演算系统中，（）是全称量词。
A.AB.BC.CD.D
命题在谓词逻辑演算系统中，（）是条件联结词。
A.状态空间表示法B.命题逻辑表示法C.语义网络表示法D.框架表示法
微信扫一扫,加关注免费搜题
