اكتشاف قوة قياس حملي

القياس الحملي هو استلزام قضية حملية تسمى النتيجة من قضيتين حمليتين هما المقدمتان، وتشترك كل من المقدمتين بأحد الحدين مع المقدمة الأخرى، وبالحد الآخر مع النتيجة، والحد المشترك بين المقدمتين هو الحد الأوسط، أما الحدان الباقيان فما كان منهما موضوعا للنتيجة سمي الحد الأصغر، وما كان محمولا في النتيجة الحد الأكبر.