وتعريف السور عند أهل المنطق: هو اللفظ الدال على إحاطة المحمول بجميع أفراد الموضوع أو بعضها إيجاباً وسلباً.

وبذلك ينقسم سور القضية الحملية إلى أربعة أقسام على النحو التالي:

سور كلي إيجابي: نحو (كل) و (عامة) وما شابه ذلك.

سور كلي سلبي: نحو (لا شيء) و (لا واحد) ونحوهما.

سور جزئي إيجابي: نحو (بعض) .

سور جزئي سلبي: نحو (بعض ليس) و (ليس بعض) .

والقضية الحملية لا بد لموضوعها من أ؛ د أمرين:

إما أن يكون كلياً، وإما أن يكون جزئياً.

فإن كان موضوعاً كلياً فله مع السور خمس حالات:

أن يُسوَّر بسور كلي إيجابي.

أن يسور بسور كلي سلبي.

أن يسور بسور جزئي إيجابي.

أن يسور بسور جزئي سلبي.

أن يهمل من السور.

وهذا القسم بمنزلة الجزئية.

فأقسام القضية الحملية التي موضوعها كلي أربعة في الحقيقة؛ لأن المهملة في قوة الجزئية.

وأما إن كان موضوعها جزئياً فهي التي تسمى شخصية ومخصوصة، ولها مع السور حالتان:

أن تكون موجبة: نحو (زيد قائم) .

أو تكون سالبة: نحو (زيد ليس بقائم) .

فتحصل أن القضية الحملية باعتبار الكيف والكم ستة أقسام:

كلية موجبة: مثال (كل إنسان حيوان) .

كلية سالبة: مثال (لا شيء من الإنسان بحجر) .

جزئية موجبة: مثال (بعض الحيوان إنسان) .

جزئية سالبة: مثال (بعض الحيوان ليس بإنسان) .

شخصية موجبة: مثال (زيد قائم) .

شخصية سالبة: مثال (زيد ليس بقائم) .

ثانياً: القضية الشرطية:

"ما تركبت من جزأين ربط أحدهما بالآخر بأداة شرط أو عناد.

مثال: إذا كانت الشمس طالعة فالنهار موجود.

والعدد إما زوج وإما فرد" (?) .

إذن تتألف القضية الشرطية من قضيتين حمليتين ترتبطان بأداة ربط معينة، تسمى القضية الأولى: "مقدم"، وتسمى القضية الثانية: "تالي".

وعلى أساس الأداة التي تربط بين المقدم والتالي يختلف نوع القضية الشرطية، فهي إما شرطية متصلة، وإما شرطية منفصلة.