使用计算机来处理由自然语句或非形式化陈述的问题,首要的是工作是问题本身的形式描述。
  命题逻辑的表达问题的能力,仅限于联结词的使用。而谓词逻辑由于变元、谓词、量词和函数的引入具有强得多的表达问题的能力,已成为描述计算机所处理的知识的有力工具。人工智能学科将谓词逻辑看作是一种基本的知识表示方法和推理方法。
  使用谓词逻辑描述以自然语句表达的问题,首先要将问题分解成一些原子谓词,引入谓词符号,进而使用量词、函数、联结词来构成合式公式。这种形式描述是进而作推理的先决条件,所以从实用角度显得十分重要。

一、"所有的有理数都是实数"的形式化

  所有的有理数都是实数,其意思是说,对任一事物而言,如果它是有理数,那么它是实数。即对任一x而言,如果x是有理数,那么x是实数。若以P(x)表示x是有理数,Q(x)表示x是实数,这句话的形式描述应为
  (x)(P(x)→Q(x))
  因为x的论域是一切事物的集合, 所以x是有理数是一个条件。
  需注意的是这句话不能形式化为
  (x)(P(x)∧Q(x))
  这公式的意思是说, 对所有的x, x是有理数而且又是实数.
  "所有的…都是…",这类语句的形式描述只能使用"→"而不能使用"∧"。