小米课
返回首页
可以把问题标题复制到上面进行搜索。

挑错

标题: 置换可以简单的理解为在一个谓词公式中用项去替换变量,项一般用小写字母
错误类型:
错误内容:
修正建议: