المنطق الرياضي هو الدراسة الرياضية للمنطق والتطبيقات المرتبطة بها. هذا يشمل على سبيل المثال الدراسة النظرية لنظرية المجموعات والمنطق الحسابي ومنطق الطبقات. يمكن تطبيق المنطق الرياضي بشكل مباشر في الرياضيات، وهو يمكن أن يكون له تطبيقات غير مباشرة في الفلسفة وعلوم الحاسوب.
0
