التضمين هو مصطلح له عدة استخدامات ، وفقًا للتعريفات التي يشير إليها قاموس الأكاديمية الملكية الإسبانية (RAE) . قد يكون نتيجة أو نتيجة لشيء ، تناقض بين المصطلحات أو عدم التوافق الأخلاقي أو القانوني لاتخاذ قرار عادل .

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

مع العلم أن المعاني الضمنية والتضمينات هي مصطلحات مترادفة ، فمن الممكن التحدث عن دورها في المنطق . الحساب المنطقي ، المعروف أيضًا بالاشتقاق المنطقي ، هو نظام أو خوارزمية يمنح إمكانية استخلاص أو استنتاج بيان حقيقي ، استنادًا إلى واحد أو أكثر تم التحقق من صحته. اثنين من الطرق التي تسمح بها ربط وربط المقترحات هي الحقيقة الوظيفية الشرطية والتضمين .

من الممكن قراءة العملية المنطقية التالية A -> B بطريقتين ، اعتمادًا على ما إذا كانت شرطية وظيفية حقيقية أو ضمنية: في الحالة الأولى ، تكون قراءتها A ، ثم B ، ويمكن أن يتضح ذلك من خلال الاقتراح "إذا كنا في عام 2014 ، فسيكون العام التالي عام 2015" ؛ القراءة الأخرى الممكنة هي A تشير ضمناً B ، حيث ترتبط كل مقترحين ، لكل منهما قيمة مختلفة ، ومثال محتمل هو "نحن في عام 2014" ، وبالتالي "سوف يكون العام القادم عام 2015" .

تعميق أكثر في الاختلافات ، ينتج عن القراءة الشرطية في الاقتراح وجود واحدة من اثنين من القيم المحتملة ، والتي هي صحيحة وكاذبة ؛ في جدول قيم الحقيقة (المستخدمة لإظهار قيم الحقيقة للمقترحات المركبة ، والتفكير في كل التوليفات الممكنة للحقيقة) ، يمكن ملاحظة أن هذه العبارة يمكن أن تكون خاطئة فقط إذا كانت A صحيحة و B ، خاطئة. بالنسبة للتضمين ، من ناحية أخرى ، يعتمد تأكيد B على صحة تأكيد A: إذا كذبنا عندما نقول "نحن في عام 2014" ، عندها يفقد أي اقتراح متعلق به صلاحية.