صرف قیاس کے نتیجے کے سچ ہونے سے مقدمات کی سچائی اور برہانِ لمّی ہونا خود بخود ثابت ہو جاتا ہے۔برہانِ لمّی اور برہانِ اِنّی