谓词逻辑语言 predicate logic language
逻辑谓语 logical predicate
谓语逻辑
Predicate logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
没有人找他咨询过如何改善本地环境。（补充出谓语动词的逻辑主语，原文主语变宾语）
He has not been consulted on how to improve the local environment.
youdao
应用推荐
模块上移
模块下移
不移动