دانشنامه اسلامی
یکی از اقسام تقابل قضایا دخول تحت تضاد است. هر گاه دو قضیه جزئیه در کیف اختلاف داشته باشند، ولی در موضوع، محمول و لواحق این دو متفق باشند این دو قضیه را «داخلتان تحت تضاد» و نسبت بین این دو را «دخول تحت تضاد» می نامند؛ مانند: بعضی از انسان ها عالم اند و بعضی از انسان ها عالم نیستند.از مطالب یاد شده به دست می آید که دو قضیه ای که تقابلشان از نوع تقابل دخول تحت تضاد باشد، صدق هر دو ممکن است، ولی کذب هر دو محال است.
