اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
يحلَّل المنطق الاستنباطي من خلال تتبع الربط بين ما هو "صالح (بالإنجليزية: valid)" وما هو "سليم (بالإنجليزية: sound)".يمكن أن يكون الحجاج صالحا حتى وإن كانت الفرضية المعروضة خاطئة، والنتيجة الصحيحة المشتقة من فرضية صحيحة تثبت صلاح الحجاج. وجود حجاج صالح مع فرضيات صحيحة يحتم سلامة البرهان ويسمى في هذه الحالة حجاجا سليما، بغير ذلك يصبح غير سليم.