تالیف قضیه از دو چیز باشد : محکوم به و محکوم علیه و آن تالیف بر دو گونه است یکی آنکه میان بسائط الفاظ و مفردات باشد یا آنکه در حکم بسائط الفاظ و مفردات بود یعنی مولف بتالیف تقییدی که مفردی بجای آن بایستد و لا محاله این تالیف نیز بربطی بود میان آن لفظها که اقتضائ تقیید کند این قسم را قضیه حملی خوانند و تالیف دوم میان قضایا باشد که در قضیه شرطیه از آن بحث میشود .
