推理规则的正确性和完备性
出自:计算机科学