زمانی میآیند ارزش درست و نادرست برای یک جمله میگذارند که معنادار، مشخص، و مفهوم باشد. شما اصلا فارسی را کنار بگذارید. من این عبارت را برایتان در زیر مینویسم.
$$++1=10>+5<><=+$$
آیا مینشینید برچسب «درست» و «نادرست» رویش میگذارید یا به من میگوئید اول برو یک نوشته، عبارت، فرمول، چیز مشخص بنویس بعد بیا از من بپرس آیا برقرار است یا خیر؟
پرسش شما ربطی به ترکیب عطفی ندارد. تنها چیزی که مشخص است این است که میخواهید در مورد چیزی که اطلاع ندارید یا جملهٔ همینطوری نوشته شدهٔ تصادفی نظر بدهید که کاری به منطق ریاضی ندارد. یا باید به متن پیش از جملهٔ مورد نظرتان توجه کنید یا از گوینده بپرسید منظورش چیست یا اینکه خیلی راحت برچسب درست و نادرستگذاشتن در مورد چیزی که اطلاعات کافی پیرامونش به شما داده نشده را کنار بیندازید.
فرض کنیم شما مطالب گفته شده در دین خاصی را حقیقت فرض کرده باشید و با فرض گزارههای آن دین میخواهید جملهٔ «خدا قدبلند است» را قضاوت کنید. و فرض کنید در این دینِ خاص خدا تعریف شده و صراحتا گفته شده که ویژگیِ «قد» برای مفهوم «خدا» تعریفشدنی نیست و قابل استفاده نیست. در این صورت «خدا قدبلند است» یک جملهٔ بیمعنا است و «گزاره» شمرده نمیشود! گزاره چیزی است که یک معنا، یک خبر (آگاهی) را میرساند! پس اصلا بحث برقرار بودن و نبودنش در کار نیست. مثل اینکه شما بخواهید «۵ سانتیمتر سنگین است» را قضاوت کنید! بیمعناست! پس گزاره نیست! یک گزاره میتواند اینطور باشد «۵ سانتیمتر مکعب آهن سنگین است که منظور از سنگین از این دید است که یک مرد ۱۸ ساله نمیتواند آن را از زمین بلند کند» که خب دارای ارزش نادرست است.
اینطوری نگاه کنید که یک تابع دارید که بردش مجموعهٔ دوعضویِ درست و نادرست است. این تابع به هر ورودیاش یکی از این دو را نسبت میدهد. اما ورودیها چه هستند؟ همدامنهٔ تابع را دقیق میشناسید ولی دامنه را از یاد بردهاید! دامنهٔ این تابع هر چیزی که بر روی کاغذ بنویسید هست؟ هر چیزی که بتوان به زبان فارسی تلفظ کرد هست؟ هر چیزی در دنیا هست؟ آیا مثلا رایانهای که با آن این پاسخ را تایپ میکنم هم عضو مجموعهٔ دامنهٔ این تابع است و باید انتظار داشته باشم رایانهام درست یا نادرست باشد؟ پس خواستان باشد که قرار نیست به هر چیزی که میبینید یا میشنوید برچسب درست و نادرست بزنید. حالا اگر میخواهید جملهها یا گزارههای بیمعنا را هم به دامنه بیفزائید پس یک تابع جدید در حال تعریف هستید، میتوانید برای نمونه همدامنه را به مجموعهٔ سهعضوی درست و نادرست و بیمعنا تعمیم دهید. ولی حتی با انجام این کار دامنهتان همه چیز نمیشود! صرفا بزرگتر میشود.