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

Semantically, the logical relation and the semantic interaction between the subject and the predicate of a nominal sentence appear in form of "Class", which serve...

从语义角度说，体谓句中主谓两部分的逻辑关系、语义制约，以类的形式出现，是句子赖以存在的基础。

youdao

The so-called meaning is restricted by the gene of the so-called, which can be divided into four parts and understood in predicate logical radicals.

所谓的意义受所谓基因的制约，所谓的基因就是交织在它本身内的几个构字部件。

youdao