1) The change of fact
事实改变
3) fact transition
事实变迁
1.
The binary tree describing first-order predicate expression is given,furthermore the method which recursively constructs ‘fact transition’ of predicate/transion system for first-order predicate expression using recursive property of binary t.
给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。
6) Lie can never change fact.
诺言难改事实。
补充资料：事实
1.亦作"事寔"。 2.事情的实际情况;实有的事情。 3.干实事。 4.事迹。 5.故实，典故。 6.指事物发展的最后结果。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条