« صلاة الجمعة واجبة » يدلّ بالدلالة الالتزاميّة على أنّ صلاة الظهر [ في يوم الجمعة ] ليست واجبة [ مع الالتفات إلى أنّ الواجب في ظهر يوم الجمعة صلاة واحدة إمّا الظهر و إمّا الجمعة ] . و لكنّ هذا [ المدلول الالتزامي ] ليس مفهوما ؛ لأنّه لا يعبّر عن انتفاء نفس وجوب صلاة الجمعة ، أي انتفاء حكم المنطوق [ بل يعبّر عن انتفاء حكم آخر ] . و تحصل الدلالة الالتزاميّة على انتفاء الحكم المنطوق باختلال بعض القيود بسبب [ أي تحصل بسبب ] أنّ الربط الخاص المأخوذ في المدلول المطابقيّ بين الحكم و قيوده قد اخذ على نحو يستدعي انتفاء الحكم المنطوق بانتفاء ما ربط به [ أي بالحكم المنطوق ] .
و لكن ليس كلّ انتفاء من هذا القبيل [ أي بانتفاء ما ربط به ] للحكم المنطوق
شرح
مستلزم فساد آن است ، يا وجوب ذى المقدمه مستلزم وجوب مقدمه است ، و بنا بر پذيرفتن اين ملازمهها دليلى كه يك طرف را ثابت كند ، مدلول التزامىاش طرف ديگر ملازمه است ، ولى اين مدلول التزامى مفهوم خوانده نمىشود . چون مفهوم بايد اوّلا بيانگر انتفاى حكم باشد نه ثبوت حكم ، و ثانيا بيانگر انتفاى همان حكم موجود در منطوق باشد در وقتى كه قيدى از قيود منتفى شود . بنابراين وقتى خداوند در آيهء شريفه مىفرمايد :« فَلا تَقُلْ لَهُما أُفٍّ »دلالت التزامىاش آن است كه ضرب و شتم آنها نيز حرام است ، ولى اين مدلول التزامى انتفاى حكمى را بيان نمىكند ، بلكه حكمى اضافه بر حكم موجود در منطوق را اثبات مىكند كه در اصطلاح به اين قسم از مدلولات التزامى ، مفهوم موافق گفته مىشود ؛ چنان كه گاه مدلول التزامى بيانگر انتفاى حكم است ، ولى نه انتفاى همان حكم مذكور در كلام . ازاينرو مىفرمايد : مثلا ] هرگاه گويى : « نماز جمعه واجب است » به دلالت التزامى مىفهماند كه نماز ظهر واجب نيست [ البته با توجه به اين مقدمهء خارجيه كه در ظهر روز جمعه ، تنها يك نماز واجب است ، يا ظهر و يا جمعه . دليل شرعى ، هركدام را تعيين كرد ، وجوب ديگرى نفى مىشود . ] ولى اين مدلول التزامى مفهوم نيست ، زيرا اين مدلول التزامى بيانگر انتفاى