名词
中文翻译：正式推断
同义词：
['formalreasoning', 'formal deduction']
例句：
-
1. In formal inference, we uselogical rules to make conclusions about theworld.
在形式推理中，我们使用逻辑规则来对世界做出结论。
-
2. The scientist usedformal inference to explain the cause ofthe disease.
科学家使用形式推理来解释疾病的起因。
-
3. The teacher used formal inference to helpthe students understand the concept of probability.
老师使用形式推理帮助学生理解概率的概念。