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.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Under the overall frame of reversible sentence, the paper focuses on the relative problems of subject-object reversible sentence of which predicate is verb-complement structure.
本文在现代汉语——可逆句式的总体框架之下，集中讨论述语为动补结构的主宾可逆句式的相关问题。
应用推荐