हाँ, इनपुट ( ⁇ x P(x)) प्रथम-क्रम तर्क में एक अच्छी तरह से बनाया गया सूत्र है। यह इस तरह पढ़ता है "एक x ऐसा मौजूद है कि P(x) सत्य है", जहां P(x) एक कथन या एक गुण है जिसे तत्व x को संतुष्ट करना चाहिए।
<unk>x P(x)
जांचें कि क्या निम्नलिखित वाक्यांश एक अच्छी तरह से बनाया गया सूत्र है