صحت استثنا یکى از عللائم حقیقی بودناستعمال لفظ در یک معنا هست و به این معنا است که صحتِ خارج کردن برخى از افراد یک مفهوم از حکم متعلق به آن از راه استثنا، بر فراگیرى و شمول وضعی آن معنا دلالت می کند.
مثال برای صحت استثنا مثل جمع محلی به لام بر عموم دلالت دارد ، چون استثنا از این جمع صحیح است . صحت استثنا دلیل بر این است که دلالت جمع محلّى به لام بر عمومدلالت حقیقی است ، مانند: " جائنى الرجال اِلاّ زید ".
