【问题】 置换可以简单的理解为在一个谓词公式中用项去替换变量,项一般用小写字母

置换可以简单的理解为在一个谓词公式中用项去替换变量,项一般用小写字母

A、正确

B、错误

正确答案:正确

题目解析:暂无解析,丰阳塔题库将尽快完善。