لا يتعاكسان على الحصر؛ بل على البعض.

وإذا تحقق عام وخاص مطلقان، فالاشتراك في الأخص يوجب الإشتراك في الأعم ضرورة.

وإلا لو وجد ما هو أخص بدون الأعم، ومعه أيضا؛ استلزم أن يكون الأخص مطلقا؛ أعم من أعمه.

قاعدة: والمعنى العام: إذا وجب له أمر، أو امتنع عليه لذاته اطرد فيما وقع تحته.

وما أمكن له لذاته، فقد لايمكن لما تحته، فإن خواص ما تحته قد تجب باعتبار ما، ويمتنع عليها ما يمكن بالإعتبار الأعم.

قاعدة: واللازم الحقيقي، ما لا يفارق الشيء في الخارج والذهن