حملیہ کی مثال «ہر مربع مستطیل؛ ہر مستطیل چار ضلعوں والا» کس شرطیہ نتیجے کی تائید کرتی ہے؟

الاقترانیات من الشرطیات — شرطیہ قیاسات اور ترکیبات

• اگر چار ضلع ہیں تو مربع ہے
• اگر مستطیل ہے تو ضرور مربع ہے
• اگر مربع ہے تو چار ضلع ہیں
• اگر مربع نہیں تو چار ضلع نہیں