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