一阶逻辑推理
First-order logical reasoning
以上为机器翻译结果，长、整句建议使用 人工翻译 。
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
youdao
应用推荐
模块上移
模块下移
不移动