形式化过程。先要引入一些命题符号P、Q、…用来表示自然语句中所出现的简单命题，进而依自然语句通过联结词将这些命题符号联结起来，以形成表示自然语句的合式公式。这个过程要注意自然语句中某些联结词的逻辑含义。