从已知的函数依赖集使用推理规则导出的函数依赖在F +中”，是推理规则的（）性，而“不能从已知的函数依赖使用推理规则导出的函数依赖不在F +中”，是推理规则的 （）性。

从已知的函数依赖集使用推理规则导出的函数依赖在F +中”，是推理规则的（）性，而“不能从已知的函数依赖使用推理规则导出的函数依赖不在F +中”，是推理规则的 （）性。
正确答案：正确性，完备性