例1
  所有的整数都是有理数, 所有的有理数都是实数, 所以所有的整数都是实数。
  引入谓词将这三句话形式化, 可得如下推理形式:
   (x)(P(x)→Q(x))∧(x)(Q(x)→R(x))→(x)(P(x)→R(x))
 例2
  所有的人都是要死的, 孔子是人, 所以孔子是要死的。
  引入谓词将这三句话形式化, 可得如下推理形式:
  (x)(A(x)→B(x))∧A(孔子)→B(孔子)
 例3
  有一个又高又胖的人, 必有一个高个子而且有一个胖子。
  引入谓词将这两句话形式化,可得如下推理形式:
   (x)(C(x)∧D(x))→(x)C(x)∧(x)D(x) 。
 例4
  
若某一个体a具有性质E, 那么所有的个体x都具有性质E。
  这两句话形式化,可得如下推理形式:
   E(a)→(x)E(x)