若 x ∈ R y ∈ R 则-X题卡

若 X→→Y，则 X→→Z 若 X→→Y，则 X→Y 设 XY W U，若 X→→Y 在 R(W)上成立，则 X→→Y 在 R(U)上成立若 X→→Y 在 R(U)上成立，且 Y’ Y，则 X→→Y’在 R(U)上成立

在BCNF中不管Y是主属性还是非主属性，只要X不包含码，就不允许有x→Y这样的非平凡函数依赖若R∈BCNF，则必然R∈3NF 若R∈2NF，则必然R∈3NF 若R∈BCNF，则必然R∈2NF

綈p：∃x∈R.，sinx>1 綈p：∀x∈R.，sinx>1 綈p：∃x∈R.，sinx≥1 綈p：∀x∈R.，sinx≥1

若 X→→Y，则 X→→Z 若 X→→Y，则 X→Y 设 XY W U，若 X→→Y 在 R(W)上成立，则 X→→Y 在 R(U)上成立若 X→→Y 在 R(U)上成立，且 Y’ Y，则 X→→Y’在 R(U)上成立

若X→→Y在R(上成立时，X→→Y在R(上也成立若X→→Y在R(上成立时，X→→Y在R(上也成立若X→Y在R(上成立时，X→Y在R(上也成立若X→Y在R(上成立时，X→Y在R(上也成立

①② ②③ ①③ ①②③

设XYWU，若X→→Y在R(W)上成立，则X→→Y在R(U)上成立若X→→Y在R(U)上成立，且YY，则X→→Y在R(U)上成立若X→→Y,则X→→Z 若X→→X，则X→N

若X→→Y，则X→→Z 若X→→Y，则X→Y 设XY[*]W[*]U，若X→→Y在R(上成立，则X→→Y在R(上成立若X→→Y在R(上成立，且Y'[*]Y，则X→→Y'在R(上成立

若X→r，Y→Z，则X→Z 若X→Y X→Z，则X→YZ 若X→Z，则XY→Z 若XY→Z，则X→Z，Y→Z

若x，y∈R且x²+y²≠0，则x，y全不为0 若x，y∈R且x²+y²≠0，则x，y不全为0 若x，y∈R且x，y全为0，则x²+y²=0 若x，y∈R且xy≠0，则x²+y²≠0

设XYWU，若X→→Y在R(W)上成立，则X→→Y在R(U)上成立若X→→Y在R(U)上成立，且Y'Y，则X→→Y'在R(U)上成立若X→→Y，则X→→Z 若X→→Y，则X→Y

①②　　　　　　　　　 ②③ ①③ ①②③

①② ②③ ①③ ①②③

|x∈R |0|x∈R |0≤x<2| |x∈R |0|x∈R |0≤x≤2|

若p：∃x∈R.，x²－x＋1＝0，则¬p：∀x∈R.，x²－x＋1≠0 “sinθ＝”是“θ＝30°”的充分不必要条件命题“若a＝0，则ab＝0”的否命题是“若a≠0，则ab≠0” 已知p：∃x∈R.，cosx＝1，q：∀x∈R.，x²－x＋1>0，则“p∧（¬q）”为假命题

若命题p：∃x∈R.，x²﹣x+1=0，则￢p：∀x∈R.，x²﹣x+1≠0 “sinθ=”是“θ=30°”的充分不必要条件命题“若a=0，则ab=0”的否命题是：“若a≠0，则ab≠0” 已知p：∃x∈R.，cosx=1，q：∀x∈R.，x²﹣x+1＞0，则“p∧￢q”为假命题

若 x ∈ R ， y ∈ R ，则（）