فراورده های مراقبت از مو را می توان به دو دسته کلی تقسیم بندی کرد:
1-فراورده هایی که کارایی شان بر طبق خواص فیزیکی است. مثل شامپوها، حالت دهنده ها، اسپری های موی سر، ژل ها، کرم ها، پمادها و لوسیون ها.
2-فراورده هایی که از طریق ایجاد تغییرات شیمیایی در موها آثار خود را اعمال می کنند. مثل مواد فردهنده، مواد صاف کننده و رنگ موها.

ستاره‌ی درخشانی که در تصویر بالا می‌بینید CVSO 30 نام دارد، که ۱۲۰۰ سال نوری از زمین فاصله داشته و در واقع در فاصله‌ی بسیار اندکی ار شمال کمربند جبار واقع شده است. اما اگر یک بار دیگر با دقت نگاه کنیم، می‌بینیم که نقطه‌ی قهوه‌ای کوچکی بالای CVSO 30 قرار دارد. این نقطه‌ی قهوه‌ای، سوژه‌ی هیجان و کنجکاوی‌های زیادی در جهان نجوم بوده است. این یک نقطه‌ی قهوه‌ای ویژه است.
 

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

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

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