«اگر زید انسان ہے تو وہ حیوان ہے» کے لیے لزوم کی بنیاد کیا ہے؟

باب الشرطیات: متصلہ، منفصلہ اور ان کی بنیادی اقسام