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