Two graphical methods used in first-order predicatelogical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
2
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...
从语义角度说，体谓句中主谓两部分的逻辑关系、语义制约，以类的形式出现，是句子赖以存在的基础。
3
The so-called meaning is restricted by the gene of the so-called, which can be divided into four parts and understood in predicatelogical radicals.