置换是一个形如{ t1/x1, t2/x2, …, tn/xn }的有限集合:其中ti是项,可以是

发布于 2021-02-24 19:59:07
【多选题】
A 常量
B 变量
C 函数
D 谓词

查看更多

关注者
0
被浏览
20
  • 体验AI问答!更聪明、超智能!
  • 一款基于GPT的超级AI助手,可以对话、创作、写文案!
1 个回答

撰写答案

请登录后再发布答案,点击登录

发布
问题

手机
浏览

扫码手机浏览

分享
好友

在线
客服