هر دو همزمان نمی توانند صادق یا کاذب باشند.( انفصال تام و حقیقی)
در صدق قابل جمع نیستند اما در کذب یاب جمع هستند(غیرقابل جمع درصدق)
در کذب قابل جمع نیستند اما در صدق قابل جمع هستند. (غیرقابل جمع درکذب)
روش تشخیص اقسام شرطی منفصل در مثال
برای تشخیص اقسام قضایای شرطی منفصل از یکدیگر، دو سؤال زیر را درنظر می گیریم:
1 آیا امکان دارد دو جزء قضیه منفص با هم صادق باشند؟
2 آیا امکان دارد دو جزء قضیه منفصل با هم کاذب باشند؟
اگر جواب به هر دو سؤال منفی باشد، قضیه حقیقی است. اگر فقط جواب سؤال اول منفی باشد، قضیه غیرقابل جمع در صدق است و اگر فقط جواب سؤال دوم منفی باشد، . قضیه غیرقابل جمع در کذب است.
اقسام قضایای منفصل زیر را مشخص کنید:
الف)یا گروه خونی او ممکن است AB باشد یا مثبت O
مانعه الجمع. (احتمال دیگری هست)
ب)یا این طرح سرانجام در مجلس تصویب می شود یا رد خواهد شد.
حقیقی ( حتما یکی از آنها است )
ج) در این اتاق فقط ناصر و پرویز حضور داشتند؛ پس این گلدان را « یا ناهر شکسته است یا پرویز«
چند فرض محتمل است برای پاسخ دادن به این سوال
فرض اول : حقیقی : اگر بگوییم حتما یکی از آنها آن گلدان را شکسته باشد .
فرض دوم : مانعه الرفع؛ ممکن است هر دو در شکستن گلدان شریک باشند.( هردوباهم ممکن است)
د) یا برای استخدام، کارت پایان خدمت خود را ارائه کنید یا کارت معافیت دائم.
حقیقی
ه) یا فردا سه شنبه است یا چهارشنبه
مانعه الجمع: (احتمال دیگری هست)
تهیه کننده :حیدر جلالی