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