آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٢٤٢ - مناط ايجاب و سلب در مانعة الخلو
شارح گويد :
امثله شش صورت عبارتند از :
١- مقدّم قضيّه حمليّه و تالى شرطيّه متّصله باشد مانند :
ان كان الشئ انسانا ( مقدّم ) فكلّما كان انسانا كان حيوانا ( تالى ).
٢- مقدّم قضيّه شرطيّه متّصله و تالى قضيّه حمليّه باشد مانند :
كلّما ان كانت الشمس طالعة فالنّهار موجود ( مقدّم ) فالعالم مضئ ( تالى ).
٣- مقدّم قضيّه حمليّه و تالى شرطيّه منفصله باشد مانند :
ان كان هذا عددا ( مقدّم ) فالعدد امّا زوج او فرد ( تالى ).
٤- مقدّم قضيّه شرطيّه منفصله و تالى قضيّه حمليّه باشد مانند :
كلّما ان كان العدد فردا او زوجا ( مقدّم ) فالزوج دائما ينقسم بمتساويين ( تالى ).
٥- مقدّم قضيّه شرطيّه متّصله و تالى قضيّه شرطيّه منفصله باشد مانند :
كلّما ان كانت الشمس طالعة فالنهار موجود ( مقدم ) فالنهار امّا بارد او حارّ ( تالى ).
٦- مقدّم قضيّه شرطيّه منفصله و تالى قضيّه شرطيّه متّصله باشد مانند :
كلّما دائما ان كان العدد فردا او زوجا ( مقدّم ) فان كان العدد زوجا فهو ينقسم بمتساويين ( تالى ).
حاشيه : قوله : عن التّمام :
اى عن ان يصحّ السّكوت عليهما و يحتملا الصّدق و الكذب مثلا قولنا :
الشّمس طالعة مركّب تامّ خبرىّ يحتمل الصّدق و الكذب و لا نعنى
آثار الباقية في شرح الحاشية، ص