Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,则XZ→YZ为F所逻辑蕴含。这
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
增广律
Armstrong公理系统包括3条推理规则：
奇函数f(x)在区间[1,2]上是减函数,且有最大值为3,那么f(x)在区间[-2,-1]有最值, 数学 2020-05-13 …
一道数学函数题已知f(x)=a-2/(2^x+1)(x∈R)为奇函数(1)求证:f(x)为R上的增 数学 2020-05-17 …
定义在R上的函数f(x)满足：如果对任意x1,x2∈R,都有f[(x1+x2)/2]≤1/2[f( 数学 2020-07-14 …
指数函数1.定义在R上的函数f(x)满足f(x).f(y)=f(x+y),且x大于0时,f(x)大 数学 2020-07-22 …
如果对任意x1,x2∈R,都有f[(x1+x2)/2]≤1/2[f(x1)+f(x2),则称函数f 数学 2020-07-29 …
求拯救.设有单位元的集合R,证明若f(x)为R[x]（一元多项式）的幂零元当且仅当f(x)的系数都 数学 2020-08-02 …
f(x)=e^x/(1+ax^2),a为正实数f(x)为R上的单调函数,求a的取值范围.我看了f( 数学 2020-08-02 …
已知R={A,B,C,D},F={AB→C,C→A,C→D},确定R的候选码和主码。下面是老师给出的 其他 2020-11-02 …
一道函数题.若f(x)为R奇函数且在（0.+无穷大）内是增函数,又f(3)=0,则x*f(x)小于0 数学 2020-12-08 …
已知函数F(X)=X2+aX+b(a,b为R),A={X|X=F(X),X为R},B={X|X=F[ 数学 2020-12-08 …