برای قیاس اقترانی به حسب کیفیت انتساب حد وسط آن به دو حد دیگرش چهار صورت متصور است. هر یک از این صور را «شکل» می‌گویند؛ بنابراین، شکل عبارت است از هیئتی که از کیفیت ارتباط حد وسط با دو حد دیگر (اصغر و اکبر) در دو مقدمه قیاس از لحاظ موضوع یا محمول بودن حاصل می‌شود و اشکالقیاس اقترانی حملی، چهارتاست.
هرگاه چند قضیه (صغرا و کبرا) را برای رسیدن به نتیجه‌ای تالیف کنند این تالیف را «اقتران» و هر یک از هیئت‌های حاصل از تالیف را (به لحاظ کلّی یا جزئی بودن و موجبه یا سالبه بودن صغرا و کبرا) «ضرب» یا «قرینه» می‌نامند.
در هر شکلی از اشکال چهارگانه قیاس اقترانی، صغرا یا موجبه است یا سالبه و هر کدام یا کلیه است یا جزئیه. کبرا هم به همین منوال است و از ضرب چهار صورت صغرا در چهار صورت کبرا شانزده ضرب و قرینه حاصل می‌شود، ولی چون برای انتاج هر شکلی شرایطی معتبر است، از این‌رو برخی از آن ضروب، منتج و برخی از آنها عقیم و غیر منتج‌اند.
یکی از ضروب عقیم شکلدوّم آن است که هر دو مقدمه قیاس، سالبه جزئیه باشند. دلیل عقیم بودن، فقدان دو شرط از شرایط عمومی قیاس است: سالبه نبودن و جزئی نبودن دو مقدمه. البته به لحاظ شرایط اختصاصی شکلدوّم هم عقیم بودن این ضرب روشن است، زیرا شرایط انتاج شکلدوّم، اختلاف دو مقدمه در کیف و کلیّت کبراست و این ضرب، فاقد هر دو شرط است.
