وكل [ب] [د] وفي نسخة [ا] بدل [د]

على أنها مقدمة صادقة بينة وفي نسخة بدون كلمة صادقة وفي أخرى بزيادة عبارة منه بعد كلمة بينة لا شك فيها وفي نسخة بدون عبارة لا شك فيها

أو بينت بقياس فينتج منه

إن لم يكن قولنا ليس كل [ج] [ب] صادقا فكل [ج] [د] وفي نسخة [ا] بدل [د]

ثم نأخذ هذه النتيجة ونستثني نقيض المحال وهو تاليها فنقول

لكن ليس كل [ج] [د] وفي نسخة [ا] بدل [د] فينتج نقيض المقدم وهو أنه

ليس ليس قولنا ليس وفي نسخة بدون كلمة ليس الأخيرة كل [ج] [ب] صادقا بل هو صادق

مخ ۴۵۴