对一组换质位推理规则完备性和可靠性的证明

本文介绍了一组判定换质位推理是否正确的新规则,并对这一组规则的完备性和可靠性作了严格的证明。至此人们就可在实际推理中运用这一组规则来判定一个换质位推理是否正确。