منطق دانشنامه علائى - ابن سينا - الصفحة ٨٥ - قياسهاء مركب
ببرهان شكلى [١] كنيم- سه سو [٢]، كه او را مثلّث خوانند كه هر پهلوى [٣] از وى چند [٤] يكديگر بود، دعوى كنيم و گوئيم- كه: هرگاه كه نقطه:
ا را مركز [٥] پرگار كنيم و تا نقطه [٦] ب بگشائيم، و دائره كنيم گرد او باز بيائيم و نقطه ب را مركز كنيم، و بدورى نقطه ا دائره كنيم گرد ب يك مر ديگر را- لا محاله برند، بر [٧] بريد نگاه نقطه ج علامت كنيم و از آن علامت خطّى [٨] راست به ا آوريم و خطى راست به ب [٩] پس گوئيم [١٠]- كه اين شكل گه اندر ميان نقطهاء: ا ب ج است [١١]،
[١] - بى- بر- ط- خ ه- د- ظ،- بر برهان الخ- ل،- بر برهان شكل- كب.
[٢] - سه سه- د.
[٣] - پهلو- ل.
[٤] - هم چند- ط كب- د.
[٥] - اب را الخ- م- ك،- او مركز- آ،- او ا مركز- ق.
[٦] - با نقطه- د،- تا نقطه با- م- ك،- تا نقطه ا- ه.
[٧] - بى: بر- ل.
[٨] - خط- ل.
[٩] - بى: «ا»- ك،- بياوريم به «ا» الخ- ه- ط- كب،- به «ا» آوريم و خطى را به «ب»- آ.
[١٠] - بگوئيم- د.
[١١] - بى: است- م- ك.