سوال: دو گزارۀ زیر مستلزم کدام  است ؟      هرگز چنین نیست که اگر الف آنگاه ب           همیشه ب یا ج (مانعة الخلو)
گزینه‌ها:
1. گاهی اگر ج آنگاه الف
2. همیشه اگر الف آنگاه نفیض ج 
3. همیشه الف یا ج (یای مانعةالخلو)
4. گاهی چنین نیست که نقیض الف یا ج (یای مانعةالخلو)
پاسخ صحیح: گزینه 1