بررسی کنید که آیا عبارت زیر یک فرمول به خوبی شکل گرفته است
[{"input": "x P(x)", "output": "بله، ورودی (x P(x)) یک فرمول خوب شکل گرفته در منطق درجه یک است. این به این صورت خوانده می شود که \"یک x وجود دارد که P(x) درست است\"، جایی که P(x) یک پیشگو یا یک خاصیت است که عنصر x باید برآورده شود."}]