例题在论域分别限制为(a)和(b)条件时，将下面两个命题形式化：
（1） 凡人都呼吸。
（2） 有的人用左手写字。
解：（a）令F(x)：x呼吸。G(x)：x用左手写字。
（1） 在D1中除人外，再无别的东西，因而凡人都呼吸应形式化为
xF(x)（2） 在D1中的有些个体（人）用左手写字，因而"有的人用左手写字" 形式化为
xG(x)（b）D2中除有人外，还有万物，因而在（1）、（2）形式化时，必须考虑将人先分离出来。令M(x)：x是人。在D2中，（1）、（2）可以分别重述如下：
（1） 对于宇宙间一切事物而言，如果事物是人，则他要呼吸。
（2） 在宇宙间存在着用左手写字的人。
于是（1）、（2）的形式化形式应分别为
x(G(x)→F(x))和
x(M(x)∧G(x))其中F(x)与G(x)的含义同（a）中。
由上例可知，命题（1）、（2）在不同的论域D1和D2中形式化的形式不一样，主要区别在于，在使用论域D2时，要将人从其它事物中区别出来，为此引进了谓词M(x)，像这样的谓词称为特性谓词。在命题形式化时一定要正确使用特性谓词。