قضیه حملی: قضیهای است که در آن حکمی درباره رابطهی میان دو چیز داریم (مثلاً الف ب است).
قضیه شرطی متصل: بیانگر وجود رابطه تلازم بین دو رویداد است (اگر الف باشد، ب هست).
قضیه شرطی منفصل: بیانگر وجود رابطه انفصال یا جدایی بین دو رویداد است (یا الف است یا ب).
در ادامه ۵ مثال برای هر کدام آورده شده است:
۱. قضایای حملی
در این قضایا یک محمول به موضوع نسبت داده میشود:
جیوه فلز است.
هوا برای تنفس ضروری است.
بعضی انسانها هنرمند هستند.
کوه دماوند بلندترین قله ایران است.
عدالت فضیلتی اخلاقی است.
۲. قضایای شرطی متصل
در این قضایا وقوع یک رویداد، شرطِ وقوع رویداد دیگر است:
اگر باران ببارد، زمین خیس میشود.
اگر تلاش کنی، موفق میشوی.
اگر چراغ راهنمایی قرمز باشد، اتومبیلها توقف میکنند.
اگر خورشید طلوع کند، روز آغاز میشود.
اگر به حرفهایت عمل نکنی، اعتماد دیگران را از دست میدهی.
۳. قضایای شرطی منفصل
در این قضایا حکم به دوگانگی یا جدایی میان دو پدیده است:
عدد یا زوج است یا فرد.
این هوا یا ابری است یا آفتابی.
شخص یا در خانه است یا در محل کار.
یا باید درس بخوانی یا باید در آزمون شکست بخوری. (در صورتی که راه سومی نباشد)
جسم یا متحرک است یا ساکن.