كل ما تريد معرفته عن صحة (منطق)

الصحة ("السلامة") في المنطق الرياضي وصف للنظام الصوري (الشكلي) الذي أثبتت قواعد الاستدال أن المعادلات صحيحة بالنسبة لمدلولاته. وفي معظم الحالات يرجع ذلك إلى قواعدها التي تتميز بخاصية الحفاظ على الحقيقة، ولكن ليس الحال كذلك عمومًا.