الآخران: فلأن الحكم السابق؛ هو نفي المجيء، والمقصود به: إنما هو الأول1.

النوع الثاني: ما هو مقصود بالحكم هو وما قبله؛ فيصدق عليه أنه مقصود بالحكم لا أنه المقصود2، وذلك كالمعطوف بالواو؛ نحو: "جاء زيد وعمرو"، و"ما جاء زيد ولا عمرو".

وهذان النوعان خارجان بما خرج به النعت والتوكيد والبيان.

النوع الثالث: ما هو مقصود بالحكم دون ما قبله، وهذا هو المعطوف ببَل بعد الإثبات؛ نحو: "جاءني زيد بل عمرو".

وهذا أنوع خارج بقولنا: "بلا واسطة"، وسلم الحد بذلك للبدل.

وإذا تأملت ما ذكرته في تفسير هذا الحد، وما ذكره الناظم وابنه ومن قلدهما علمت أنهم عن إصابة الغرض بمعزل.

[أقسام البدل] :

وأقسام البدل أربعة3: