الثانية: وحدة المحمول، فإنه لا تناقض عند اختلاف المحمول، كما تقول:
زيد قائم وزيد ليس بضاحك.
الثالثة: وحدة الشرط، فإنه لا تناقض عند اختلاف الشرط، كما تقول: الجسم مفرق للبصر - يعني بشرط كونه أبيض -، والجسم ليس بمفرق للبصر - يعني بشرط كونه أسود -.
الرابعة: وحدة الجزء والكل، فإنه إذا اختلف الجزء والكل لم يتناقضا، كما تقول: الزنجي أسود - يعني كله -، والزنجي ليس بأسود - يعني بعضه -.
الخامسة: وحدة الزمان، كما تقول: زيد نائم - يعني ليلا -، وتقول: زيد ليس بنائم - يعني نهارا -.
السادسة: وحدة المكان، وذلك لعدم التناقض عند اختلاف المكان، كما تقول: زيد جالس - يعني في الدار -، وزيد ليس بجالس - يعني في السوق -.
السابعة: وحدة الإضافة، فإنه لا تناقض حيث تختلف الإضافة، كما تقول: زيد أب - يعني لعمرو -، وزيد ليس بأب - يعني لزيد -.
الثامنة: وحدة القوة والفعل، فإن الحكم إن كان في أحد القضيتين على طريق الفعل، وفي الثاني على نحو القوة، فلا تناقض هناك، كما تقول: الخمر مسكر - يعني بالقوة - والخمر ليس بمسكر - يعني في الدن - ليس بمسكر بالفعل.
هذه هي شرائط التناقض المحررة عند المنطقيين ذكرناها جميعا وأطلنا بعض الإطالة في ذلك تعميما للفائدة، وتتميما للمقصود، ولتكون دليلا هاديا عند اختلاف القضايا والأحكام، ولتطرد لك فتكون مقياسا تقيس به الأشباه والنظائر، وتحل به المشكلات.