«إما أن يكون زيد في البحر أو لا يغرق»
یا زید سمندر میں ہوگا یا وہ نہیں ڈوبے گا۔
یہ عبارت کتاب میں مانعۃ الخلو کی مثال ہے۔ مقصود یہ سمجھانا ہے کہ «سمندر میں ہونا» اور «نہ ڈوبنا» بیک وقت سچ ہو سکتے ہیں: آدمی سمندر میں موجود ہو اور پھر بھی نہ ڈوبے۔
دونوں کا جھوٹ ہونا اس مثال کے مطلوب مفروضے میں خارج سمجھا گیا ہے۔ تاہم خارجی دنیا میں کوئی شخص دریا میں بھی ڈوب سکتا ہے؛ اس لیے اسے ہر جگہ لاگو ہونے والا طبعی قانون نہ بنایا جائے۔ یہاں کتابی مفروضے اور منطقی ساخت کی وضاحت مقصود ہے۔