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