اجتماع ضدین

اجتماع ضدین یکی از اصطلاحات منطقی است که در استدلال کاربرد دارد.
این اصطلاح یکجا بودن دو عنصر ضد (نافی یکدیگر) را در یک ظرف(مکان، زمان و ..)را محال می داند. بطور مثال در یک لحظه امکان ندارد که در یک جای از کره زمین هم روز باشد و هم شب باشد. زیرا روز و شب در ظرف مکان ضدین هستند.
البته باید دقت شود که باید دو عنصر در ظرف مشخص شده کاملاً ضد هم باشند. در همین مثال روز و شب بودن نمی توان روز و شب بودن هم زمان را برای زمین ضدین دانست. زیرا در هر لحظه بخش هایی از زمین شب است و بخش هایی نیز روز. در این نمونه این ظرف زمان و مکان است که روز و شب را ضدین کرده است.
محال بودن اجتماع ضدین در انتهای اثبات به شیوه برهان خلف نیز استفاده می شود. در انتهای برهان خلف بعضا به موردی می رسیم از فرض خلف حکمی بدست می آید که نقیض خود فرض خلف است.