[名词解释]

推理规则的正确性和完备性

参考答案与解析：