بوابة منطقية
البوابة المنطقية (بالإنجليزية: Logic gate) هي دائرة إلكترونية تحتوي على (مدخل واحد أو عدة مداخل) ومخرج واحد حيث تقوم بعملية منطقية على المدخل وتنتج المخرج المطلوب، تستخدم هذه البوابات في بناء معالجات الأجهزة الاكترونية والحواسيب.
لأنّ مُخرج البوابة الرقمية هو أيضاً قيمة منطقية، فإنّه يمكن استخدام مخرج أحد البوابات المنطقية كمدخل لبوابة أخرى. المنطق المستخدم غالباً هو المنطق البولياني (Boolean logic)، وهو المنطق الذي يعمل في الدوائر الرقمية.
أداة الاستدلال المنطقي لحساب التفاضل والتكامل
تتمثل *وجهة النظر الواردة في الفلسفة التحليلية والمنطق في أن "الاستدلال المنطقي لحساب التفاضل والتكامل" يتوقع المنطق الرياضي أي "جبر المنطق". وتُعرف وجهة النظر التحليلية "الاستدلال المنطقي لحساب التفاضل والتكامل" على أنه محرك استدلالي رسمي أو برنامج حاسوبي يمكن تصميمه بحيث يعطي أولوية للحسابات، يبدأ هذا المنطق من كتابات فريج' في 1879 "الرموز المنطقية" وكتابات سي.إس. بيرس في المنطق في ثمانينيات القرن التاسع عشر. وكان فريج يقصد من "البرمجة النصية للمفهوم" أن تكون هي "الاستدلال المنطقي لحساب التفاضل والتكامل" وأن تكون أيضًا "السمة اللغوية". ويأتي هذا الجزء المتعلق بحساب التفاضل والتكامل تحت عنوان نظرية الإثبات، ونجد أن هذا المنظور "للاستدلال المنطقي لحساب التفاضل والتكامل" ليس سوى جزء (أو فرع) من "الخصائص العامة", كما أنه عبارة عن مجموعة من "الخصائص العالمية" الكاملة التي تتضمن "حساب التفاضل والتكامل المنطقي".أعد لايبنتز الآلة المذكورة لإجراء الحسابات الرياضية التي أُطلق عليها آلة الحاسب السريع (Stepped Reckoner). وكآلة حاسبة يمكن أن تقوم "أداة الاستدلال المنطقي لحساب التفاضل والتكامل" المثالية بأداء حساب التفاضل والتكامل الأساسي كما ذكر لايبنتز، وبهذه الطريقة يكون معنى كلمة "أداة الاستدلال المنطقي" قد اتضح ويمكن فهمه على أنه أداة وآلة تستخدم في جمع ومقارنة النسب.
اكتشف هارتلي روجرز رابطًا بين تعريف "أداة الاستدلال المنطقي لحساب التفاضل والتكامل" على أنها "خوارزمية عند تطبيقها على رموز أي صيغة من الخصائص العامة ستحدد ما إذا كانت هذه الصيغة صحيحة كبيان علمي أم لا" (هارتلي روجرز, 1963، ص 934).