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