«والاتفاقية: عبارة عن أن يكون فيه التنافي بمجرد الاتفاق»
اتفاقیہ وہ منفصلہ ہے جس میں دونوں اجزاء کا تنافی محض اتفاقی حالت کی بنا پر ہو، نہ کہ دونوں کے اپنے مفہوم میں ایسا تنافی موجود ہو۔
فرض کیجیے کسی مقابلے میں ایک مخصوص نشست صرف ایک فرد کو دینے کا فیصلہ ہے اور اس کے لیے صرف زید یا عمرو کا نام مقرر ہے۔ اس خاص فیصلے کی رو سے کہا جاتا ہے: «یہ نشست زید کو ملے گی یا عمرو کو»۔ ایک نشست کا ان دونوں میں سے صرف ایک کے لیے مقرر ہونا یہاں خارجی انتظام ہے؛ زید اور عمرو کے مفہوم بذاتِ خود ایک دوسرے کی نفی نہیں کرتے۔
اس مثال میں دونوں میں سے ایک کا انتخاب یقینی ہونا فرض کردہ ضابطے سے ہے، کسی دائمی منطقی تنافی سے نہیں۔