公式(x)P(x)的一个解释： 　　I:P(1) = T, P(2) = F 　　在这解释下，(x)P(x) = F 。 　公式(x)(y)P(x, y)的一个解释： 　　I:P(1, 1) = T, P(1, 2) = F, 　　P(2, 1) = F, P(2, 2) = T 　　在这解释下, (x)(y)P(x, y) = T。因为对x = 1有P(1, 1) = T, 对x = 2有P(2, 2) = T。 　公式(x)(P(x)→Q(f(x), a))的一个解释： 　　I:f(1) =2, f(2) = 1, a = 1 　　P(1) = F, P(2) = T 　　Q(1, 1) = T, Q(1, 2) = T, Q(2, 1) = F, Q(2, 2) = T 　　在这解释下， (x)(P(x)→Q(f(x), a))= T 。 因为 　　x = 1时， P(1)→Q(f(1), 1) = T 　　x=2时， P(2)→Q(f(2), 1) = T 　　不难看出，在一般的论域D上，一个谓词公式解释的个数是无限的，而且每个解释本身需设定的内容也可理解为是无限的，包括对P(1), P(2), …, f(1), f(2), …的设定。