论文标题
将条件语句转换为数学逻辑
On translating conditional statements into mathematical logic
论文作者
论文摘要
在本文中，我们重点介绍了数学逻辑和自然语言中有条件陈述之间的深刻差异。即使在数学定理中使用条件语句，也存在这种差异。
In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.
