置换可以简单的理解为在一个谓词公式中用项去替换变量 项一般用小写字母a b c s t来表示 变量一
已帮助 人
置换可以简单的理解为在一个谓词公式中用项去替换变量，项一般用小写字母a、b、c、s、t来表示，变量一般用小写字母x、y、z来表示，置换一般用希腊字母θ、α、 λ等来表示。
回答
共1条回复-
正确