روی این تست بی زحمت توضیح بدید تا ملموس‌تر بشه.
جواب تست گزینه۱است.

شاید برای ین باشه که x تعریف نشده. توی تمام عبارات اگه هرطرف شرط از متغیر استفاده میشد حتماً میگفت به ازای همه مقادیره یا مقدار وجودیه.

چون گزینه های ۲ تا ۴ به صورت منطق مرتبه اول بیان شده اند و در آنها مقدار x و y مشخص هست ولی در گزینه ۱ برای بیان تعداد و مقدار x هیچ سوری به کار نرفته و مشخص نیست که منظور چه تعداد X هست؟ یعنی مشخص نیست همه x‌ها هستند یا بعضی xها یا فقط یک x یا هیچ کدام از xها

توضیحات قانع کننده بود در مورد تست ولی هنوز محمولات مرتبه اول برام روشن نشده.

مفهوم کلمه محمولات رو که آقای mfxpertگفتند