所介绍的五个联结词及其与自然用语的联系和区别，为自然语句的形式化作了准备。一些推理问题的描述，常是以自然语句来表示的，需首先把自然语句形式化成逻辑语言，即以符号表示的逻辑公式，然后根据逻辑演算规律进行推理演算。这一节讨论自然语句的形式化。