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