1) implication operation
蕴含运算
1.
The introduced query set was simple,which makes the construction of query with universal quantifier or implication operation not only simplified but also understood more easily.
针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理。
2) conditional implication operation
条件蕴含运算
3) implication operator
蕴含算子
4) R implication operator
R蕴含算子
5) parameterized-implication operator
含参量蕴涵算子
6) the generalization implication operator
一般蕴含算子
1.
In this paper,the classical implication operator was generalized,then the generalization implication operator definition on was provided.
先将经典蕴含算子泛化后得到[0,1]集上一般蕴含算子的定义,然后将α-三I算法推广到一般蕴含算子上。
补充资料：不定积分的运算法则
又称为“不定积分的性质”，包含如下两个性质：
（1）设函数f(x)的原函数存在，k是常数，k≠0，则
∫kf(x)dx=k∫f(x)dx
（2）设f(x),g(x)是两个可积分的函数，则
∫[f(x)+g(x)]dx=∫f(x)dx+∫g(x)dx
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条