اين نوع از استدلال داراي اقسامي است كه در دو باب جداگانه از كتابهاي منطقي بررسي گرديدهاند. يكي باب عكس و توابع آن، و ديگري باب تناقض قضايا و ملحقات آن. در روش استدلال غير مباشري، يك قضيه كافي نبوده، بلكه دو يا چند قضيه به عنوان حدّ وسط،...