در این مقاله به بررسی بعد چهارم می پردازیم.

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

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

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

زمانی هدف نظام آموزشی آن بود که کارمندان خوبی پرورش دهد. ولی با ورود به قرن 21 نظام های آموزشی هدف دیگری را دنبال می کنند.

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