1) relations theorem
重言式关系定理
2) Indication Theorem of Generalized Tautology
重言式表示定理
3) Relation theorem
关系定理
1.
The relation theorem of two-varibles function one direction S-rough sets with one-variables function one direction S-rough sets and one direction S-rough sets are put forward.
提出了二元函数单向S-粗集与一元函数单向S-粗集、单向S-粗集的关系定理,二元函数单向S-粗集与二元函数粗集的关系定理。
2.
The relation theorem of function S rough sets and S rough sets is also presented.
提出了函数S 粗集与S 粗集的关系定理 。
4) reconstruction of relationship theory
关系理论的重构
5) subject-predicate infinitive
主谓关系不定式
6) verb object Infinitive
动宾关系不定式
补充资料:重言式
重言式
tautology
重言式[tautd优毖:T,To二or“,] 一个真假值(truth vai优)恒为真的命题演算公式,它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA,AV门A,(A二B)。(门B,二A). 一般地,通过验证所有命题变元真假值的有限个组合,就可以判定一个命题演算的公式是不是重言式.B.H.rp,。,H撰
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条