توصيفك للاستدلال الاستنباطي بأنه صحيح إذا تحققت فيه لزوم النتائج من المقدمات بشرط صدق قضاياه ليس دقيقًا تمامًا.
الاستدلال الاستنباطي يوصف بأنه صحيح (valid) إذا كانت نتائجه تلزم بالضرورة عن مقدماته، بصرف النظر عن صدق أو كذب هذه المقدمات في الواقع. بمعنى آخر، إذا كانت المقدمات صحيحة، فمن المستحيل أن تكون النتيجة خاطئة. هذا هو ما يُعرف بـاللزوم المنطقي.
أما صدق قضايا الاستدلال (مقدماته ونتيجته)، فهذا يتعلق بـالواقع ومدى مطابقة هذه القضايا للحقيقة.
الاستدلال الذي تكون مقدماته صحيحة (في الواقع) ويلزم عنها نتيجة صحيحة بالضرورة (منطقياً) هو ما يطلق عليه استدلال سليم (sound).
باختصار:
صحة (Validity): تتعلق بالبنية المنطقية للاستدلال؛ هل تلزم النتيجة عن المقدمات؟
صدق (Truth): تتعلق بالمحتوى الواقعي للقضايا؛ هل هي مطابقة للحقيقة؟
سلامة (Soundness): هي مزيج من الأمرين؛ استدلال صحيح ومقدمات صادقة.