هرگاه مقدمه اى چنان بود که به حسب ذاتش اقتضاء داشته باشد که اگر به وجود آید ذوالمقدمه موجود گردد و اگر نه ذوالمقدمه معدوم ماند آن را سبب خوانند .
