这个简单啊.从t[YZ]≠s[YZ]可知t[Y]≠s[Y]或t[Z]≠s[Z].这句话的意思是假设两个不等,不等的情况有两种,要么t[Y]≠s[Y],这个根据函数依赖f|x->Y,不成立.（这条是定义）；或者t[Z]≠s[Z],这个是是假设条件,也不成立,所以反证法得出结论,命题成立.
自考数据库系统原理学习中,t[XZ] = s[XZ] 的含义,
这个简单啊.从t[YZ]≠s[YZ]可知t[Y]≠s[Y]或t[Z]≠s[Z].这句话的意思是假设两个不等,不等的情况有两种,要么t[Y]≠s[Y],这个根据函数依赖f|x->Y,不成立.（这条是定义）；或者t[Z]≠s[Z],这个是是假设条件,也不成立,所以反证法得出结论,命题成立.