推理规则有效性

[计] inference rule soundness

tuī lǐ guī zé yǒu xiào xìng ㄊㄨㄟ ㄌㄧˇ ㄍㄨㄟ ㄗㄜˊ ㄧㄡˇ ㄒㄧㄠˋ ㄒㄧㄥˋ