Logical frame method is to test project effect and function through vertically logical relations and to appraise the resources and the achievement through horizontally logical relations.
逻辑框架法是通过垂直逻辑关系检验项目的效果和作用，通过水平逻辑关系对资源和成果进行说明和评价。
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.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
应用推荐