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


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

A、正确

B、错误

正确答案:正确


Tag:用项 谓词 变量 时间:2023-10-06 15:55:43