查询词典 reflexive relation

If there is not reflexive dependent relation among the head literals of the all k free clauses occurred in the program, then the k—th limit is its supported model.

如果G中含k个自由子句，并且这k个子句头中出现的文字不含自反依赖关系，则它的k次极限就是其支持模型。

Based on English definition of the six properties which a relation R defined on a set A and utilizing the logical characteristic of implications, two aspects of ordered-pair and the matrix MR are considered, and the properties of the R is analyzed one by one. A few useful conclusions are summarized as determining the properey of the R. The following collections are also analyzed between reflexive and irreflexive, symmetric and antisymmetric, symmetric and asymmetric and among irreflexive, antisymmetric and asymmetric.

根据定义在一个集合A上的关系R的六个性质的英文定义，利用蕴含式的逻辑特点，从有序对和关系R的矩阵M两个角度对每个性质逐一进行分析，得出在判定关系R的性质时可用的结论，并且分析了自反性与非自反性之间、对称性与反对称性之间、对称性与非对称性之间、非自反性和反对称性以及非对称性之间的联系。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。