الوصل المنطقي

يجب أن تكون العبارتان صحيحتين. في p ∧ q تكون العبارة كلها صحيحة فقط عندما تكون p وq صحيحتين معًا، وفي كل حالة أخرى تكون خاطئة. يسمّي المناطقة هذه العملية الوصل، ويُسمّى الرمز غالبًا الإسفين.

طُبع الإسفين أول مرة بمعنى الوصل عام 1930، في بحث صاغ فيه عالم الرياضيات الهولندي أرند هايتنغ المنطق الحدسي صياغة صورية. والمنطق الحدسي صيغة من المنطق لا تقبل عبارة إلا إذا وُجد برهان عليها. وكان المناطقة قبله يكتبون الوصل بطرق أخرى، مثل النقطة أو &. كان ∧ أحد خيارات التدوين التي انتشرت لاحقًا، ولم يحلّ محل غيره في كل مكان.

اليوم تستخدم كتب المنطق ومقررات علوم الحاسوب ∧ في جداول الصدق والصيغ. أما لغات البرمجة فتستخدم في الغالب && أو and، لأنها سهلة الكتابة ولأن كل لغة تضع قواعدها الخاصة في تقييمها.