گزاره در منطق ریاضی، جمله یا عبارتی است که دقیقاً یکی از دو ارزش «درست» یا «نادرست» را دارد. برای نمونه، جمله «۷ عددی اول است» یک گزاره است، زیرا می‌توان ارزش صدق آن را تعیین کرد؛ اما جمله‌هایی مانند «در را ببند!» یا «آیا امروز باران می‌بارد؟» گزاره محسوب نمی‌شوند، زیرا به‌ترتیب امری و پرسشی هستند و ارزش صدق مشخصی ندارند.

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

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

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

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

متمم مجموعه مجموعه‌ای از عناصری است که در یک مجموعه مرجع قرار دارند اما عضو مجموعه موردنظر نیستند. اگر \(A\) زیرمجموعه‌ای از مجموعه مرجع \(U\) باشد، متمم \(A\) شامل تمام عناصری از \(U\) است که در \(A\) وجود ندارند:

$$ A^c = \{x \in U \mid x \notin A\} $$

در این مقاله با مفهوم مجموعه مرجع، تعریف دقیق متمم، نمادگذاری‌های رایج، رابطه متمم با اجتماع و اشتراک، قوانین دمورگان، متمم مجموعه تهی و مجموعه مرجع، و روش حل مسائل مربوط به متمم مجموعه آشنا می‌شوید.

تفاضل مجموعه‌ها یکی از عملیات بنیادی روی مجموعه‌هاست که برای مشخص‌کردن اعضایی به کار می‌رود که در یک مجموعه قرار دارند اما در مجموعه دیگر قرار ندارند. اگر \(A\) و \(B\) دو مجموعه باشند، تفاضل \(A\) از \(B\) به‌صورت \(A \setminus B\) تعریف می‌شود و شامل تمام اعضای \(A\) است که عضو \(B\) نیستند.

در این مقاله، تعریف دقیق تفاضل مجموعه‌ها، نمادگذاری، رابطه آن با اجتماع و اشتراک، ویژگی‌های مهم، تفاوت \(A \setminus B\) با \(B \setminus A\)، نمایش با نمودار ون و چند مثال حل‌شده بررسی می‌شود.

اشتراک مجموعه‌ها یکی از بنیادی‌ترین عملیات در نظریه مجموعه‌هاست و مجموعه‌ای را تشکیل می‌دهد که اعضای آن به‌طور هم‌زمان در همه مجموعه‌های موردنظر وجود دارند. اگر دو مجموعه A و B داشته باشیم، اشتراک آن‌ها با نماد \(A \cap B\) نشان داده می‌شود.

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

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

در این مقاله با تعریف دقیق اجتماع، نماد \( \cup \)، نمایش اجتماع با نماد سازنده مجموعه و نمودار ون، خواص مهم مانند جابجایی و شرکت‌پذیری، رابطه اجتماع با اشتراک و متمم، و همچنین فرمول محاسبه تعداد اعضای اجتماع آشنا می‌شوید. سپس چند مثال از ساده تا پیشرفته بررسی می‌شود تا مفهوم اجتماع مجموعه‌ها به‌صورت دقیق و کاربردی روشن شود.

مجموعه تهی مجموعه‌ای است که هیچ عضوی ندارد و با نمادهای \( \emptyset \) یا \( \{\} \) نمایش داده می‌شود. این مفهوم یکی از ساده‌ترین و در عین حال بنیادی‌ترین مفاهیم نظریه مجموعه‌هاست و در تعریف زیرمجموعه، اشتراک مجموعه‌ها، حل مسائل، منطق و بسیاری از مباحث ریاضی نقش اساسی دارد.

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

عضویت و زیرمجموعه از بنیادی‌ترین مفاهیم نظریه مجموعه‌ها هستند و پایه بسیاری از مباحث بعدی ریاضیات، از جمله اجتماع، اشتراک، متمم، مجموعه توانی، روابط و توابع را تشکیل می‌دهند. در این مقاله تفاوت دقیق میان «عضو یک مجموعه بودن» و «زیرمجموعه یک مجموعه بودن» را بررسی می‌کنیم، نمادهای \( \in \)، \( \notin \)، \( \subseteq \) و \( \subsetneq \) را توضیح می‌دهیم و با استفاده از مثال‌های مرحله‌به‌مرحله، روش تشخیص زیرمجموعه، برابری دو مجموعه، زیرمجموعه‌های سره، مجموعه تهی و خواص مهم رابطه زیرمجموعه را آموزش می‌دهیم. همچنین به تفاوت مفاهیمی مانند \(a\in A\) و \(\{a\}\subseteq A\)، رابطه میان عضویت و زیرمجموعه و خطاهای رایج در استفاده از نمادها می‌پردازیم.

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