حملیه خوانند ─ خواه موجبه باشد چون زید قائم است─ و خواه سلبیه چون زید قائم نیست─ و اگر نه مفرد و نه در حکم مفرد باشد─ آنرا قضیه شرطیه خوانند پس اگر حکم باتصال است─ آنرا قضیه شرطیه متصله خوانند ─ خواه موجبه باشد─ چنانکه گوئی─ اگر آفتاب بر آمده باشد روز موجود باشد─ و خواه سالبه چنانکه گوئی نیست چنین که─ اگر آفتاب طالع باشد شب موجود باشد─ و اگر حکم بانفصال است─ آن قضیه را شرطیه منفصله خوانند خواه موجبه─ چنانکه گوئی این عدد یا زوج است یا فرد─ و خواه سالبه چنانکه گوئی─ نیست چنین که این عدد یا زوج باشد یا مرکب از واحد

فصل:اطلاق حملیه و متصله و منفصله─

بر موجبات ظاهر است و بر سوالب─ بواسطه مناسبت با موجبات است در اطراف