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

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

و ليس يلزم من ذلك‌[١٤] أنه إما أن يكون الإنسان موجودا [١٥] [١٦]، و إما أن يكون الخلاء موجودا، أو غير موجود[١٧]؛ بل قد[١٨] يصدق أن نقول: ليس إما أن لا يكون‌

[١] الكليات:+ قولنا س، سا، ع، عا، ه.

[٢] يلزمه: و يلزمه س‌

[٣] ليس البتة إما أن لا يكون: إما أن لا يكون ليس البتة ب؛ ليس إما أن لا يكون س؛ إما أن يكون ليس البتة م.

[٤] و كذلك: تلزم سا.

[٥] عليه: ساقطة من سا.

[٦] و أما ... آ ب: ساقطة من سا.

[٧] فكل: و كل د، ن‌

[٨] و المنفصل:و المنفصلة سا

[٩] و ليس: ليس س.

[١٠] و المنفصل ... البتة: ساقطة من د، ن.

[١١] كل (الثانية): ساقطة من د.

[١٢] كقولك: كقولنا د، ن.

[١٣] كل ... يكون: ساقطة من د.

[١٤] من ذلك: ساقطة من س‌

[١٥] الإنسان موجودا: كل إنسان حيوانا عا

[١٦] موجودا: حيوان سا.

[١٧] أو غير موجود:ساقطة من سا

[١٨] قد: ساقطة من سا.