تشخیص قضایای منفصله و نحوه ساخت آن‌ها Journal Article

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