ما تقریباً هر روز شخصیت افراد دوروبرمان را توصیف و ارزیابی می کنیم. باور کنیم یا نه این افکار روزمره مان درباره این که چرا و چگونه مردم چنین و چنان رفتار می کنند شبیه کاری است که روانشناسان شخصیت انجام می دهند.
البته ارزیابی های ما از شخصیت دیگران به نحوی است که بیشتر بر تک تک افراد تمرکز دارد اما روانشناسان شخصیت به جای این کار از مفاهیمی در رابطه با شخصیت استفاده می کنند که می توانند آنها را برای همه به کار ببرند.
تحقیقات مربوط به شخصیت به ایجاد شماری از نظریه ها می انجامد که توضیح می دهند چرا و چگونه ویژگی های شخصیتی خاصی ایجاد می شوند.

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

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

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