翻译推理常用公式

1