« صدق مفروض ، مستلزم صدق عكس نقيض آن است » صغرى
و « صدق عكس نقيض مستلزم صدق عكس مستوى است » كبرى
« پس صدق مفروض ، مستلزم مستلزم صدق عكس مستوى است ؛ و مستلزم المستلزم مستلزم » .
« پس صدق مفروض مستلزم صدق عكس مستوى است » . نتيجه
امّا قياس شرطى :
اگر مفروض صادق باشد لازمهاش آن است كه عكس نقيض آن هم صادق باشد .
و اگر عكس نقيض صادق باشد لازمهاش صدق عكس مستوى آن است .
پس اگر مفروض صادق باشد لازم است عكس مستوى آن هم صادق باشد .
شرح منطق مظفر (فارسى) — صفحة 205
مساهمون: على محمدى خراسانى
ص٢٠٥