والسادسة كلية سالبة كبرى وجزئية موجبة صغرى تنتج في الأشكال الثلاثة سالبة جزئية والسابعة جزئية موجبة كبرى وكلية موجبة صغرى تنتج في الشكل الثالث جزئية موجبة والثامنة جزئية سالبة كبرى وكلية موجبة صغرى تنتج في الشكل الثالث جزئية سالبة بالرد إلى الامتناع . في أفودقطيقا [ وهو كتاب البرهان ] هذا الكتاب يسمّى أفودقطيقا وأبودقطيقا ومعناه الإيضاح وذلك أنه يوضح فيه القياس الصحيح وغير الصحيح « 1 » * أصول البرهان المبادئ والمقدمات الأول وهي التي يعرفها الجمهور مثل قولك الكل أعظم من الجزء والأشياء المساوية لشيء واحد بعينه فهي متساوية العلة * الهيولانية هي معرفة هل الشيء * والعلة الصورية هي معرفة ما الشيء * والعلة الفاعلة هي معرفة كيف الشيء * والعلة اللمائية هي معرفة لم الشيء * البرهان هو الحجة * الخلف بفتح الخاء هو الرديء من القول المخالف بعضه بعضا * الاستقراء هو تعرف الشيء الكلي بجميع أشخاصه يقال استقرى فلان القرى وبيوت السكة إذا طافها ولم يدع شيئا منها * المثال : أن تشير إلى شخص من أشخاص الكليّ لتدل به عليه . في طوبيقا اسم هذا الكتاب طوبيقا ومعناه المواضع أي مواضع القول يذكر فيه الجدل ومعنى الجدل تقرير الخصم على ما يدعيه من حيث أقر حقا كان أو باطلا أو من حيث لا يقدر الخصم أن يعانده لاشتهار مذهبه ورأيه فيه لأنه يزري على مذهبه ورأيه فيه .

--> ( 1 ) يقول ابن سينا « البرهان قياس مؤلّف من يقينيّات لإنتاج يقيني ، واليقينيّات إمّا الأوليّات وما جمع معها ، وإمّا التجريبيّات وإمّا المتواترات وإمّا المحسوسات . وأمّا الذائعات والمقبولات والمظنونات فخارجة عن هذه الجملة » النجاة ص / 66 .