例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)