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

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

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

وجود برخی از اسیدها حتی در باران خالص طبیعی است اما آن چه به عنوان باران اسیدی شناخته می شود بارشی است که سطح بالایی از اسید دارد و به محیط زیست و گونه های موجودات آسیب می رساند.

برای دومین سال متوالی رایشمند به عنوان پرتال تخصصی ریاضی در لیست جامع ترین سایت های علمی کشور قرار گرفت

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