غلات صبحانه سرد، معمولاً با آهن غنی می‌شوند. اما این آهن چه شکلی است و چگونه می‌توانید آن را ببینید؟ نگران نباشید! با یک آزمایش ساده و جذاب می‌توانید در کمتر از ۱۵ دقیقه، آهن موجود در غلات صبحانه خود را استخراج کرده و از نزدیک ببینید. این آزمایش نه تنها سرگرم‌کننده است، بلکه به شما نشان می‌دهد چگونه مواد مغذی به غذاهای روزمره ما اضافه می‌شوند.
مایلار چیست؟ شما ممکن است با این ماده در بادکنک های درخشان پر از هلیوم، فیلترهای خورشیدی، پتوهای فضایی، پوشش های پلاستیکی محافظ یا عایق ها آشنا باشید. در ادامه نگاهی به این می اندازیم که مایلار از چه چیزی ساخته شده و چگونه تولید می شود.
یک تحقیق جدید نشان می‌دهد، احتمالا برخورد یک جرم آسمانی بزرگ با زمین، قبل از تشکیل پوسته‌ی آن، دلیل وجود پلاتینیوم، طلا و دیگر عناصر گرانبها در روی زمین است. پیش از این تصور می‌شد که برخورد‌های کوچک، این عناصر گرانبها را به زمین منتقل کرده‌اند. ولی یافته‌های جدید عکس چنین رویدادی را نشان می‌دهد؛ یعنی اینکه گذشته‌ی کره‌ی زمین، بسیار کم افت و خیز‌تر از آن چیزی بوده است که قبلا پنداشته می‌شد.
منطق ریاضی یکی از مباحث بنیادی ریاضیات است که به بررسی گزاره‌ها، ارزش صدق آنها و روش ترکیب و تحلیل عبارت‌های منطقی می‌پردازد. در این حوزه، جمله‌های ریاضی به زبان دقیق‌تری بیان می‌شوند تا بتوان درست یا نادرست بودن آنها و رابطه منطقی میان آنها را بررسی کرد.
مفاهیمی مانند گزاره، نقیض، عطف، فصل، شرطی، دوشرطی، جدول ارزش، هم‌ارزی منطقی و کمیت‌نماها از مهم‌ترین ابزارهای منطق ریاضی هستند. این مفاهیم در کنار یکدیگر پایه‌ای برای مطالعه اثبات‌های ریاضی، ریاضیات گسسته، نظریه مجموعه‌ها، نظریه الگوریتم‌ها و بسیاری از مباحث علوم کامپیوتر فراهم می‌کنند.
در این مقاله، ساختار کلی منطق ریاضی و ارتباط میان مفاهیم اصلی آن را بررسی می‌کنیم و سپس هر یک از موضوعات مهم را به‌صورت مقدماتی معرفی می‌کنیم.