يمكننا - مثلًا - إذا عرفنا أن القضية الأصلية كلية موجبة ثم افترضنا صدقها، يمكننا أن نقول بلزوم صدق القضية الجزئية الموجبة المقابلة، لأن ما يصدق على الكل يصدق على الجزء: إذا سلمنا بأن كل طالب مجتهد ناجح فلابد أن نسلم بأن بعض الطلاب المجتهدين ناجحون. وعلى هذا الأساس استطاع أرسطو أن يضع مربعه الشهير في العلاقات القائمة بين القضايا. أما في الاستدلال غير المباشر - الذي يقوم على استنتاج قضية من أكثر من قضية - فإن من شرائطه المعروفة أنه لا استنتاج من سالبتين أو من جزئيتين.

ويرتبط القياس الأرسطي بما يسمى في ميتافيزيقيا أرسطو بقوانين الفكر الأساسية: الذاتية، وعدم التناقض، والثالث المرفوع. وهذا الأخير ما هو إلا الصورة الشرطية للقانون الثاني. وتشكل هذه القوانين في القياس الأرسطي بديهيات البرهان الأساسية، أو هي - كما يقول جون ستيورات مل -"الأسلحة المنطقية" [1] بما يعني أن القضايا المنطقية ينبغي ألا تتناقض مع هذه القوانين الأساسية. فمثلًا في الاستدلال المباشر من القضية الكلية الموجبة - المفترض صدقها: كل طالب مجتهد ناجح، تنتج لنا قضية جزئية موجبة واجبة الصدق طبقًا لقانون الذاتية الذي يفيد بأن الشيء هو هو، إذ إن الحكم الذي يتناول الكل يتناول الجزء أيضًا؛ أي أن: (بعض الطلاب المجتهدين ناجحون) صادقة. كذلك تنتج لنا قضية كلية سالبة وقضية جزئية سالبة واجبتي الكذب طبقًا لقانون عدم التناقض الذي يفيد بأن ما