قضیه شرطی متصل
قضیه شرطی متصل بیان میکند که اگر دو شرط متوالی داشته باشیم، نتیجهگیری از ترکیب آنها معتبر است:
مثال:اگر باران ببارد ، خیابان خیس میشود . اگر خیابان خیس شود ، رانندگی خطرناک است . بنابراین، اگر باران ببارد ، رانندگی خطرناک است
قضیه شرطی منفصل
قضیه شرطی منفصل میگوید که در یک یا/یا (منفصل)، اگر یکی از گزینهها نادرست باشد، دیگری درست است:
مثال: یا به سینما میروم یا به پارک . من به سینما نمیروم . بنابراین، به پارک میروم
مقایسه
| ویژگی | شرطی متصل | شرطی منفصل |
فرم منطقزنجیره شرطی (حذف گزینه نادرست) |
کاربرد استدلال زنجیرهای (علت و معلول متوالی) | انتخاب بین گزینهها (حذف یکی)
تعداد مقدمات دو شرطی | یک منفصل + یک نقیض
هر دو از استدلالهای معتبر منطق کلاسیک هستند، اما متصل بر پیوستگی شرطها تمرکز دارد و منفصل بر حذف گزینه.