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