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

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

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

نقشه : موقّتاً ضرب و تقسیم را کنار می گذاریم و این هفته روی جمع و تفریق متمرکز می شویم. به خاطر داشته باشید که معمولاً جمع آسان تر از تفریق است. بنابراین هر جا که ممکن باشد باید تفریق را به کمک جمع انجام دهید. مثلاً برای تفریق 27 از 50 باید ببینید که " 27 با چه جمع شود برابر 50 می شود ؟ " به علاوه جمع کردن از چپ به راست یا جمع کردن " هم زمان همه ی رقم ها " معمولاً سریعتر از آن است که ابتدا یکان ها و بعد دهگان ها را جمع کنیم. چند مثال می زنیم. 

بستنی، خوراکی مورد علاقه میلیونها نفر در سراسر جهان است. چون مغذی، چرب، شیرین، بسیار خوشمزه، خوش ذائقه و حتی چشم نواز است. برای همین نوشتن درباره بستنی و شناختن آن کار دلپذیری است.
بستنی مخلوط منجمدی از ترکیب اجزای شیر، مواد شیرین کننده، پایدار کننده، امولسیفایر و مواد مولد عطر و طعم است. در ترکیب بستنی مواد دیگری مثل فراورده های تخم مرغ، رنگ و نشاسته هیدرولیز شده نیز ممکن است به کار رفته باشند. قبل از انجماد عملیات سالم سازی و همگن سازی روی این اجزا که در ترکیب به آن مخلوط بستنی گفته می شود، انجام می گیرد. عملیات انجماد شامل حذف سریع دما همزمان با همزدن مخلوط به جهت عمل هوادهی است، به طوری که محصول منجمد دارای بافت نرم و مناسبی می شود.