推理规则完备性

[计] inference rule completeness

tuī lǐ guī zé wán bèi xìng ㄊㄨㄟ ㄌㄧˇ ㄍㄨㄟ ㄗㄜˊ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ