خلاصه ماشینی:
"2. تقریر معمول و متعارف نظریه ATM تقریر متعارف نظریهء ATM را در آثار منطقی پیش از خواجه نصیر طوسی و بهویژه در کتابهای شفا و اشارات ابن سینا،کتاب منطق الملخص فخر الدین رازی،کتاب شمسیه کاتبی قزوینی،کتاب مطالع الانوار سراج الدین ارموی و همچنین پارهای آثار پس از وی همچون شرح شمسیه و شرح مطالع قطب الدین رازی میتوان یافت.
"خواجه نصیر طوسی"در مورد حذف این دو جهت مینویسد: "اگر ضرورت بحسب شرطی بود،دوام هم در مدت وجود آن شرط بود مگر که ضرورت بحسب وقتی بود خاص و در غیر آن وقت نبود پس به حسب عرف این ضروری را دائم نخوانند،چه دوام عبارت از شمول اوقات باشد"41 با حذف AS,AT هرکدام از چهارده جهت زمانی مزبور میتوانند وصف یک گزاره حملی قرار گیرند و همین امر مبنای تشکیل چهارده قضیهء بسیط در نظریهء ATM میباشد.
همانند قضایای بسیط عمدتا از فخر الدین رازی است(رازی،فخر الدین،منطق الملخص،ص 961) جدول(2):قضایای مرکب(تقریر متعارف) (به تصویر صفحه مراجعه شود) همانگونه که ذکر شد در تقریر متعارف از نظریهء ATM تنها شش قضیهء بسیط و هفت قضیهء مرکب و مجموعا سیزده قضیهء موجهه مبنای محاسبات منطقی (عکس،قیاس)قرار گرفتهاند و قضایا و ترکیبات دیگر به صورت ضمنی، تلویحی و در حاشیه مورد بحث قرار گرفتهاند.
(به تصویر صفحه مراجعه شود) جدول(5)فرمولبندی موجهات شانزدهگانه برای آشنایی بیشتر با نحوهء محاسبات قیاسات موجهه(مختلطات)در چارچوب منطق جدید یکی از ضرورت معتبر شکل اول را از جداول تنظیمی خواجه نصیر الدین طوسی در اساس الاقتباس استخراج نموده و پس از نمادگذاری و فرمولبندی براساس جدول(5)محاسبات منطقی مربوطه را پیجویی میکنیم."