«انسان حیوان ہے» ضروری حکم ہے؛ اس کے خلاف «انسان حیوان نہیں» ضروری نہیں، بلکہ محال ہے۔ اس لیے ایجابی حکم میں جانبِ مخالف کی ضرورت کا انکار بھی پایا جاتا ہے۔ اس اعتبار سے ضروریہ کی ایجابی مثال امکانِ عام کے وسیع معنی کے اندر آ سکتی ہے۔
دوسری طرف «زید کاتب ہو سکتا ہے» کی طرح ایسا ثبوت بھی اس وسیع امکان میں آ سکتا ہے جو بذاتِ خود ضروری نہ ہو۔
لہٰذا ممکنہ عامہ سے صرف اتنا معلوم ہوتا ہے کہ مخالف حکم ضروری نہیں؛ اس سے نہ اصل حکم کا وقوع لازم ہے، نہ اس کا عدمِ وقوع، نہ دونوں جانب کے مساوی امکان کا ثبوت۔ اس کے لیے مزید جہت یا معلومات چاہییں۔