فنقول: إن الحال فى تلازم هذه الجزئيات كالحال فى تلازم الكليات، فإن قولنا ليس كلما كان كل فكل، يلزمه قولنا: قد يكون إذا كان كل فليس‌[٢] كل و إلا لزمه‌[٣] نقيضه، و هو[٤] أنه ليس البتة إذا كان كل فليس كل. و هذا يلزمه‌[٥] أنه كلما كان كل فكل، و قد قلنا:[٦] ليس كلما كان كل فكل، هذا خلف. و على هذا القياس فى سائرها و بقريب من هذا يبرهن أن هذه الموجبة تلزمها سالبة[٧]. فإن لم تلزم السالبة صدق نقيضها: و هو أنه كلما كان كل فكل، و هذا يلزمه‌[٨] ليس البتة إن‌[٩] كان كل فلا كل، و قد قلنا: قد يكون إذا كان كل فلا كل، هذا خلف.

و اعتبر حال الاتباع و حال اللزوم، و قد تبين‌[١٠] أيضا من هذا كذب ظن القائل:

إن المناقضة فى التالى تجعل المتصلة مناقضة، فإن هاتين الجزئيتين قد تصدقان معا. لكن قوة السالبة منهما قوة موجبة مناقضة للموجبة فى التالى و قوة الموجبة منهما قوة سالبة مناقضة للسالبة[١١] فى التالى، فتكون موجبتان متناقضتا التالى و تصدقان معا، و سالبتان كذلك‌[١٢] و تصدقان‌[١٣] معا.

[١] فكل: فلا كل سا.

[٢] فليس كل: ساقطة من م‌

[٣] لزمه: لزم سا.

[٤] و هو: ساقطة من س، سا، عا

[٥] يلزمه: يلزم سا.

[٦] قلنا:+ أن سا، ع، ه.

[٧] سالبة: السالبة عا.

[٨] يلزمه: يلزم سا.

[٩] إن: إذا د، سا، عا، ن، ه.

[١٠] تبين. يتبين ب، س، سا، ع.

[١١] منهما قوة موجبة ... للسالبة: ساقطة من سا.

[١٢] كذلك: و كذلك سا

[١٣] و تصدقان: تصدقان سا.