الرياضيات والفلك تقانة المعلومات علم المواد الهندسة الكهربائية النقل والبنية التحتية صناعة النسيج الهندسة المدنية الطاقات المتجددة المناخ والبيئة وإدارة النفايات الصلبة التقنيات التربوية والحاسوبية علوم التربية علم الاجتماع والإنسان علم الاقتصاد التجارة والمحاسبة علم القانون هندسة السيارات علم الطَبِيعيات (الفيزياء) علم الكيمياء علم الأرض علم الزلازل علم الأرصاد الجوية علوم البحار هندسة النفط علم الأحياء الصحة وجسم الإنسان علم الوراثة علم الصيدلة الحرب الكُهَيْرِبِيّة الاستشعار عن بعد الطب البيطري التشريح العياني البناء والنجارة الطباعة والكهرباء تقانات الأغذية الإعلام والتواصل الفلسفة وعلم النفس الفن، التسلية والرياضة علوم اللغة والأدب الجغرافيا والتاريخ هندسة المياه
يُعرف إنجرار منطقي في المنطق الثنائي بأنه العلاقة التي تحدث عندما يكون متغير الخرج لدالة منطقية معينة يتبع إلى متغير منطقي آخر. بمعنى آخر، يكون الزعيم (A => B) يقابل علاقة منطقية تعني "إذا وُجد A، فإن B يتبعه" أو "إذا كان يتوجب وُجود A، فإن B يتبعه". يُعتبر إنجرار منطقي شرط كافٍ ولكن ليس شرطاً ضرورياً، حيث يكون A كافٍ بالنسبة إلى B ولكن B لا يعتبر شرطاً ضرورياً بالنسبة إلى A.