منطق ریاضی یکی از مباحث بنیادی ریاضیات است که به بررسی گزاره‌ها، ارزش صدق آن‌ها و روش ترکیب و تحلیل عبارت‌های منطقی می‌پردازد. در این حوزه، جمله‌های ریاضی به زبان دقیق‌تری بیان می‌شوند تا بتوان درست یا نادرست بودن آن‌ها و رابطه منطقی میان آن‌ها را بررسی کرد.

مفاهیمی مانند گزاره، نقیض، عطف، فصل، شرطی، دوشرطی، جدول ارزش، هم‌ارزی منطقی و کمیت‌نماها از مهم‌ترین ابزارهای منطق ریاضی هستند. این مفاهیم در کنار یکدیگر پایه‌ای برای مطالعه اثبات‌های ریاضی، ریاضیات گسسته، نظریه مجموعه‌ها، نظریه الگوریتم‌ها و بسیاری از مباحث علوم کامپیوتر فراهم می‌کنند.

در این مقاله، ساختار کلی منطق ریاضی و ارتباط میان مفاهیم اصلی آن را بررسی می‌کنیم و سپس هر یک از موضوعات مهم را به‌صورت مقدماتی معرفی می‌کنیم.

واژه‌ی «بیت» کوتاه شده‌ی عبارت "Binary Digit" به معنای رقم دو-دویی است. چون در دنیای کامپوتر محاسبات در مبنای ۲ انجام می‌شود. یک بیت کوچکترین واحد اطلاعاتی هر کامپیوتر است. بیشتر کامپیوترها از ۸ بیت برای تشکیل یک ساختار اطلاعاتی استفاده می‌کنند که به آن یک «بایت» می‌گویند. مثلاً واژه (cat) سه واحد دارد و با ۳ بایت یا ۲۴ بیت نشان داده می‌شود.
 

تیرانوسور رکس ( Tyrannosaurus rex ) به خاطر بزرگی جثه، طبیعت وحشی و البته حضور منظمش در رسانه ها، احتمالاً شناخته شده ترین دایناسورها است. البته کشف تعدادی از فسیل های این جانور که به خوبی حفظ شده اند هم در شهرت تی رکس مؤثر بوده اند چراکه به دیرینه شناسان سراسر جهان کمک کرده اند درباره جزییات زندگی این جانور مطالعه کنند.