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

正确答案：正确性，完备性