الكبرى فهو الشكل الأول، و إن كان تاليا فيهما فهو الشكل الثاني، و إن كان مقدّما فيهما فهو الشكل الثالث، و إن كان مقدّما في الصغرى تاليا في الكبرى فهو الشكل الرابع. و شرائط الإنتاج و عدد الضروب من الأشكال و النتيجة في الكمية و الكيفية في كل شكل كما في الحمليات من غير فرق (ن، ش، 28، 20) - الشرطيات فهي كالحمليات تكون مخصوصة و هي أن تخصّ فيها اللزوم أو العناد بحالة معينة أو زمن معيّن، كقولنا إن جئتني اليوم ماشيا أو راكبا أكرمتك، كقولنا إما أن تكون إذا كنت حيا عالما أو جاهلا و غير مخصوصة و هي ما لم يخص فيها اللزوم و لا العناد بذلك و تكون مهملة و مسوّرة كلية و جزئية (و، م، 200، 5)

شرطية

-كل قضية فهي إمّا حملية و إما شرطيّة (ف، د، 75، 3) - الحملية كل ما حكم فيه بحكم بتّات، كقولنا الإنسان حيوان و الشمس طالعة و النهار موجود، و هذا العدد هو زوج و هذا الوقت هو ليل. و الشرطية كل ما ضمّن الحكم فيها بشريطة و هي ضربان: متصلة و منفصلة (ف، ق، 13، 8) - الجزء الأول من الشرطية يسمّى المقدّم و الثاني يسمّى التالي، و هذه الشريطة و هي إن كان و ما شاكلها مثل، إذا و إذا كان و لو كان، و ما قام مقام هذه يتضمّن اتّصال التالي بالمقدم و المنفصل يتضمّن بشريطته انفصال التالي عن المقدم (ف، ق، 31، 16) - الشرطية كلّ ما ضمّن الحكم فيها الشريطة (ف، ق، 71، 11) - الشرطية مركّبة من جزءين أحدهما المقدّم و الآخر التالي، و الصغرى من المقدمتين هي جزمية قرن بها حرف الاستثناء، و هي بعينها أحد جزئي القول الشرطي يسمّى المستثنى، و قد يستثنى المقدّم و يستثنى التالي (ف، ق، 83، 3) - الشرطيّة تركيب، لأنّ أجزاء القضية الشرطيّة قضيتان حمليّتان قد صارتا قضية واحدة من أجل الحكم (ب، م، 73، 24) - الشرطية تشارك الحملية في أن كل واحدة منهما قول جازم أي قضية يحكم فيها بنسبة شي ء إلى شي ء، لكن النسبة في الحملية أن الثاني فيها هو الأول، و في الشرطية ليس كذلك بل النسبة في المتصلة تسمّى نسبة المتابعة، و في المنفصلة نسبة المعاندة (سي، ب، 160، 9) - الشرطية إما متّصلة و هي التي يحكم فيها بصدق قضية أو لا صدقها على تقدير صدق قضية أخرى كقولنا إن كان هذا إنسانا فهو حيوان و ليس إن كان هذا إنسانا فهو جماد، و إما منفصلة و هي التي يحكم فيها بالتنافي بين قضيتين في الصدق و الكذب معا أو في أحدهما فقط أو بنفيه، كقولنا إما أن يكون هذا العدد زوجا أو فردا فليس إما أن يكون هذا الإنسان كاتبا أو أسود (ن، ش، 10، 22) - الشرطية الجزء الأول منها يسمّى مقدّما و الثاني تاليا (ن، ش، 15، 22) - الشرطية قد يتركّب عن حمليتين، و عن متصلتين، و عن منفصلتين، و عن حملية و متصلة، و عن حملية و منفصلة، و عن متصلة و منفصلة (ن، ش، 17، 12) - كل واحدة من الثلاثة الأخيرة في المتصلة (الشرطية) تنقسم إلى قسمين لامتياز مقدّمها عن