If you do not find what you're looking for, you can use more accurate words.
يحلَّل المنطق الاستنباطي من خلال تتبع الربط بين ما هو "صالح (بالإنجليزية: valid)" وما هو "سليم (بالإنجليزية: sound)".يمكن أن يكون الحجاج صالحا حتى وإن كانت الفرضية المعروضة خاطئة، والنتيجة الصحيحة المشتقة من فرضية صحيحة تثبت صلاح الحجاج. وجود حجاج صالح مع فرضيات صحيحة يحتم سلامة البرهان ويسمى في هذه الحالة حجاجا سليما، بغير ذلك يصبح غير سليم.