هر قضیه موجبه ، مانند «کلُ انسانٍ ضاحکٌ» مشتمل بر سه چیز است: (۱) ذات موضوع: عبارت است از افراد و مصادیق آن، مانند زید و عمرو در مثال بالا. (۲) عقدالوضع : عبارت است از اتصاف آن افراد به وصف و عنوان موضوع، مانند اتصاف افراد انسان به انسانیت در مثال یاد شده. (۳) عقد الحمل: عبارت است از اتصاف افراد به وصف محمول، مانند اتصاف به ضاحکیت در مثال ذکر شده.
