短語(yǔ)詞組短語(yǔ)formal chemical structure deduction 形式推導(dǎo)fuzzy formal deduction 模糊形式推理 返回 formal deduction