اثبات حجيت و صحت انتاج شكل دوم
( 658 ) از گذشتهها دانسته شد كه انتاج شكل اول ضرورى بيّن صريح بوده و محتاج به اثبات نيست بخلاف شكلهاى ديگر كه صحت انتاج آنها بايستى بدليل ثابت گردد .
( 659 ) براى اثبات صحت انتاج تركيبهاى منتجهء شكل دوم دو قسم دليل يافت مىشود .
قسم اول دليلى است عمومى كه همه ضروب چهارگانه به آن ثابت ميگردند .
قسم دوم دليلهائى است كه اختصاص به بعضى از ضروب اين شكل داشته و ذكر ميشوند .
دليل خلف
( 660 ) دليل عمومى كه همه ضروب اين شكل را به آن ميتوان ثابت كرد دليل خلف است .
( 661 ) تنظيم دليل خلف چنانست كه نقيض نتيجه را صغرى قرار داده و با كبرى تركيب ميكنيم شكل اول بدست مىآيد و نقيض صغراى اصل را نتيجه ميدهد .
مثال
نتيجه ضرب چهارم اين قضيه بود : ( بعضى از حيوانها انسان نيستند ) براى اثبات صحت تركيب اين ضرب نقيض آن را صغرى قرار