置换可以简单的理解为在一个谓词公式中用项去替换变量，项一般用小写字母a、b、c、s、t来表示，变量一般用小写字母x、y、z来表示，置换一般用希腊字母θ、α、λ等来表示。
置换可以简单的理解为在一个谓词公式中用项去替换变量，项一般用小写字母a、b、c、s、t来表示，变量一般用小写字母x、y、z来表示，置换一般用希腊字母θ、α、λ等来表示。
A.正确
B.错误
正确答案：正确
Tag：用Python学人工智能 变量 用项
时间：2022-03-06 20:45:17