بررسی کنید آیا عبارت زیر یک فرمول خوش‌ساخت است
∃x P(x)
بله، input (∃x P(x)) یک فرمول خوش‌ساخت در منطق مرتبه اول است. این به معنای "x وجود دارد به طوری که P(x) درست است" می‌باشد، که در آن P(x) یک گزاره یا ویژگی است که عنصر x باید آن را برآورده کند.