گزاره

کاربرد گزاره «کشور درحال‌توسعه» را برای همه کشورهای کمتر توسعه‌یافته، نمی‌توان مناسب دانست؛ زیرا برخی کشورهای فقیر در حال بهبود اوضاع اقتصادی خود نیستند. همان‌طور که گزاره «فقیر» ذکر می‌کند. بلکه دوره‌های طولانی را از افول اقتصادی تجربه نموده‌اند.

دل دور از آن فرگاه مرغی گم کرده آشیان است و تن در طوفان سرشک گسسته لنگر کشتی بی بادبان، رهی را اگر آگهی بود که رنج جدائی و شکنج تنهایی بدین دست کارگر است و جان شکر چار اسبه پیاده از پی تاختمی. امید گاهی آقا سید جعفر گستاخی می ورزد که خرمای نیازی را برادر مهربان آقا حسین بی کم و کاست باز سپرد کام جان شیرین و سپاس راه آورد سرکاری انجام یافت. پنج ابره چادری کار جندق که همراه بار خرمائی فرستاده اند، سه را من برداشتم و به دو به ایشان واگذار افتاد. شره بر آنش داشته که یکی سه هزار از من یک لا پیرهن بستاند و مرا اندیشه آنکه بر این استخوانش باز دهم نیش و اگر به دندانم پوست بر تن و جامه بر اندام پاره کند، دو هزار بیش ندهم. از این رهگذر میانه من و ایشان رزم و ستیز است و ناورد ایران و انگریز، پس از این گیرودارها و گفت و گزارها پیمان بر آن رفت که داوری به سر کار آریم و از آن سرور چاره کار جوئیم. هر چه از آن فرگاه فرمان رسد بی چون و چند و کوب و کند کاربند آئیم و سپاس اندیش پاک خداوند.

به هر بلد به هر مکان به هر زمین به هر زمان کنند مدح او به جان به طرز حق‌گزارها

مخفف "تک‌شاخ‌ها وجود دارند". ما با این فرض شروع می‌کنیم که (1) همۀ لیموها زرد هستند و (2) همۀ لیموها زرد نیستند. از این گزاره که "همۀ لیموها زرد هستند" استنباط می‌کنیم که (3) یا "همۀ لیموها زرد هستند" یا "تک‌شاخ‌ها وجود دارند". اما پس از این و این واقعیت که "همۀ لیموها زرد نیستند"، استنباط می‌کنیم که (4) تک‌شاخ‌ها وجود دارند.

علاوه بر ظرافت کمتر، هر بار که بازی‌های المپیک تابستانی جدید برگزار می‌شود، اثبات با بررسی حالت‌ها نیز به یک حالت اضافی نیاز دارد اما استقرای ریاضی، این گزاره را در حالت کلی ثابت می‌کند.

هر دو جمله بالا گزاره اند زیرا خبری منتقل می‌کنند ولیکن ارزش گزاره اول درست و دومی نادرست است.

اصل، گزاره‌ای است که نیازی به اثبات ندارد یا اثبات نمی‌شود. اصول، مباحث اولیه مورد بررسی فلاسفه ریاضی بوده‌اند. امروزه، توجه بیشتر بر تمرین و تکنیک‌های قابل قبول است.

از آنجا که ضد وابستگی شکسته شد، می‌توان ادعا کرد که ضد وابستگی بین گزاره‌ها وجود ندارد.