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